Pierre Dissaux

18 papers B 1C 3Misc 2Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2023 — ch.
Logic Model Processing.
Prolog: The Next 50 Years
Pierre Dissaux
2022 J jnl
Specification of schedulability assumptions to leverage multiprocessor Analysis.
J. Syst. Archit.
Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, Alain Plantec, Hai Nam Tran, Pierre Dissaux
2014 C conf
Architecture models refinement for fine grain timing analysis of embedded systems.
RSP
Etienne Borde, Smail Rahmoun, Fabien Cadoret, Laurent Pautet, Frank Singhoff, Pierre Dissaux
2014 J jnl
Composition of design patterns: from the modeling of RTOS synchronization tools to schedulability analysis.
SIGBED Rev.
Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand
2014 — conf
Executable AADL: Real-Time Simulation of AADL Models.
ACVI@MoDELS
Pierre Dissaux, Olivier Marc
2014 — conf
Modeling Shared-Memory Multiprocessor Systems with AADL.
ACVI@MoDELS
Stéphane Rubini, Pierre Dissaux, Frank Singhoff
2014 J jnl
Scheduling analysis from architectural models of embedded multi-processor systems.
SIGBED Rev.
Stéphane Rubini, Christian Fotsing, Frank Singhoff, Hai Nam Tran, Pierre Dissaux
2014 — conf
Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report.
ICMT
Dominique Blouin, Alain Plantec, Pierre Dissaux, Frank Singhoff, Jean-Philippe Diguet
2013 C conf
Enforcing software engineering tools interoperability: An example with AADL subsets.
RSP
Vincent Gaudel, Frank Singhoff, Alain Plantec, Jérôme Hugues, Pierre Dissaux, Jérôme Legrand
2011 — conf
An Ada design pattern recognition tool for AADL performance analysis.
SIGAda
Vincent Gaudel, Frank Singhoff, Alain Plantec, Stéphane Rubini, Pierre Dissaux, Jérôme Legrand
2010 B conf
Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate.
ICECCS
Mickaël Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux
2010 — conf
Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns.
ISoLA (1)
Alain Plantec, Frank Singhoff, Pierre Dissaux, Jérôme Legrand
2009 J jnl
Investigating the usability of real-time scheduling theory with the Cheddar project.
Real Time Syst.
Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand
2008 Misc conf
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project.
Ada-Europe
Frank Singhoff, Alain Plantec, Pierre Dissaux
2005 — ed.
Architecture Description Languages - IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France
IFIP-WADL
Pierre Dissaux, Mamoun Filali-Amine, Pierre Michel, François Vernadat
2003 C conf
Towards the verification of real-time systems in avionics: the Cotre approach.
FMICS
Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert
1997 — conf
Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annex.
IRTAW
Pierre Dissaux, Laurent Pautet, Lars Björnfot, Yvon Kermarrec, Dominique LeCampion
1994 Misc conf
A New Approach for HOOD/Ada Mapping.
Ada-Europe
Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin