Articles disponibles sur demande (contactez-moi) DBLP (pour 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.
  • François Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Stephane Kersuzan, Thomas Polacsek, Modéliser l'avion et son moyen de production : vers un modèle global pour de la conception simultanée. Inforsid 2017 (2016)
  • 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, Thomas Polacsek, Vérification automatique d'exigences pour les politiques d'échange d'information. Journal Ingénierie des Systèmes d'Information Vol.21/2 p39-63 (2016)
  • David Bihanic and Thomas Polacsek. StrataVis : une technique de visualisation graphique orientée modèle. Journal Technique et Science Informatiques Vol.35/2 p145-174, 2016.
  • 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. Vérification automatique d'exigences pour les politiques d'échange d'information. Inforsid 2015, 2015.
  • Rémi Delmas et Thomas Polacsek. Critical Information Diffusion Systems. Wisard ADBIS 2015 workshop, 2015.
  • Rémi Delmas and Thomas Polacsek. Exigences de confidentialité et de diffusion concernant les politiques d échanges d information revue Génie Logiciel, numéro 111, pp. 49-53, 2014. (Article disponible sur HAL)
  • Thomas Polacsek. Réflexions sur les liens possibles entre Argumentation et V&V pour le Logiciel Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014.
  • 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. Vérifier le comportement du code d'un système embarqué à partir de son modèle. Modélisation des Systèmes Réactifs (MSR2013), 2013.
  • 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]
  • David Bihanic, Max Chevalier, Sophie Dupuy-Chessa, Xavier Le Pallec, Thierry Morineau et Thomas Polacsek. Modélisation graphique des SI. Du traitement visuel de modèles complexes. Inforsid 2013, 2013.
  • 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]
  • Laurence Cholvy, Rémi Delmas et Thomas Polacsek. Vers une aide à la spécification d'une politique d'échange d'information dans un SI. Inforsid 2012, 2012.
  • David Bihanic et Thomas Polacsek. Visualisation de Systèmes d'Information Complexes Une approche par points de vue étendus. Journal Studia Informatica Universalis vol.10, 2012.
  • 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]
  • Rémi Delmas, David Doose, Anthony Fernandes Pires et Thomas Polacsek. IDM : Vers une aide à la conception. Inforsid 2011, 2011. (paper)
  • Rémi Delmas, David Doose and Thomas Polacsek. Utilisation de techniques SAT/PseudoBool pour la synthèse de modèles corrects par construction dans le cadre IDM . Génie Lociel vol.97, 2011.
  • David Bihanic and Thomas Polacsek. Visualisation de Systèmes d'Information : une approche par points de vue étendus (papier court). Inforsid 2011, 2011.
  • 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.
  • Marie De Roquemaurel, Thomas Polacsek, Jean-François Rolland, Jean-Paul Bodeveix et Mamoun Filali-Amine. Assistance à la conception de modèles à l'aide de contraintes. 10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'10, 2010.
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]
  • Thomas Polacsek et Alexis Ulrich. La friche hypertextuelle. Document électronique : méthodes, démarches et techniques cognitives, CIDE 2001, 2001
  • 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