Thomas Polacsek

47 papers A* 2A 10B 4C 5Misc 3Journal 7Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	—	`ed.`	Companion Proceedings of the 44th International Conference on Conceptual Modeling: Industrial Track, ER Forum, 8th SCME, Doctoral Consortium, Tutorials, Project Exhibitions, Posters and Demos Co-located with ER 2025, Poitiers, France, October 20-23, 2025. ER (Companion) Patrick Marcel, Thomas Polacsek, Kamalakar Karlapalem, Stéphane Jean, Hongzhi Wang, Stephen W. Liddle, Janis Grabis, Jolita Ralyté, João Paulo A. Almeida, Isabelle Comyn-Wattiau, Geert Poels, Sihem Amer-Yahia, Veda C. Storey, Carlos Ordonez, Juan Carlos Trujillo Mondéjar, Maribel Yasmina Santos, Greta Adamo, Jeffrey Parsons, Hui Ma
2025	J	`jnl`	Goal modelling in aeronautics: Practical applications for aircraft and manufacturing designs. Data Knowl. Eng. Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel, François Bouissière, Claude Cuiller, Pierre-Eric Dereux
2024	—	`conf`	Application of KJ Method in an Aeronautics Collaborative Project. PoEM Companion Anouck Chan, Thomas Polacsek, Brieuc Danet
2024	Misc	`conf`	Exploring Goal Relationships in Satellite Assembly Line Design. DB&IS Anouck Chan, Thomas Polacsek, Stéphanie Roussel
2024	Misc	`conf`	Towards a New Method for Designing Manufacturing Capabilities. DB&IS Anouck Chan, Janis Stirna, Jelena Zdravkovic, Thomas Polacsek, Simon Hacks, Janis Grabis, Claudio Favi
2023	A	`conf`	Assembly Line Preliminary Design Optimization for an Aircraft. CP Stéphanie Roussel, Thomas Polacsek, Anouck Chan
2023	B	`conf`	Cloud Migration High-Level Requirements. RCIS Antoine Aubé, Thomas Polacsek
2023	—	`conf`	Eliciter, raffiner et attribuer des buts aux bons acteurs à partir d'objectifs de haut niveau. INFORSID Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek
2023	B	`conf`	Goal Modelling: Design and Manufacturing in Aeronautics. RCIS Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel, François Bouissière, Claude Cuiller, Pierre-Eric Dereux
2023	—	`conf`	L'avion et sa chaîne d'assemblage : des premières exigences à une conception globale. INFORSID Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel
2023	—	`conf`	Stroke management: defining and assigning goals to stakeholders (short paper). ER (Companion) Anouck Chan, Thomas Polacsek
2022	—	`conf`	Les exigences pour un choix d'architecture dans le cadre d'une migration dans les nuages. INFORSID Antoine Aubé, Thomas Polacsek, Clément Duffau
2022	A	`conf`	The Aircraft and Its Manufacturing System: From Early Requirements to Global Design. CAiSE Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel
2022	A	`conf`	Trying to Elicit and Assign Goals to the Right Actors. ER Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek
2021	Misc	`conf`	A Collaborative Model for Connecting Product Design and Assembly Line Design: An Aeronautical Case. PoEM Alex Aquieta Nuñez, Anouck Chan, Alberto Donoso-Arciniega, Thomas Polacsek, Stéphanie Roussel
2020	A	`conf`	Patterns for Certification Standards. CAiSE Kevin Delmas, Claire Pagetti, Thomas Polacsek
2019	B	`conf`	Design for Efficient Production, A Model-Based Approach. RCIS Thomas Polacsek, Stéphanie Roussel, Cédric Pralet, Claude Cuiller
2019	—	`book`	Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logiciels. (Verification, validation, certification: formal and informal approaches to establish the correction of artefacts and software). Thomas Polacsek
2018	A*	`conf`	A Scheduling Tool for Bridging the Gap Between Aircraft Design and Aircraft Manufacturing. ICAPS Cédric Pralet, Stéphanie Roussel, Thomas Polacsek, François Bouissière, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan, Marc Lelay
2018	A	`conf`	Support of Justification Elicitation: Two Industrial Reports. CAiSE Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino
2018	—	`conf`	Une sémantique pour les patrons de justification. INFORSID Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino
2017	J	`jnl`	Diagramme de justification. Un outil pour la validation, la certification et l'accréditation. Ingénierie des Systèmes d Inf. Thomas Polacsek
2017	—	`conf`	Modéliser l'avion et son moyen de production : vers un modèle global pour de la conception simultanée. INFORSID François Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan, Thomas Polacsek
2017	A	`conf`	Towards Thinking Manufacturing and Design Together: An Aeronautical Case Study. ER Thomas Polacsek, Stéphanie Roussel, François Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan
2016	—	`conf`	Argumentation Tree: A New Player in your Diagrams. INFORSID Thomas Polacsek
2016	J	`jnl`	Introduction. Tech. Sci. Informatiques David Bihanic, Sophie Dupuy-Chessa, Xavier Le Pallec, Thomas Polacsek
2016	J	`jnl`	StrataVis : une technique de visualisation graphique orientée modèle. Tech. Sci. Informatiques David Bihanic, Thomas Polacsek
2016	B	`conf`	Validation, accreditation or certification: A new kind of diagram to provide confidence. RCIS Thomas Polacsek
2016	J	`jnl`	Vérification automatique d'exigences pour les politiques d'échange d'information. Exigences de diffusion et de non-diffusion d'information. Ingénierie des Systèmes d Inf. Rémi Delmas, Thomas Polacsek
2016	J	`jnl`	Éditorial. Ingénierie des Systèmes d Inf. Florence Sèdes, Rémi Delmas, Thomas Polacsek
2015	C	`conf`	A process to support and to report collaborative decision. CSCWD Thomas Polacsek
2015	—	`conf`	Critical Information Diffusion Systems. ADBIS (Short Papers and Workshops) Rémi Delmas, Thomas Polacsek
2015	A	`conf`	Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies. CAiSE Rémi Delmas, Thomas Polacsek
2015	—	`conf`	Vérification automatique d'exigences pour les politiques d'échange d'information. INFORSID Rémi Delmas, Thomas Polacsek
2013	A	`conf`	Behavioural Verification in Embedded Software, from Model to Source Code. MoDELS Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat
2013	A	`conf`	Formal Methods for Exchange Policy Specification. CAiSE Rémi Delmas, Thomas Polacsek
2013	—	`conf`	Modèlisation graphique des SI. Du traitement visuel de modèles complexes. INFORSID David Bihanic, Max Chevalier, Sophie Dupuy-Chessa, Xavier Le Pallec, Thierry Morineau, Thomas Polacsek
2012	C	`conf`	Formal Software Verification at Model and at Source Code Levels. MEDI Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat
2012	C	`conf`	Models for Visualisation of Complex Information Systems. IV David Bihanic, Thomas Polacsek
2012	—	`conf`	Vers une aide à la spécification d'une politique d'échange d'information dans un SI . INFORSID Thomas Polacsek, Laurence Cholvy, Rémi Delmas
2012	J	`jnl`	Visualisation de Systèmes d'Information Complexes Une approche par « points de vue étendus ». Stud. Inform. Univ. David Bihanic, Thomas Polacsek
2011	C	`conf`	A framework to report and to analyse a debate. CSCWD Thomas Polacsek, Laurence Cholvy
2011	—	`conf`	IDM : Vers une aide ? la conception. INFORSID Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires
2011	C	`conf`	Supporting Model Based Design. MEDI Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek
2001	A*	`conf`	Updates, actions, and planning. IJCAI Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek
2000	—	`conf`	A Logic for Planning under Partial Observability. AAAI/IAAI Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek
2000	A	`conf`	A modal logic for epistemic tests. ECAI Andreas Herzig, Jérôme Lang, Thomas Polacsek