Articles available on demand (email me)
DBLP (for bibtex, etc.)
ONERA publications, since 2011
  • 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]
  • Pierre Bieber, Frédéric Boniol, Guy Durrieu, Olivier Poitou, Thomas Polacsek, Virginie Wiels, Ghilaine Martinez MIMOSA: Towards a model driven certification process, 8th European Congress Embedded Real Time Software and Systems (ERTS2’16), 2016.
  • 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.
PhD thesis publications
  • 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