A New Approach for HOOD/Ada Mapping. - Pierre Dissaux; Patrick Farail; Pierre Leroy; P. Micouin (Ada-Europe, 1994)

Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annex. - Pierre Dissaux; Laurent Pautet; Lars Björnfot; Yvon Kermarrec; Dominique LeCampion (IRTAW, 1997)

Towards the verification of real-time systems in avionics: the Cotre approach. - Bernard Berthomieu; Pierre-Olivier Ribet; François Vernadat 001; J. L. Bernartt; Jean-Marie Farines; Jean-Paul Bodeveix; Mamoun Filali; Gérard Padiou; Pierre Michel; Patrick Farail; Pierre Gauffilet; Pierre Dissaux; et al. (FMICS, 2003)

Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project. - Frank Singhoff; Alain Plantec; Pierre Dissaux (Ada-Europe, 2008)

Investigating the usability of real-time scheduling theory with the Cheddar project. - Frank Singhoff; Alain Plantec; Pierre Dissaux; Jérôme Legrand (Real Time Syst., 2009)

Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate. - Mickaël Kerboeuf; Alain Plantec; Frank Singhoff; Arnaud Schach; Pierre Dissaux (ICECCS, 2010)

Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns. - Alain Plantec; Frank Singhoff; Pierre Dissaux; Jérôme Legrand (ISoLA (1), 2010)

An Ada design pattern recognition tool for AADL performance analysis. - Vincent Gaudel; Frank Singhoff; Alain Plantec; Stéphane Rubini; Pierre Dissaux; Jérôme Legrand (SIGAda, 2011)

Enforcing software engineering tools interoperability: An example with AADL subsets. - Vincent Gaudel; Frank Singhoff; Alain Plantec; Jérôme Hugues; Pierre Dissaux; Jérôme Legrand (RSP, 2013)

Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report. - Dominique Blouin; Alain Plantec; Pierre Dissaux; Frank Singhoff; Jean-Philippe Diguet (ICMT, 2014)

Executable AADL: Real-Time Simulation of AADL Models. - Pierre Dissaux; Olivier Marc (ACVI@MoDELS, 2014)

Modeling Shared-Memory Multiprocessor Systems with AADL. - Stéphane Rubini; Pierre Dissaux; Frank Singhoff (ACVI@MoDELS, 2014)

Architecture models refinement for fine grain timing analysis of embedded systems. - Etienne Borde; Smail Rahmoun; Fabien Cadoret; Laurent Pautet; Frank Singhoff; Pierre Dissaux (RSP, 2014)

Composition of design patterns: from the modeling of RTOS synchronization tools to schedulability analysis. - Vincent Gaudel; Frank Singhoff; Alain Plantec; Pierre Dissaux; Jérôme Legrand (SIGBED Rev., 2014)

Scheduling analysis from architectural models of embedded multi-processor systems. - Stéphane Rubini; Christian Fotsing; Frank Singhoff; Hai Nam Tran; Pierre Dissaux (SIGBED Rev., 2014)

Specification of schedulability assumptions to leverage multiprocessor Analysis. - Stéphane Rubini; Valérie-Anne Nicolas; Frank Singhoff; Alain Plantec; Hai Nam Tran; Pierre Dissaux (J. Syst. Archit., 2022)

Logic Model Processing. - Pierre Dissaux (Prolog: The Next 50 Years, 2023)