 | 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): (2002) |
