Login / Signup
Bruno Denis
ORCID
Publication Activity (10 Years)
Years Active: 2006-2011
Publications (10 Years): 0
</>
Publications
</>
Thibault Lemattre
,
Bruno Denis
,
Jean-Marc Faure
,
Patrick Salaün
,
Jean-François Pétin
Using a meta-model to build operational architectures of automation systems for critical processes.
ETFA
(2011)
Boussad Addad
,
Said Amari
,
Jean-Jacques Lesage
,
Bruno Denis
Measures vs. analytic evaluation of response time of Networked Automation Systems.
CASE
(2011)
Thibault Lemattre
,
Bruno Denis
,
Jean-Marc Faure
,
Jean-François Pétin
,
Patrick Salaün
Designing operational control architectures of critical systems by reachability analysis.
CASE
(2011)
Bruno Denis
,
Silvain Ruel
,
Jean-Marc Faure
,
Gaëlle Marsal
,
Georg Frey
Measuring the impact of vertical integration on response times in ethernet fieldbuses.
ETFA
(2007)
Steve Limal
,
Stéphane Potier
,
Bruno Denis
,
Jean-Jacques Lesage
Formal verification of redundant media extension of Ethernet PowerLink.
ETFA
(2007)
Bruno Denis
,
Jean-Jacques Lesage
,
Zulema Juárez-Orozco
Performance Verification of discrete Event Systems using Hybrid Model-Checking.
ADHS
(2006)
Gaëlle Marsal
,
Bruno Denis
,
Jean-Marc Faure
,
Georg Frey
Evaluation of Response Time in Ethernet-based Automation Systems.
ETFA
(2006)