Performance Verification of discrete Event Systems using Hybrid Model-Checking. - Bruno Denis; Jean-Jacques Lesage; Zulema Juárez-Orozco (ADHS, 2006)

Evaluation of Response Time in Ethernet-based Automation Systems. - Gaëlle Marsal; Bruno Denis; Jean-Marc Faure; Georg Frey (ETFA, 2006)

Measuring the impact of vertical integration on response times in ethernet fieldbuses. - Bruno Denis; Silvain Ruel; Jean-Marc Faure; Gaëlle Marsal; Georg Frey (ETFA, 2007)

Formal verification of redundant media extension of Ethernet PowerLink. - Steve Limal; Stéphane Potier; Bruno Denis; Jean-Jacques Lesage (ETFA, 2007)

Measures vs. analytic evaluation of response time of Networked Automation Systems. - Boussad Addad; Said Amari; Jean-Jacques Lesage; Bruno Denis (CASE, 2011)

Designing operational control architectures of critical systems by reachability analysis. - Thibault Lemattre; Bruno Denis; Jean-Marc Faure; Jean-François Pétin; Patrick Salaün (CASE, 2011)

Using a meta-model to build operational architectures of automation systems for critical processes. - Thibault Lemattre; Bruno Denis; Jean-Marc Faure; Patrick Salaün; Jean-François Pétin (ETFA, 2011)