Pierre Dissaux - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2023

Logic Model ProcessingPierre Dissaux. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 260-270, Springer, 2023. [doi]

2022

Specification of schedulability assumptions to leverage multiprocessor AnalysisStéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, Alain Plantec, Hai Nam Tran, Pierre Dissaux. jsa, 133:102761, 2022. [doi]

2014

Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience ReportDominique Blouin, Alain Plantec, Pierre Dissaux, Frank Singhoff, Jean-Philippe Diguet. ICMT 2014: 106-121 [doi]

Architecture models refinement for fine grain timing analysis of embedded systemsEtienne Borde, Smail Rahmoun, Fabien Cadoret, Laurent Pautet, Frank Singhoff, Pierre Dissaux. rsp 2014: 44-50 [doi]

Executable AADL: Real-Time Simulation of AADL ModelsPierre Dissaux, Olivier Marc. MoDELS 2014: [doi]

Composition of design patterns: from the modeling of RTOS synchronization tools to schedulability analysisVincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand. sigbed, 11(1):44-49, 2014. [doi]

Modeling Shared-Memory Multiprocessor Systems with AADLStéphane Rubini, Pierre Dissaux, Frank Singhoff. MoDELS 2014: [doi]

Scheduling analysis from architectural models of embedded multi-processor systemsStéphane Rubini, Christian Fotsing, Frank Singhoff, Hai Nam Tran, Pierre Dissaux. sigbed, 11(1):68-73, 2014. [doi]

2013

Enforcing software engineering tools interoperability: An example with AADL subsetsVincent Gaudel, Frank Singhoff, Alain Plantec, Jérôme Hugues, Pierre Dissaux, Jérôme Legrand. rsp 2013: 59-65 [doi]

2011

An Ada design pattern recognition tool for AADL performance analysisVincent Gaudel, Frank Singhoff, Alain Plantec, Stéphane Rubini, Pierre Dissaux, Jérôme Legrand. sigada 2011: 61-68 [doi]

2010

Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with OsateMickaël Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux. ICECCS 2010: 367-372 [doi]

Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-PatternsAlain Plantec, Frank Singhoff, Pierre Dissaux, Jérôme Legrand. ISoLA 2010: 4-17 [doi]

2009

Investigating the usability of real-time scheduling theory with the Cheddar projectFrank Singhoff, Alain Plantec, Pierre Dissaux, JÃ©rÃ´me Legrand. rts, 43(3):259-295, 2009. [doi]

2008

Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar ProjectFrank Singhoff, Alain Plantec, Pierre Dissaux. Ada-Europe 2008: 240-253 [doi]

2003

Towards the verification of real-time systems in avionics: the Cotre approachBernard 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. ENTCS, 80:203-218, 2003. [doi]

1997

Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annexPierre Dissaux, Laurent Pautet, Lars Björnfot, Yvon Kermarrec, Dominique LeCampion. irtaw 1997: 40-44 [doi]

1994

A New Approach for HOOD/Ada MappingPierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin. Ada-Europe 1994: 147-154

Sign in or sign up to see more results.

runs on WebDSL