| 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 | 224 | 2000 |
| 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 | 171 | 2006 |
| Supervisory control for opacity J Dubreil, P Darondeau, H Marchand IEEE Transactions on Automatic Control 55 (5), 1089-1100, 2010 | 167 | 2010 |
| Synthesis of opaque systems with static and dynamic masks F Cassez, J Dubreil, H Marchand Formal Methods in System Design 40, 88-115, 2012 | 129 | 2012 |
| A protocol for loosely time-triggered architectures A Benveniste, P Caspi, PL Guernic, H Marchand, JP Talpin, S Tripakis Embedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 2002 | 113 | 2002 |
| Contracts for modular discrete controller synthesis G Delaval, H Marchand, E Rutten Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages …, 2010 | 102 | 2010 |
| Opacity enforcing control synthesis J Dubreil, P Darondeau, H Marchand 2008 9th International Workshop on Discrete Event Systems, 28-35, 2008 | 88 | 2008 |
| Predictability of sequence patterns in discrete event systems T Jéron, H Marchand, S Genc, S Lafortune IFAC World Congress, 537-543, 2008 | 87 | 2008 |
| Enforcement and validation (at runtime) of various notions of opacity Y Falcone, H Marchand Discrete Event Dynamic Systems 25, 531-570, 2015 | 81 | 2015 |
| 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 | 80 | 2007 |
| 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 | 57 | 2013 |
| 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 | 54 | 2004 |
| 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 | 52 | 2000 |
| 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 | 50 | 2006 |
| 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 | 49 | 2019 |
| Dynamic observers for the synthesis of opaque systems F Cassez, J Dubreil, H Marchand Automated Technology for Verification and Analysis (AMAST), 352-367, 2009 | 49 | 2009 |
| Formal verification of programs specified with signal: Application to a power transformer station controller H Marchand, E Rutten, M Le Borgne, M Samaan Science of Computer Programming 41 (1), 85-104, 2001 | 46 | 2001 |
| 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 | 45 | 2011 |
| Supervisory control of infinite symbolic systems using abstract interpretation T Le Gall, B Jeannet, H Marchand Proceedings of the 44th IEEE Conference on Decision and Control, 30-35, 2005 | 45 | 2005 |
| 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 | 44 | 2014 |
Thierry JéronUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
