Folgen
Hervé Marchand
Hervé Marchand
Univ Rennes, Inria, CNRS, IRISA
Bestätigte E-Mail-Adresse bei inria.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Synthesis of discrete-event controllers based on the signal environment
H Marchand, P Bournai, ML Borgne, PL Guernic
Discrete Event Dynamic Systems 10, 325-346, 2000
2252000
Supervisory control for opacity
J Dubreil, P Darondeau, H Marchand
IEEE Transactions on Automatic Control 55 (5), 1089-1100, 2010
2092010
Supervision patterns in discrete event systems diagnosis
T Jéron, H Marchand, S Pinchinat, MO Cordier
2006 8th International Workshop on Discrete Event Systems, 262-268, 2006
1822006
Synthesis of opaque systems with static and dynamic masks
F Cassez, J Dubreil, H Marchand
Formal Methods in System Design 40, 88-115, 2012
1542012
A protocol for loosely time-triggered architectures
A Benveniste, P Caspi, PL Guernic, H Marchand, JP Talpin, S Tripakis
International Workshop on Embedded Software, 252-265, 2002
1192002
Enforcement and validation (at runtime) of various notions of opacity
Y Falcone, H Marchand
Discrete Event Dynamic Systems 25, 531-570, 2015
1112015
Opacity enforcing control synthesis
J Dubreil, P Darondeau, H Marchand
2008 9th international workshop on discrete event systems, 28-35, 2008
1022008
Contracts for modular discrete controller synthesis
G Delaval, H Marchand, E Rutten
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages …, 2010
962010
Predictability of sequence patterns in discrete event systems
T Jéron, H Marchand, S Genc, S Lafortune
IFAC World Congress, 537-543, 2008
942008
Integrating formal verification and conformance testing for reactive systems
C Constant, T Jéron, H Marchand, V Rusu
IEEE Transactions on Software Engineering 33 (8), 558-574, 2007
842007
Predictive runtime verification of timed properties
S Pinisetty, T Jéron, S Tripakis, Y Falcone, H Marchand, V Preoteasa
Journal of Systems and Software 132, 353-365, 2019
652019
Synthesis of supervisors robust against sensor deception attacks
R Meira-Góes, S Lafortune, H Marchand
IEEE Transactions on Automatic Control 66 (10), 4990-4997, 2021
612021
Integrating discrete controller synthesis into a reactive programming language compiler
G Delaval, E Rutten, H Marchand
Discrete Event Dynamic Systems: Theory and applications 23 (4), 385-418, 2013
612013
Test cases generation for nondeterministic real-time systems
A Khoumsi, T Jéron, H Marchand
Formal Approaches to Software Testing: Third International Workshop on …, 2004
592004
Dynamic observers for the synthesis of opaque systems
F Cassez, J Dubreil, H Marchand
Automated Technology for Verification and Analysis (AMAST), 352-367, 2009
582009
Incremental design of a power transformer station controller using a controller synthesis methodology
H Marchand, M Samaan
IEEE Transactions on Software Engineering 26 (8), 729-741, 2000
562000
Modular and decentralized supervisory control of concurrent discrete event systems using reduced system models
K Schmidt, H Marchand, B Gaudin
2006 8th International Workshop on Discrete Event Systems, 149-154, 2006
522006
Runtime enforcement of timed properties revisited
S Pinisetty, Y Falcone, T Jéron, H Marchand, A Rollet, O Nguena Timo
Formal Methods in System Design 45, 381-422, 2014
512014
Runtime enforcement of regular timed properties by suppressing and delaying events
Y Falcone, T Jéron, H Marchand, S Pinisetty
Science of Computer Programming 123, 2-41, 2016
462016
Polychronous controller synthesis from MARTE CCSL timing specifications
H Yu, JP Talpin, L Besnard, T Gautier, H Marchand, P Le Guernic
Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011
462011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20