Pierre Dissaux

According to our database, Pierre Dissaux authored at least 17 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Logic Model Processing.

Pierre Dissaux

Proceedings of the Prolog: The Next 50 Years, 2023

2022

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

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

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

Architecture models refinement for fine grain timing analysis of embedded systems.

Etienne Borde, Smail Rahmoun, Fabien Cadoret, Laurent Pautet, Frank Singhoff, Pierre Dissaux

Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014

Modeling Shared-Memory Multiprocessor Systems with AADL.

Stéphane Rubini, Pierre Dissaux, Frank Singhoff

Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Executable AADL: Real-Time Simulation of AADL Models.

Pierre Dissaux, Olivier Marc

Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report.

Dominique Blouin, Alain Plantec, Pierre Dissaux, Frank Singhoff, Jean-Philippe Diguet

Proceedings of the Theory and Practice of Model Transformations, 2014

2013

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

Proceedings of the 24th IEEE International Symposium on Rapid System Prototyping, 2013

2011

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

Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 2011

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

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

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

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

2009

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

2008

Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project.

Frank Singhoff, Alain Plantec, Pierre Dissaux

Proceedings of the Reliable Software Technologies, 2008

2003

Towards the verification of real-time systems in avionics: the Cotre approach.

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

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

1997

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

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

1994

A New Approach for HOOD/Ada Mapping.

Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin

Proceedings of the Ada in Europe, First International Eurospace, 1994