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

Jérôme Ermont

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5 Jérôme Ermont, Frédéric Boniol: Verification of embbeded systems with preemption: a negative result. ISoLA 2007: 99-110
2006
4EEHussein 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
3EEJean-Luc Scharbarg, Marc Boyer, Jérôme Ermont, Christian Fraboul: TTCAN over mixed CAN/switched Ethernet architecture. ETFA 2005
2003
2EEFré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
1EEJé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)

Coauthor Index

1Gérard Bel [2]
2Frédéric Boniol [1] [2] [5]
3Marc Boyer [3]
4Hussein Charara [4]
5Christian Fraboul [3] [4]
6Jean-Luc Scharbarg [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)