Bruno Denis

According to our database, Bruno Denis authored at least 7 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 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

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Measures vs. analytic evaluation of response time of Networked Automation Systems.

Boussad Addad, Said Amari, Jean-Jacques Lesage, Bruno Denis

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2007

Formal verification of redundant media extension of Ethernet PowerLink.

Steve Limal, Stéphane Potier, Bruno Denis, Jean-Jacques Lesage

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Measuring the impact of vertical integration on response times in ethernet fieldbuses.

Bruno Denis, Silvain Ruel, Jean-Marc Faure, Gaëlle Marsal, Georg Frey

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006

Evaluation of Response Time in Ethernet-based Automation Systems.

Gaëlle Marsal, Bruno Denis, Jean-Marc Faure, Georg Frey

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Performance Verification of discrete Event Systems using Hybrid Model-Checking.

Bruno Denis, Jean-Jacques Lesage, Zulema Juárez-Orozco

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006