Thomas Polacsek

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 26

Top Topics

Critical Information

Top Venues

Ingénierie des Systèmes d Inf.

Publications

Anouck Chan, Thomas Polacsek, Stéphanie Roussel
Exploring Goal Relationships in Satellite Assembly Line Design. DB&IS (2024)
Anouck Chan, Janis Stirna, Jelena Zdravkovic, Thomas Polacsek, Simon Hacks, Janis Grabis, Claudio Favi
Towards a New Method for Designing Manufacturing Capabilities. DB&IS (2024)
Antoine Aubé, Thomas Polacsek
Cloud Migration High-Level Requirements. RCIS (2023)
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek
Eliciter, raffiner et attribuer des buts aux bons acteurs à partir d'objectifs de haut niveau. INFORSID (2023)
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel, François Bouissière, Claude Cuiller, Pierre-Eric Dereux
Goal Modelling: Design and Manufacturing in Aeronautics. RCIS (2023)
Anouck Chan, Thomas Polacsek
Stroke management: defining and assigning goals to stakeholders (short paper). ER (Companion) (2023)
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel
L'avion et sa chaîne d'assemblage : des premières exigences à une conception globale. INFORSID (2023)
Stéphanie Roussel, Thomas Polacsek, Anouck Chan
Assembly Line Preliminary Design Optimization for an Aircraft. CP (2023)
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek, Stéphanie Roussel
The Aircraft and Its Manufacturing System: From Early Requirements to Global Design. CAiSE (2022)
Antoine Aubé, Thomas Polacsek, Clément Duffau
Les exigences pour un choix d'architecture dans le cadre d'une migration dans les nuages. INFORSID (2022)
Anouck Chan, Anthony Fernandes Pires, Thomas Polacsek
Trying to Elicit and Assign Goals to the Right Actors. ER (2022)
Alex Aquieta Nuñez, Anouck Chan, Alberto Donoso-Arciniega, Thomas Polacsek, Stéphanie Roussel
A Collaborative Model for Connecting Product Design and Assembly Line Design: An Aeronautical Case. PoEM (2021)
Kevin Delmas, Claire Pagetti, Thomas Polacsek
Patterns for Certification Standards. CAiSE (2020)
Thomas Polacsek, Stéphanie Roussel, Cédric Pralet, Claude Cuiller
Design for Efficient Production, A Model-Based Approach. RCIS (2019)
Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino
Une sémantique pour les patrons de justification. INFORSID (2018)
Clément Duffau, Thomas Polacsek, Mireille Blay-Fornarino
Support of Justification Elicitation: Two Industrial Reports. CAiSE (2018)
Cédric Pralet, Stéphanie Roussel, Thomas Polacsek, François Bouissière, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan, Marc Lelay
A Scheduling Tool for Bridging the Gap Between Aircraft Design and Aircraft Manufacturing. ICAPS (2018)
François Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Stéphane 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)
Thomas Polacsek, Stéphanie Roussel, François Bouissiere, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan
Towards Thinking Manufacturing and Design Together: An Aeronautical Case Study. ER (2017)
Thomas Polacsek
Diagramme de justification. Un outil pour la validation, la certification et l'accréditation. Ingénierie des Systèmes d Inf. 22 (2) (2017)
David Bihanic, Sophie Dupuy-Chessa, Xavier Le Pallec, Thomas Polacsek
Introduction. Tech. Sci. Informatiques 35 (2) (2016)
Florence Sèdes, Rémi Delmas, Thomas Polacsek
Éditorial. Ingénierie des Systèmes d Inf. 21 (4) (2016)
Thomas Polacsek
Argumentation Tree: A New Player in your Diagrams. INFORSID (2016)
David Bihanic, Thomas Polacsek
StrataVis : une technique de visualisation graphique orientée modèle. Tech. Sci. Informatiques 35 (2) (2016)
Thomas Polacsek
Validation, accreditation or certification: A new kind of diagram to provide confidence. RCIS (2016)
Rémi Delmas, Thomas Polacsek
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. 21 (2) (2016)
Thomas Polacsek
A process to support and to report collaborative decision. CSCWD (2015)
Rémi Delmas, Thomas Polacsek
Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies. CAiSE (2015)
Rémi Delmas, Thomas Polacsek
Critical Information Diffusion Systems. ADBIS (Short Papers and Workshops) (2015)
Rémi Delmas, Thomas Polacsek
Vérification automatique d'exigences pour les politiques d'échange d'information. INFORSID (2015)
Rémi Delmas, Thomas Polacsek
Formal Methods for Exchange Policy Specification. CAiSE (2013)
David Bihanic, Max Chevalier, Sophie Dupuy-Chessa, Xavier Le Pallec, Thierry Morineau, Thomas Polacsek
Modèlisation graphique des SI. Du traitement visuel de modèles complexes. INFORSID (2013)
Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat
Behavioural Verification in Embedded Software, from Model to Source Code. MoDELS (2013)
Anthony Fernandes Pires, Thomas Polacsek, Stéphane Duprat
Formal Software Verification at Model and at Source Code Levels. MEDI (2012)
David Bihanic, Thomas Polacsek
Models for Visualisation of Complex Information Systems. IV (2012)
David Bihanic, Thomas Polacsek
Visualisation de Systèmes d'Information Complexes Une approche par « points de vue étendus ». Stud. Inform. Univ. 10 (1) (2012)
Thomas Polacsek, Laurence Cholvy, Rémi Delmas
Vers une aide à la spécification d'une politique d'échange d'information dans un SI . INFORSID (2012)
Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek
Supporting Model Based Design. MEDI (2011)
Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires
IDM : Vers une aide ? la conception. INFORSID (2011)
Thomas Polacsek, Laurence Cholvy
A framework to report and to analyse a debate. CSCWD (2011)
Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek
Updates, actions, and planning. IJCAI (2001)
Andreas Herzig, Jérôme Lang, Thomas Polacsek
A modal logic for epistemic tests. ECAI (2000)
Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek
A Logic for Planning under Partial Observability. AAAI/IAAI (2000)