default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPierre Dissaux
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[p1]Pierre Dissaux:
Logic Model Processing. Prolog: The Next 50 Years 2023: 260-270- 2022
- [j4]Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, Alain Plantec, Hai Nam Tran, Pierre Dissaux:
Specification of schedulability assumptions to leverage multiprocessor Analysis. J. Syst. Archit. 133: 102761 (2022)
2010 – 2019
- 2014
- [j3]Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand:
Composition of design patterns: from the modeling of RTOS synchronization tools to schedulability analysis. SIGBED Rev. 11(1): 44-49 (2014) - [j2]Stéphane Rubini, Christian Fotsing, Frank Singhoff, Hai Nam Tran, Pierre Dissaux:
Scheduling analysis from architectural models of embedded multi-processor systems. SIGBED Rev. 11(1): 68-73 (2014) - [c12]Dominique Blouin, Alain Plantec, Pierre Dissaux, Frank Singhoff, Jean-Philippe Diguet:
Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report. ICMT 2014: 106-121 - [c11]Pierre Dissaux, Olivier Marc:
Executable AADL: Real-Time Simulation of AADL Models. ACVI@MoDELS 2014 - [c10]Stéphane Rubini, Pierre Dissaux, Frank Singhoff:
Modeling Shared-Memory Multiprocessor Systems with AADL. ACVI@MoDELS 2014 - [c9]Etienne Borde, Smail Rahmoun, Fabien Cadoret, Laurent Pautet, Frank Singhoff, Pierre Dissaux:
Architecture models refinement for fine grain timing analysis of embedded systems. RSP 2014: 44-50 - 2013
- [c8]Vincent Gaudel, Frank Singhoff, Alain Plantec, Jérôme Hugues, Pierre Dissaux, Jérôme Legrand:
Enforcing software engineering tools interoperability: An example with AADL subsets. RSP 2013: 59-65 - 2011
- [c7]Vincent Gaudel, Frank Singhoff, Alain Plantec, Stéphane Rubini, Pierre Dissaux, Jérôme Legrand:
An Ada design pattern recognition tool for AADL performance analysis. SIGAda 2011: 61-68 - 2010
- [c6]Mickaël Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux:
Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate. ICECCS 2010: 367-372 - [c5]Alain Plantec, Frank Singhoff, Pierre Dissaux, Jérôme Legrand:
Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns. ISoLA (1) 2010: 4-17
2000 – 2009
- 2009
- [j1]Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand:
Investigating the usability of real-time scheduling theory with the Cheddar project. Real Time Syst. 43(3): 259-295 (2009) - 2008
- [c4]Frank Singhoff, Alain Plantec, Pierre Dissaux:
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project. Ada-Europe 2008: 240-253 - 2005
- [e1]Pierre Dissaux, Mamoun Filali-Amine, Pierre Michel, François Vernadat:
Architecture Description Languages - IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France. IFIP 176, Springer 2005, ISBN 978-0-387-24589-8 [contents] - 2003
- [c3]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:
Towards the verification of real-time systems in avionics: the Cotre approach. FMICS 2003: 203-218
1990 – 1999
- 1997
- [c2]Pierre Dissaux, Laurent Pautet, Lars Björnfot, Yvon Kermarrec, Dominique LeCampion:
Communication and distribution tools for embedded distributed applications: a case study with Ada 95 and its distributed systems annex. IRTAW 1997: 40-44 - 1994
- [c1]Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin:
A New Approach for HOOD/Ada Mapping. Ada-Europe 1994: 147-154
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
