ONERA publications, since 2011
- Stéphanie Roussel, Thomas Polacsek and Anouck Chan,Assembly Line Preliminary Design Optimization for an Aircraft 29th International Conference on Principles and Practice of Constraint Programming, (CP'23), 2023.
- Anouck Chan and Thomas Polacsek,Stroke management: defining and assigning goals to stakeholders Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023.
- Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel, François Bouissière, Claude Cuiller and Pierre-Eric Dereux,Goal Modelling: Design and Manufacturing in Aeronautics Research Challenges in Information Science: Information Science and the Connected World - 17th International Conference (RCIS'23), 2023.
- Antoine Aubé and Thomas Polacsek, Cloud Migration High-Level Requirements Research Challenges in Information Science: Information Science and the Connected World - 17th International Conference (RCIS'23), 2023.
- Anouck Chan, Anthony Fernandes Pires and Thomas Polacsek, Trying to Elicit and Assign Goals to the Right Actors Conceptual Modeling - 41st International Conference (ER'22), 2022.
- Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek and Stéphanie Roussel, The Aircraft and Its Manufacturing System: From Early Requirements to Global Design 34th International Conference on Advanced Information Systems Engineering (CAISE'22), 2022.
- Alex Aquieta Nuñez, Anouck Chan, Alberto Donoso-Arciniega, Thomas Polacsek and Stéphanie Roussel, A Collaborative Model for Connecting Product Design and Assembly Line Design: An Aeronautical Case The Practice of Enterprise Modeling - 14th IFIP WG 8.1 Working Conference, PoEM 2021, 2021.
- Kevin Delmas, Claire Pagetti and Thomas Polacsek, Designing patterns for certification standards and guidelines 32nd International Conference on Advanced Information Systems Engineering (CAISE'20), 2020.
- Thomas Polacsek, Stéphanie Roussel, Cédric Pralet, and Claude Cuiller. Design for efficient production, a model-based approach 13th IEEE International Conference on Research Challenges in Information Science (RCIS), 2019.
- Thomas Polacsek, Sanjiv Sharma, Claude Cuiller and Vincent Tuloup, The need of diagrams based on Toulmin schema application: an aeronautical case study EURO Journal on Decision Processes (EJDP), 6:257, 2018.
- Frédéric Boniol, Youcef Bouchebaba, Julien Brunel, Kevin Delmas, Claire Pagetti, Thomas Polacsek and Nathanaël Sensfelder. PHYLOG: a model-based certification framework. In 37th Digital Avionics Systems Conference (DASC), 2018.
- Clément Duffau , Thomas Polacsek and Mireille Blay-Fornarino, Support of Justification Elicitation: Two Industrial Reports 30th International Conference on Advanced Information Systems Engineering (CAISE'18), 2018.
- Cédric Pralet, Stéphanie Roussel, Thomas Polacsek, François Boussière, Claude Cuiller, Pierre- Eric Dereux, Stéphane Kersuzan, Marc Lelay, A Scheduling Tool for Bridging the Gap Between Aircraft Design and Aircraft Manufacturing. Proceedings of ICAPS'18 2018
- Thomas Polacsek, Stéphanie Roussel, François Bouissiere, Claude Cuiller, Pierre-Eric Dereux and Stephane Kersuzan, Towards thinking manufacturing and design together: an aeronautical case study 36th International Conference on Conceptual Modelling (ER'17), 2017.
- Thomas Polacsek. Validation, Accreditation or Certification: a New Kind of Diagram to Provide Confidence IEEE Tenth International Conference on Research Challenges in Information Science (RCIS'16), 2016. [abstract]
- Rémi Delmas and Thomas Polacsek. Need-to-share & non-diffusion requirements verification in exchange policies 27th International Conference on Advanced Information Systems Engineering (CAISE'15), 2015. (springer website) [abstract]
- Thomas Polacsek. A Process to Support and to Report Collaborative Decision 19th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD'15), 2015. [abstract]
- Rémi Delmas et Thomas Polacsek. Critical Information Diffusion Systems. Wisard ADBIS 2015 workshop, 2015.
- Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels and Stéphane Duprat. Use of formal methods in embedded software development: stakes, constraints and proposal Embedded Real Time Software and Systems (ERTS2) (Public archive), 2014.
- Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels and Stéphane Duprat. Behavioural Verification in Embedded Software, from Model to Source Code ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS2013), 2013.(springer website) [abstract]
- Rémi Delmas and Thomas Polacsek. Formal methods for exchange policy specification. 25th International Conference on Advanced Information Systems Engineering (CAISE'2013), 2013.(springer website) [abstract]
- Jean-Claude Dunyach, Luc Vincent, Thomas Polacsek, Sandrine Huet, Guillaume Pelissier, Joseph Merlet. Quality-Oriented Capabilities to Support and Assess Behavioural Digital Aircraft Simulations. 5th International Conference on Experiments/Process/System Modeling/Simulation/Optimization (IC-EpsMso), 2013.
- Anthony Fernandes Pires, Thomas Polacsek and Stéphane Duprat. An Eclipse plug-in to link modeling and code proof, AGrUM: ACSL Generator from UML Model ECOOP 2013 Tools, Demos & Posters (proceedings), 2013.
- Virginie Wiels, Pierre Bieber, Frédéric Boniol, Rémi Delmas, David Doose, Guy Durrieu, Olivier Poitou, Thomas Polacsek, Vincent Louis, Florian Many and Ghilaine Martinez. The MIMOSA frame of reference for the certification of military embedded modular architectures. Symposium on Architecture Definition & Evaluation, 2013.
- Anthony Fernandes Pires, Thomas Polacsek and Stéphane Duprat. Formal software verification at model and at source code levels. 2nd International Conference on Model & Data Engineering (MEDI'2012) , 2012. (paper in hal) (springer website) [abstract]
- David Bihanic and Thomas Polacsek. Models to support the visualisation of Complex Information Systems. 16th International Conference Information Visualisation, IV2012, 2012. (paper in public archive) [abstract]
- Rémi Delmas, David Doose, Anthony Fernandes Pires and Thomas Polacsek. Support model based design. 1st International Conference on Model & Data Engineering, MEDI'11, 2011. (springer website) [abstract]
- Thomas Polacsek and Laurence Cholvy. A Framework to Report and to Analyse a Debate. Proc. IEEE 15th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2011, 2011. (best paper award) (IEEE website) [abstract]
- Thomas Polacsek and Laurence Cholvy. Organize, report and understand an experts' group debate. 4th European Conference for Aerospace Sciences, EUCASS 2011, 2011.
- Rémi Delmas, Anthony Fernandes Pires and Thomas Polacsek. A Verification & Validation process for Model Driven Engineering. 4th European Conference for Aerospace Sciences, EUCASS 2011, 2011.
- Andreas Herzig, Jérôme Lang, Pierre Marquis and Thomas Polacsek. Updates, actions, and planning. Proc. Int. Joint Conf. on Artificial Intelligence, IJCAI'01, 2001 [abstract]
- Andreas Herzig, Jérome Lang and Thomas Polacsek. A modal logic for epistemic tests. Proc. European Conf. on Artificial Intelligence, ECAI'2000, 2000 (paper) (ECAI website) [abstract]
- Andreas Herzig, Jérome Lang, Dominique Longin, and Thomas Polacsek. A logic for planning under partial observability. Proc. Conf of American Association for Artificial Intelligence, AAAI'2000, 2000 (paper) (AAAI website) [abstract]
- Thomas Polacsek. Planifier sous environnement partiellement observable. Proc. RJCIA'2000, 2000
- Andreas Herzig, Jérome Lang, Dominique Longin, and Thomas Polacsek. A logic for planning under partial observability. The Fifth International Conference on Artificial Intelligence Planning & Scheduling Workshop, AIPS2000 Workshop, 2000
- Andreas Herzig, Jérome Lang, and Thomas Polacsek. Knowledge, actions, and tests. IJCAI'99 Workshop on Practical Reasoning and Rationality, 1999
- Andreas Herzig, Jérome Lang, and Thomas Polacsek. Connaissances, actions et tests. Journées Nationales sur les Modèles du Raisonnement, 1999