SIGNAL. - Pascalin Amagbégnon; Paul Le Guernic; Hervé Marchand; Éric Rutten (Formal Development of Reactive Systems, 1995)

Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. - Michel Le Borgne; Hervé Marchand; Éric Rutten; Mazen Samaan (AMAST, 1996)

A design environment for discrete-event controllers based on the SIGNAL language. - Hervé Marchand; Patricia Bournai; M. Leborgne; Paul Le Guernic (SMC, 1998)

Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment. - Éric Marchand; Éric Rutten; Hervé Marchand; François Chaumette (Int. J. Robotics Res., 1998)

Supervisory control problem using symbolic bisimulation techniques. - Hervé Marchand; Sophie Pinchinat (ACC, 2000)

Synthesis of Discrete-Event Controllers Based on the Signal Environment. - Hervé Marchand; Patricia Bournai; Michel Le Borgne; Paul Le Guernic (Discret. Event Dyn. Syst., 2000)

On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. - Hervé Marchand; Olivier Boivineau; Stéphane Lafortune (SIAM J. Control. Optim., 2000)

Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. - Hervé Marchand; Mazen Samaan (IEEE Trans. Software Eng., 2000)

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. - Albert Benveniste; Patricia Bournai; Thierry Gautier; Michel Le Borgne; Paul Le Guernic; Hervé Marchand (CDC, 2001)

Optimal control of discrete event systems under partial observation. - Hervé Marchand; Olivier Boivineau; Stéphane Lafortune (CDC, 2001)

Formal verification of programs specified with signal: application to a power transformer station controller. - Hervé Marchand; Éric Rutten; Michel Le Borgne; Mazen Samaan (Sci. Comput. Program., 2001)

Supervisory control problems of hierarchical finite state machines. - Hervé Marchand; Benoit Gaudin (CDC, 2002)

Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. - Hervé Marchand; Éric Rutten (ECRTS, 2002)

A Protocol for Loosely Time-Triggered Architectures. - Albert Benveniste; Paul Caspi; Paul Le Guernic; Hervé Marchand; Jean-Pierre Talpin; Stavros Tripakis (EMSOFT, 2002)

A case study in applying discrete control synthesis to excavator operation. - Hervé Marchand; Éric Rutten (SMC (2), 2002)

On optimal control of a class of partially observed discrete event systems. - Hervé Marchand; Olivier Boivineau; Stéphane Lafortune (Autom., 2002)

Ensuring the conformance of reactive discrete-event systems using supervisory control. - Thieny Eron; Hervé Marchand; Vlad Rusu; Valéry Tschaen (CDC, 2003)

Modular supervisory control of asynchronous and hierarchical finite state machines. - Benoit Gaudin; Hervé Marchand (ECC, 2003)

Test Cases Generation for Nondeterministic Real-Time Systems. - Ahmed Khoumsi; Thierry Jéron; Hervé Marchand (FATES, 2003)

From Safety Verification to Safety Testing. - Vlad Rusu; Hervé Marchand; Valéry Tschaen; Thierry Jéron; Bertrand Jeannet (TestCom, 2004)

Supervisory Control of Product and Hierarchical Discrete Event Systems. - Benoit Gaudin; Hervé Marchand (Eur. J. Control, 2004)

Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach. - Benoit Gaudin; Hervé Marchand (ISIC, 2005)

Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. - Tristan Le Gall; Bertrand Jeannet; Hervé Marchand (CDC/ECC, 2005)

Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems. - Benoit Gaudin; Hervé Marchand (CDC/ECC, 2005)

Modular Supervisory Control with General Indecomposable Specification Languages. - Jan Komenda; Jan H. van Schuppen; Benoit Gaudin; Hervé Marchand (CDC/ECC, 2005)

Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. - Vlad Rusu; Hervé Marchand; Thierry Jéron (FM, 2005)

Symbolic Determinisation of Extended Automata. - Thierry Jéron; Hervé Marchand; Vlad Rusu (IFIP TCS, 2006)

Contrôle de systèmes symboliques, discrets ou hybrides. - Tristan Le Gall; Bertrand Jeannet; Hervé Marchand (Tech. Sci. Informatiques, 2006)

An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach. - Benoit Gaudin; Hervé Marchand (Discret. Event Dyn. Syst., 2007)

Integrating formal verification and conformance testing for reactive systems. - Camille Constant; Thierry Jéron; Hervé Marchand; Vlad Rusu (IEEE Trans. Software Eng., 2007)

Supervisory control of modular systems with global specification languages. - Jan Komenda; Jan H. van Schuppen; Benoit Gaudin; Hervé Marchand (Autom., 2008)

Dynamic Observers for the Synthesis of Opaque Systems. - Franck Cassez; Jérémy Dubreil; Hervé Marchand (ATVA, 2009)

Monitoring confidentiality by diagnosis techniques. - Jérémy Dubreil; Thierry Jéron; Hervé Marchand (ECC, 2009)

Control of infinite Symbolic Transition Systems under partial observation. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (ECC, 2009)

Automatic Testing of Access Control for Security Properties. - Hervé Marchand; Jérémy Dubreil; Thierry Jéron (TestCom/FATES, 2009)

Automatic generation of safe handlers for multi-task systems. - Éric Rutten; Hervé Marchand (J. Embed. Comput., 2009)

Contracts for modular discrete controller synthesis. - Gwenaël Delaval; Hervé Marchand; Éric Rutten (LCTES, 2010)

Supervisory control for modal specifications of services. - Philippe Darondeau; Jérémy Dubreil; Hervé Marchand (WODES, 2010)

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. - Emil Dumitrescu; Alain Girault; Hervé Marchand; Éric Rutten (WODES, 2010)

Supervisory Control for Opacity. - Jérémy Dubreil; Philippe Darondeau; Hervé Marchand (IEEE Trans. Autom. Control., 2010)

Synthesis of communicating controllers for distributed systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (CDC/ECC, 2011)

Global State Estimates for Distributed Systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (FMOODS/FORTE, 2011)

Abstracting Time and Data for Conformance Testing of Real-Time Systems. - Wilkerson de L. Andrade; Patrícia D. L. Machado; Thierry Jéron; Hervé Marchand (ICST Workshops, 2011)

Polychronous controller synthesis from MARTE CCSL timing specifications. - Huafeng Yu; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Hervé Marchand; Paul Le Guernic (MEMOCODE, 2011)

Decentralized Control of Infinite Systems. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (Discret. Event Dyn. Syst., 2011)

Runtime Enforcement of Timed Properties. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand; Antoine Rollet; Omer Landry Nguena-Timo (RV, 2012)

Analysis of partially observed recursive tile systems. - Sébastien Chédor; Christophe Morvan; Sophie Pinchinat; Hervé Marchand (WODES, 2012)

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (Discret. Event Dyn. Syst., 2012)

Synthesis of opaque systems with static and dynamic masks. - Franck Cassez; Jérémy Dubreil; Hervé Marchand (Formal Methods Syst. Des., 2012)

More testable properties. - Yliès Falcone; Jean-Claude Fernandez; Thierry Jéron; Hervé Marchand; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 2012)

A parity-based architecture for decentralized discrete-event control. - S. Laurie Ricker; Hervé Marchand (ACC, 2013)

Runtime enforcement of K-step opacity. - Yliès Falcone; Hervé Marchand (CDC, 2013)

Discrete control of computing systems administration: A programming language supported approach. - Gwenaël Delaval; Noël De Palma; Soguy Mak Karé Gueye; Hervé Marchand; Éric Rutten (ECC, 2013)

Integrating discrete controller synthesis into a reactive programming language compiler. - Gwenaël Delaval; Éric Rutten; Hervé Marchand (Discret. Event Dyn. Syst., 2013)

Runtime enforcement of regular timed properties. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand (SAC, 2014)

Discrete Controller Synthesis for Infinite State Systems with ReaX. - Nicolas Berthier; Hervé Marchand (WODES, 2014)

Runtime Enforcement of Parametric Timed Properties with Practical Applications. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand (WODES, 2014)

Diagnosis from scenarios. - Loïc Hélouët; Hervé Marchand; Blaise Genest; Thomas Gazagnaire (Discret. Event Dyn. Syst., 2014)

Runtime enforcement of timed properties revisited. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand; Antoine Rollet; Omer Nguena-Timo (Formal Methods Syst. Des., 2014)

Symbolic Supervisory Control of Distributed Systems With Communications. - Gabriel Kalyon; Tristan Le Gall; Hervé Marchand; Thierry Massart (IEEE Trans. Autom. Control., 2014)

Deadlock-free discrete controller synthesis for infinite state systems. - Nicolas Berthier; Hervé Marchand (CDC, 2015)

Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. - Xin An; Gwenaël Delaval; Jean-Philippe Diguet; Abdoulaye Gamatié; Soguy Mak Karé Gueye; Hervé Marchand; Noël De Palma; Éric Rutten (ICDCIT, 2015)

Enforcement of (Timed) Properties with Uncontrollable Events. - Matthieu Renard; Yliès Falcone; Antoine Rollet; Srinivas Pinisetty; Thierry Jéron; Hervé Marchand (ICTAC, 2015)

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand (RV, 2015)

Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems. - Sébastien Chédor; Christophe Morvan; Sophie Pinchinat; Hervé Marchand (Discret. Event Dyn. Syst., 2015)

Enforcing opacity of regular predicates on modal transition systems. - Philippe Darondeau; Hervé Marchand; S. Laurie Ricker (Discret. Event Dyn. Syst., 2015)

Enforcement and validation (at runtime) of various notions of opacity. - Yliès Falcone; Hervé Marchand (Discret. Event Dyn. Syst., 2015)

Finding the weakest link(s): Coalition games for decentralized discrete-event control. - S. Laurie Ricker; Hervé Marchand (CDC, 2016)

Runtime enforcement of regular timed properties by suppressing and delaying events. - Yliès Falcone; Thierry Jéron; Hervé Marchand; Srinivas Pinisetty (Sci. Comput. Program., 2016)

Contribution to the Analysis of Discrete Event Systems. - Hervé Marchand (2017)

Logico-numerical control for software components reconfiguration. - Nicolas Berthier; Frederico Alvares; Hervé Marchand; Gwenaël Delaval; Éric Rutten (CCTA, 2017)

On the Cost of Diagnosis with Disambiguation. - Loïc Hélouët; Hervé Marchand (QEST, 2017)

Predictive runtime enforcement. - Srinivas Pinisetty; Viorel Preoteasa; Stavros Tripakis; Thierry Jéron; Yliès Falcone; Hervé Marchand (Formal Methods Syst. Des., 2017)

Predictive runtime verification of timed properties. - Srinivas Pinisetty; Thierry Jéron; Stavros Tripakis; Yliès Falcone; Hervé Marchand; Viorel Preoteasa (J. Syst. Softw., 2017)

Concurrent Secrets with Quantified Suspicion. - Loïc Hélouët; Hervé Marchand; John Mullins (ACSD, 2018)

Diagnosability of repairable faults. - Eric Fabre; Loïc Hélouët; Engel Lefaucheux; Hervé Marchand (Discret. Event Dyn. Syst., 2018)

Towards resilient supervisors against sensor deception attacks. - Rômulo Meira-Góes; Hervé Marchand; Stéphane Lafortune (CDC, 2019)

Optimal enforcement of (timed) properties with uncontrollable events. - Matthieu Renard; Yliès Falcone; Antoine Rollet; Thierry Jéron; Hervé Marchand (Math. Struct. Comput. Sci., 2019)

Compositional model checking of an SDN platform. - Abdul Majith; Ocan Sankur; Hervé Marchand; Dinh Thai Bui (DRCN, 2021)

Synthesis of Supervisors Robust Against Sensor Deception Attacks. - Rômulo Meira-Góes; Stéphane Lafortune; Hervé Marchand (IEEE Trans. Autom. Control., 2021)

Dealing with sensor and actuator deception attacks in supervisory control. - Rômulo Meira-Góes; Hervé Marchand; Stéphane Lafortune (Autom., 2023)