TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources. - Jérôme Ermont; Frédéric Boniol (Theory and Practice of Timed Systems @ ETAPS, 2002)

Trois approches pour la modélisation et la vérification de systèmes embarqués. - Frédéric Boniol; Gérard Bel; Jérôme Ermont (Tech. Sci. Informatiques, 2003)

TTCAN over mixed CAN/switched Ethernet architecture. - Jean-Luc Scharbarg; Marc Boyer; Jérôme Ermont; Christian Fraboul (ETFA, 2005)

Methods for bounding end-to-end delays on an AFDX network. - Hussein Charara; Jean-Luc Scharbarg; Jérôme Ermont; Christian Fraboul (ECRTS, 2006)

Verification of embbeded systems with preemption: a negative result. - Jérôme Ermont; Frédéric Boniol (ISoLA, 2007)

Verification of real-time systems with preemption: negative and positive results. - Frédéric Boniol; Jérôme Ermont; Claire Pagetti (Innov. Syst. Softw. Eng., 2009)

Model for worst case delay analysis of an AFDX network using timed automata. - Muhammad Adnan 007; Jean-Luc Scharbarg; Jérôme Ermont; Christian Fraboul (ETFA, 2010)

Analyzing End-to-End Functional Delays on an IMA Platform. - Michaël Lauer; Jérôme Ermont; Claire Pagetti; Frédéric Boniol (ISoLA (1), 2010)

Latency and freshness analysis on IMA systems. - Michaël Lauer; Jérôme Ermont; Frédéric Boniol; Claire Pagetti (ETFA, 2011)

Worst Case Temporal Consistency in Integrated Modular Avionics Systems. - Michaël Lauer; Jérôme Ermont; Frédéric Boniol; Claire Pagetti (HASE, 2011)

An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows. - Muhammad Adnan 007; Jean-Luc Scharbarg; Jérôme Ermont; Christian Fraboul (ETFA, 2012)

Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays. - Jérôme Ermont; Christian Fraboul (ETFA, 2013)

Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. - Frédéric Boniol; Michaël Lauer; Claire Pagetti; Jérôme Ermont (NASA Formal Methods, 2013)

End-to-end latency and temporal consistency analysis in networked real-time systems. - Michaël Lauer; Frédéric Boniol; Claire Pagetti; Jérôme Ermont (Int. J. Crit. Comput. Based Syst., 2014)

Wormhole networks properties and their use for optimizing worst case delay analysis of many-cores. - Laure Abdallah; Mathieu Jan; Jérôme Ermont; Christian Fraboul (SIES, 2015)

Reducing the Contention Experienced by Real-Time Core-to-I/O Flows over a Tilera-Like Network on Chip. - Laure Abdallah; Mathieu Jan; Jérôme Ermont; Christian Fraboul (ECRTS, 2016)

Poster Abstract: I/O Contention Aware Mapping of Multi-Criticalities Real-Time Applications over Many-Core Architectures. - Laure Abdallah; Mathieu Jan; Jérôme Ermont; Christian Fraboul (RTAS, 2016)

Towards a unified approach for worst-case analysis of Tilera-like and KalRay-like NoC architectures. - Hamid Ayed; Jérôme Ermont; Jean-Luc Scharbarg; Christian Fraboul (WFCS, 2016)

Towards a mixed NoC/AFDX architecture for avionics applications. - Laure Abdallah; Jérôme Ermont; Jean-Luc Scharbarg; Christian Fraboul (WFCS, 2017)

Extended recursive analysis for tilera tile64 NoC architectures: towards inter-NoC delay analysis. - Hamdi Ayed; Jean-Luc Scharbarg; Jérôme Ermont; Christian Fraboul (SIGBED Rev., 2017)

Message scheduling to reduce AFDX jitter in a mixed NoC/AFDX architecture. - Jérôme Ermont; Sandrine Mouysset; Jean-Luc Scharbarg; Christian Fraboul (RTNS, 2018)

Reducing AFDX jitter in a mixed NoC/AFDX architecture. - Laure Abdallah; Jérôme Ermont; Jean-Luc Scharbarg; Christian Fraboul (WFCS, 2018)

Limiting over sampling to improve transmission schedulability in a mixed NoC/AFDX architecture. - Sandrine Mouysset; Jérôme Ermont; Jean-Luc Scharbarg (ETFA, 2019)

Quantum assignment for QoS-aware AFDX network with deficit round robin. - Aakash Soni 001; Jean-Luc Scharbarg; Jérôme Ermont (RTNS, 2019)

Impact of frame size and deadlines on WRR scheduling in a switched Ethernet network with critical and non-critical flows. - Aakash Soni 001; Jérôme Ermont; Jean-Luc Scharbarg (ETFA, 2020)

Efficient configuration of a QoS-aware AFDX network with Deficit Round Robin. - Aakash Soni 001; Jean-Luc Scharbarg; Jérôme Ermont (INDIN, 2020)

An evaluation of software-based TSN traffic shapers using Linux tc. - Santiago Torres Borda; Jérôme Ermont (WFCS, 2022)

A Hybrid Approach to WCTT Analysis in a Real-Time Switched Ethernet Network. - Aakash Soni 001; Jean-Luc Scharbarg; Jérôme Ermont (RTAS, 2024)

Invited Paper: Assessing Unchecked Factors for Certification: An Experimental Approach for GPU Cache Parameters. - Cédric Cazanove; Benjamin Lesage; Frédéric Boniol; Jérôme Ermont (WCET, 2024)