Thomas Polacsek

Proceedings of the Digital Business and Intelligent Systems - 16th International Baltic Conference, Baltic DB&IS 2024, Vilnius, Lithuania, June 30, 2024

2023

Goal Modelling: Design and Manufacturing in Aeronautics.

[BibT_eX]

[DOI]

Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

Cloud Migration High-Level Requirements.

[BibT_eX]

[DOI]

Antoine Aubé

Proceedings of the Research Challenges in Information Science: Information Science and the Connected World, 2023

Eliciter, raffiner et attribuer des buts aux bons acteurs à partir d'objectifs de haut niveau.

[BibT_eX]

[DOI]

Proceedings of the Actes du XLI Congrès INFORSID, La Rochelle, France, May 30, 2023

L'avion et sa chaîne d'assemblage : des premières exigences à une conception globale.

[BibT_eX]

[DOI]

Proceedings of the Actes du XLI Congrès INFORSID, La Rochelle, France, May 30, 2023

Stroke management: defining and assigning goals to stakeholders (short paper).

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023

Assembly Line Preliminary Design Optimization for an Aircraft.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

Les exigences pour un choix d'architecture dans le cadre d'une migration dans les nuages.

[BibT_eX]

[DOI]

Antoine Aubé

Clément Duffau

Proceedings of the Actes du XLème Congrès INFORSID, Dijon, France, May 31 - June 3, 2022., 2022

Trying to Elicit and Assign Goals to the Right Actors.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 41st International Conference, 2022

The Aircraft and Its Manufacturing System: From Early Requirements to Global Design.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2022

2021

A Collaborative Model for Connecting Product Design and Assembly Line Design: An Aeronautical Case.

[BibT_eX]

[DOI]

Alex Aquieta Nuñez

Alberto Donoso-Arciniega

Proceedings of the Practice of Enterprise Modeling, 2021

2020

Patterns for Certification Standards.

[BibT_eX]

[DOI]

Kevin Delmas

Claire Pagetti

Proceedings of the Advanced Information Systems Engineering, 2020

2019

Design for Efficient Production, A Model-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019

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).

[BibT_eX]

[DOI]

, 2019

2018

Une sémantique pour les patrons de justification.

[BibT_eX]

[DOI]

Clément Duffau

Mireille Blay-Fornarino

Proceedings of the Actes du XXXVIème Congrès INFORSID, Nantes, France, May 28-31, 2018., 2018

Support of Justification Elicitation: Two Industrial Reports.

[BibT_eX]

[DOI]

Clément Duffau

Mireille Blay-Fornarino

Proceedings of the Advanced Information Systems Engineering, 2018

A Scheduling Tool for Bridging the Gap Between Aircraft Design and Aircraft Manufacturing.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Diagramme de justification. Un outil pour la validation, la certification et l'accréditation.

[BibT_eX]

[DOI]

Ingénierie des Systèmes d Inf., 2017

Modéliser l'avion et son moyen de production : vers un modèle global pour de la conception simultanée.

[BibT_eX]

[DOI]

Proceedings of the Actes du XXXVème Congrès INFORSID, Toulouse, France, May 30, 2017

Towards Thinking Manufacturing and Design Together: An Aeronautical Case Study.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

2016

StrataVis : une technique de visualisation graphique orientée modèle.

[BibT_eX]

[DOI]

David Bihanic

Tech. Sci. Informatiques, 2016

Introduction.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2016

Éditorial.

[BibT_eX]

[DOI]

Florence Sèdes

Ingénierie des Systèmes d Inf., 2016

Vérification automatique d'exigences pour les politiques d'échange d'information. Exigences de diffusion et de non-diffusion d'information.

[BibT_eX]

[DOI]

Ingénierie des Systèmes d Inf., 2016

Validation, accreditation or certification: A new kind of diagram to provide confidence.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Argumentation Tree: A New Player in your Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Actes du XXXIVème Congrès INFORSID, Grenoble, France, May 31, 2016

2015

Vérification automatique d'exigences pour les politiques d'échange d'information.

[BibT_eX]

[DOI]

Proceedings of the Actes du XXXIIIème Congrès INFORSID, Biarritz, France, May 26-29, 2015, 2015

A process to support and to report collaborative decision.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2015

Critical Information Diffusion Systems.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Databases and Information Systems, 2015

2013

Behavioural Verification in Embedded Software, from Model to Source Code.

[BibT_eX]

[DOI]

Virginie Wiels

Stéphane Duprat

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Modèlisation graphique des SI. Du traitement visuel de modèles complexes.

[BibT_eX]

[DOI]

Proceedings of the Actes du XXXIème Congrès INFORSID, Paris, France, 29-31 Mai 2013., 2013

Formal Methods for Exchange Policy Specification.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2013

2012

Visualisation de Systèmes d'Information Complexes Une approche par « points de vue étendus ».

[BibT_eX]

[DOI]

David Bihanic

Stud. Inform. Univ., 2012

Formal Software Verification at Model and at Source Code Levels.

[BibT_eX]

[DOI]

Stéphane Duprat

Proceedings of the Model and Data Engineering - 2nd International Conference, 2012

Models for Visualisation of Complex Information Systems.

[BibT_eX]

[DOI]

David Bihanic

Proceedings of the 16th International Conference on Information Visualisation, 2012

Vers une aide à la spécification d'une politique d'échange d'information dans un SI .

[BibT_eX]

[DOI]

Laurence Cholvy

Proceedings of the Actes du XXXème Congrès INFORSID, Montpellier, France, 29 - 31 mai 2012, 2012

2011

Supporting Model Based Design.

[BibT_eX]

[DOI]

David Doose

Proceedings of the Model and Data Engineering - First International Conference, 2011

IDM : Vers une aide ? la conception.

[BibT_eX]

[DOI]

David Doose

Proceedings of the Actes du XXIXème Congrès INFORSID, Lille, France, 24-25 mai 2011, 2011

A framework to report and to analyse a debate.

[BibT_eX]

[DOI]

Laurence Cholvy

Proceedings of the 2011 15th International Conference on Computer Supported Cooperative Work in Design, 2011

2001

Updates, actions, and planning.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

A modal logic for epistemic tests.

[BibT_eX]

Andreas Herzig

Jérôme Lang