dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Christophe Aussaguès Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Louise, Matthieu Lemerre, Christophe Aussaguès, Vincent David: The OASIS Kernel: A Framework for High Dependability Real-Time Systems. HASE 2011: 95-103
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet: On the reaction time of some synchronous systems ICE 2011: 69-83
2010
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet: An Introduction to Time-Constrained Automata ICE 2010: 83-98
2009
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamien Chabrol, Christophe Aussaguès, Vincent David: A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems. ETFA 2009: 1-8
2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet: Equivalence between Schedule Representations: Theory and Applications. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 237-247
2007
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvain Camier, Damien Chabrol, Vincent David, Christophe Aussaguès: OASIS formal approach for distributed safety-critical real-time system design. ISoLA 2007: 167-178
2005
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamien Chabrol, Vincent David, Christophe Aussaguès, Stéphane Louise, Frédéric Daumas: Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach. IASTED PDCS 2005: 260-268
2002
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Louise, Vincent David, Jean Delcoigne, Christophe Aussaguès: OASIS project: deterministic real-time for safety critical embedded systems. ACM SIGOPS European Workshop 2002: 223-226
1998
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristophe Aussaguès, Vincent David: A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems. ICECCS 1998: 2-12

Coauthor Index

1Sylvain Camier [4]
2Damien Chabrol [3] [4] [6]
3Frédéric Daumas [3]
4Vincent David [1] [2] [3] [4] [5] [6] [7] [8] [9]
5Jean Delcoigne [2]
6Ilias Garnier [8]
7Matthieu Lemerre [5] [7] [9]
8Stéphane Louise [2] [3] [9]
9Guy Vidal-Naquet [5] [7] [8]

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page