Bruno Denis
Bruno Denis
Associate Professor, ENS Paris-Saclay, France
Adresse e-mail validée de ens-paris-saclay.fr
Titre
Citée par
Citée par
Année
Evaluation of response time in Ethernet-based automation systems
G Marsal, B Denis, JM Faure, G Frey
2006 IEEE Conference on Emerging Technologies and Factory Automation, 380-387, 2006
482006
Safety properties verification of ladder diagram programs
JM Roussel, B Denis
Journal Européen des Systemes Automatisés (JESA) 36 (7), pp. 905-917, 2002
472002
A generic approach to build plant models for DES verification purposes
J Machado, B Denis, JJ Lesage
2006 8th International Workshop on Discrete Event Systems, 407-412, 2006
442006
Logic controllers dependability verification using a plant model
JM Machado, B Denis, JJ Lesage, JM Faure, JCLF Da Silva
IFAC Proceedings Volumes 39 (17), 37-42, 2006
442006
Measuring the impact of vertical integration on response times in Ethernet fieldbuses
B Denis, S Ruel, JM Faure, G Frey, G Marsal
2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA …, 2007
392007
Formal verification of redundant media extension of ethernet powerlink
S Limal, S Potier, B Denis, JJ Lesage
2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA …, 2007
262007
Semen and artificial insemination of pigeons
P Szumowski, M Theret, B Denis
Proceedings of the 8th International Congress of Animal Reproduction and …, 1976
151976
Formal verification of industrial controllers: with or without a plant model?
J Machado, B Denis, JJ Lesage
7th Portuguese Conference on Automatic Control, CONTROLO'06, 2006
132006
Increasing the efficiency of PLC program verification using a plant model
J Machado, B Denis, JJ Lesage, JM Faure, JF da Silva
6th International Conférence on Industrial Enginneering and Production …, 2003
122003
Evaluation of real-time capabilities of Ethernet-based automation systems using formal verification and simulation
G Marsal, D Witsch, B Denis, JM Faure, G Frey
Proceedings of RJCITR 5, 27-30, 2005
112005
Toward a theory of integrated modelling
B Denis, JJ Lesage, G Timon
IFAC Proceedings Volumes 25 (31), 35-40, 1992
111992
Un panorama de la recherche en conception de la conduite des systèmes de production
B Denis, JJ Lesage
Actes du congrès international de génie industriel de Montréal, Ecole …, 1995
101995
Hybridation entre un Mouflon de Corse (Ovis ammon musimon Schreber, 1872) et des brebis de divers génotypes: gènes pour la coloration pigmentaire
JJ Lauvergne, B Denis, M Theret
Annales de génétique et de sélection animale 9 (2), 151-161, 1977
101977
Eco-problem solving for the adaptive control of production systems: the Casper project
C Sohier, B Denis, JJ Lesage
IFAC Proceedings Volumes 31 (15), 607-612, 1998
91998
Applying eco problem solving to the control of an adaptative manufacturing cell
C Sohier, B Denis, P BOURDET
CESA ‘96: IMACS-IEEE Multi-conference on Computational Engineering in …, 1996
81996
Communications reliability analysis in networked embedded systems
D Aza-Vallina, B Denis, JM Faure
Advances in Safety, Reliability and Risk Management (ESREL 2011), 2639-2646, 2011
72011
Validation du comportement dynamique des architectures de conduite des systèmes de production par simulation
P Meunier, B Denis
Proceedings of the First International French Speaking Countries Workshop on …, 1997
61997
Temporal performance evaluation of control architecture in automation systems
P Meunier, B Denis, JJ Lesage
6th EUROSIM Congress on Modelling and Simulation (EUROSIM 2007), CDRom paper …, 2007
52007
Model of mechanism behavior for verification of PLC programs
JM Machado, B Denis, JJ Lesage, JM Faure, JF Silva
Associação Brasileira de Engenharia e Ciências Mecânicas (ABCM), 2004
52004
Safety analysis during the control architecture design of automated systems
P Meunier, JJ Lesage
IFAC Proceedings Volumes 33 (11), 849-854, 2000
52000
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20