EDBT 2026 Demo / reviewers in the wild / expert
Thomas Polacsek
dblp:51/448
· DBLP profile ↗
10ranked-venue papers in the field
1as first author
3since 2021 · last 2025
0000-0001-9139-7960ORCID · corroborated
Domains — venue-derived; a paper can count in several
Business Process & Enterprise Data · 7 (1 first)Database Systems & Data Management · 3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Goal modelling in aeronautics: Practical applications for aircraft and manufacturing designs
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel 0001, François Bouissiere, Claude Cuiller, Pierre-Eric Dereux |
Data Knowl. Eng. | 3 |
| 2022 | The Aircraft and Its Manufacturing System: From Early Requirements to Global Design
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel 0001 |
CAiSE | 3 |
| 2022 | Trying to Elicit and Assign Goals to the Right Actors
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek |
ER | 3 |
| 2020 | Patterns for Certification Standards
Kevin Delmas, Claire Pagetti, Thomas Polacsek |
CAiSE | 3 |
| 2018 | Support of Justification Elicitation: Two Industrial Reports
Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino |
CAiSE | 2 |
| 2017 | Towards Thinking Manufacturing and Design Together: An Aeronautical Case Study
Thomas Polacsek, Stéphanie Roussel 0001, François Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan |
ER | 1 |
| 2015 | Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies
Rémi Delmas, Thomas Polacsek |
CAiSE | 2 |
| 2013 | Formal Methods for Exchange Policy Specification
Rémi Delmas, Thomas Polacsek |
CAiSE | 2 |
| 2012 | Formal Software Verification at Model and at Source Code Levels
Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat |
MEDI | 2 |
| 2011 | Supporting Model Based Design
Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek |
MEDI | 4 |