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 | EE | 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 | EE | Jean-Luc Scharbarg,
Marc Boyer,
Jérôme Ermont,
Christian Fraboul:
TTCAN over mixed CAN/switched Ethernet architecture.
ETFA 2005 |
2003 |
2 | EE | 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 | EE | 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) |