 | 2011 |
|---|
| 9 |       | Michaël Lauer,
Jérôme Ermont,
Frédéric Boniol,
Claire Pagetti:
Worst Case Temporal Consistency in Integrated Modular Avionics Systems.
HASE 2011: 212-219 |
| 2010 |
|---|
| 8 | | Muhammad Adnan,
Jean-Luc Scharbarg,
Jérôme Ermont,
Christian Fraboul:
Model for worst case delay analysis of an AFDX network using timed automata.
ETFA 2010: 1-4 |
| 7 | | Michaël Lauer,
Jérôme Ermont,
Claire Pagetti,
Frédéric Boniol:
Analyzing End-to-End Functional Delays on an IMA Platform.
ISoLA (1) 2010: 243-257 |
| 2009 |
|---|
| 6 | | Frédéric Boniol,
Jérôme Ermont,
Claire Pagetti:
Verification of real-time systems with preemption: negative and positive results.
ISSE 5(3): 163-179 (2009) |
| 2007 |
|---|
| 5 |  | Jérôme Ermont,
Frédéric Boniol:
Verification of embbeded systems with preemption: a negative result.
ISoLA 2007: 99-110 |
| 2006 |
|---|
| 4 | | Hussein Charara,
Jean-Luc Scharbarg,
Jérôme Ermont,
Christian Fraboul:
Methods for bounding end-to-end delays on an AFDX network.
ECRTS 2006: 193-202 |
| 2005 |
|---|
| 3 | | Jean-Luc Scharbarg,
Marc Boyer,
Jérôme Ermont,
Christian Fraboul:
TTCAN over mixed CAN/switched Ethernet architecture.
ETFA 2005 |
| 2003 |
|---|
| 2 | | Frédéric Boniol,
Gérard Bel,
Jérôme Ermont:
Trois approches pour la modélisation et la vérification de systèmes embarqués.
Technique et Science Informatiques 22(5): 539-569 (2003) |
| 2002 |
|---|
| 1 | | Jérôme Ermont,
Frédéric Boniol:
TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources.
Electr. Notes Theor. Comput. Sci. 65(6): 68-85 (2002) |
Data released under the ODC-BY 1.0 license — See also our legal information page