Hervé Marchand

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 23

Top Topics

Controller Synthesis

Deception Detection

Top Venues

Discret. Event Dyn. Syst.

Publications

Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
Dealing with sensor and actuator deception attacks in supervisory control. Autom. 147 (2023)
Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand
Synthesis of Supervisors Robust Against Sensor Deception Attacks. IEEE Trans. Autom. Control. 66 (10) (2021)
Abdul Majith, Ocan Sankur, Hervé Marchand, Dinh Thai Bui
Compositional model checking of an SDN platform. DRCN (2021)
Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand
Synthesis of Supervisors Robust Against Sensor Deception Attacks. CoRR (2020)
Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
Optimal enforcement of (timed) properties with uncontrollable events. Math. Struct. Comput. Sci. 29 (1) (2019)
Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
Towards resilient supervisors against sensor deception attacks. CDC (2019)
Loïc Hélouët, Hervé Marchand, John Mullins
Concurrent Secrets with Quantified Suspicion. ACSD (2018)
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
Diagnosability of repairable faults. Discret. Event Dyn. Syst. 28 (2) (2018)
Nicolas Berthier, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Éric Rutten
Logico-numerical control for software components reconfiguration. CCTA (2017)
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
Predictive runtime verification of timed properties. J. Syst. Softw. 132 (2017)
Loïc Hélouët, Hervé Marchand
On the Cost of Diagnosis with Disambiguation. QEST (2017)
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
Predictive runtime enforcement. Formal Methods Syst. Des. 51 (1) (2017)
Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
Runtime enforcement of regular timed properties by suppressing and delaying events. Sci. Comput. Program. 123 (2016)
S. Laurie Ricker, Hervé Marchand
Finding the weakest link(s): Coalition games for decentralized discrete-event control. CDC (2016)
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
Predictive runtime enforcement. SAC (2016)
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
Diagnosability of repairable faults. WODES (2016)
Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Yliès Falcone, Hervé Marchand
Enforcement and validation (at runtime) of various notions of opacity. Discret. Event Dyn. Syst. 25 (4) (2015)
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC (2015)
Nicolas Berthier, Hervé Marchand
Deadlock-free discrete controller synthesis for infinite state systems. CDC (2015)
Philippe Darondeau, Hervé Marchand, S. Laurie Ricker
Enforcing opacity of regular predicates on modal transition systems. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. RV (2015)
Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Mak Karé Gueye, Hervé Marchand, Noël De Palma, Éric Rutten
Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. ICDCIT (2015)
Nicolas Berthier, Hervé Marchand
Discrete Controller Synthesis for Infinite State Systems with ReaX. WODES (2014)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
Runtime enforcement of regular timed properties. SAC (2014)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
Runtime Enforcement of Parametric Timed Properties with Practical Applications. WODES (2014)
Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire
Diagnosis from scenarios. Discret. Event Dyn. Syst. 24 (4) (2014)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo
Runtime enforcement of timed properties revisited. Formal Methods Syst. Des. 45 (3) (2014)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Symbolic Supervisory Control of Distributed Systems With Communications. IEEE Trans. Autom. Control. 59 (2) (2014)
Gwenaël Delaval, Noël De Palma, Soguy Mak Karé Gueye, Hervé Marchand, Éric Rutten
Discrete control of computing systems administration: A programming language supported approach. ECC (2013)
Yliès Falcone, Hervé Marchand
Runtime enforcement of K-step opacity. CDC (2013)
S. Laurie Ricker, Hervé Marchand
A parity-based architecture for decentralized discrete-event control. ACC (2013)
Gwenaël Delaval, Éric Rutten, Hervé Marchand
Integrating discrete controller synthesis into a reactive programming language compiler. Discret. Event Dyn. Syst. 23 (4) (2013)
Franck Cassez, Jérémy Dubreil, Hervé Marchand
Synthesis of opaque systems with static and dynamic masks. Formal Methods Syst. Des. 40 (1) (2012)
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
More testable properties. Int. J. Softw. Tools Technol. Transf. 14 (4) (2012)
Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand
Analysis of partially observed recursive tile systems. WODES (2012)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. Discret. Event Dyn. Syst. 22 (2) (2012)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo
Runtime Enforcement of Timed Properties. RV (2012)
Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic
Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE (2011)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Decentralized Control of Infinite Systems. Discret. Event Dyn. Syst. 21 (3) (2011)
Wilkerson de L. Andrade, Patrícia D. L. Machado, Thierry Jéron, Hervé Marchand
Abstracting Time and Data for Conformance Testing of Real-Time Systems. ICST Workshops (2011)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Synthesis of communicating controllers for distributed systems. CDC/ECC (2011)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Global State Estimates for Distributed Systems. FMOODS/FORTE (2011)
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
More Testable Properties. ICTSS (2010)
Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. WODES (2010)
Jérémy Dubreil, Philippe Darondeau, Hervé Marchand
Supervisory Control for Opacity. IEEE Trans. Autom. Control. 55 (5) (2010)
Philippe Darondeau, Jérémy Dubreil, Hervé Marchand
Supervisory control for modal specifications of services. WODES (2010)
Gwenaël Delaval, Hervé Marchand, Éric Rutten
Contracts for modular discrete controller synthesis. LCTES (2010)
Hervé Marchand, Jérémy Dubreil, Thierry Jéron
Automatic Testing of Access Control for Security Properties. TestCom/FATES (2009)
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
Control of infinite Symbolic Transition Systems under partial observation. ECC (2009)
Éric Rutten, Hervé Marchand
Automatic generation of safe handlers for multi-task systems. J. Embed. Comput. 3 (4) (2009)
Franck Cassez, Jérémy Dubreil, Hervé Marchand
Dynamic Observers for the Synthesis of Opaque Systems. ATVA (2009)
Jérémy Dubreil, Thierry Jéron, Hervé Marchand
Monitoring confidentiality by diagnosis techniques. ECC (2009)
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand
Supervisory control of modular systems with global specification languages. Autom. 44 (4) (2008)
Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu
Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng. 33 (8) (2007)
Benoit Gaudin, Hervé Marchand
An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach. Discret. Event Dyn. Syst. 17 (2) (2007)
Tristan Le Gall, Bertrand Jeannet, Hervé Marchand
Contrôle de systèmes symboliques, discrets ou hybrides. Tech. Sci. Informatiques 25 (3) (2006)
Thierry Jéron, Hervé Marchand, Vlad Rusu
Symbolic Determinisation of Extended Automata. IFIP TCS (2006)
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand
Modular Supervisory Control with General Indecomposable Specification Languages. CDC/ECC (2005)
Benoit Gaudin, Hervé Marchand
Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems. CDC/ECC (2005)
Vlad Rusu, Hervé Marchand, Thierry Jéron
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. FM (2005)
Benoit Gaudin, Hervé Marchand
Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach. ISIC (2005)
Tristan Le Gall, Bertrand Jeannet, Hervé Marchand
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. CDC/ECC (2005)
Benoit Gaudin, Hervé Marchand
Supervisory Control of Product and Hierarchical Discrete Event Systems. Eur. J. Control 10 (2) (2004)
Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet
From Safety Verification to Safety Testing. TestCom (2004)
Benoit Gaudin, Hervé Marchand
Modular supervisory control of asynchronous and hierarchical finite state machines. ECC (2003)
Thieny Eron, Hervé Marchand, Vlad Rusu, Valéry Tschaen
Ensuring the conformance of reactive discrete-event systems using supervisory control. CDC (2003)
Ahmed Khoumsi, Thierry Jéron, Hervé Marchand
Test Cases Generation for Nondeterministic Real-Time Systems. FATES (2003)
Hervé Marchand, Éric Rutten
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. ECRTS (2002)
Hervé Marchand, Olivier Boivineau, Stéphane Lafortune
On optimal control of a class of partially observed discrete event systems. Autom. 38 (11) (2002)
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
A Protocol for Loosely Time-Triggered Architectures. EMSOFT (2002)
Hervé Marchand, Éric Rutten
A case study in applying discrete control synthesis to excavator operation. SMC (2) (2002)
Hervé Marchand, Benoit Gaudin
Supervisory control problems of hierarchical finite state machines. CDC (2002)
Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan
Formal verification of programs specified with signal: application to a power transformer station controller. Sci. Comput. Program. 41 (1) (2001)
Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. CDC (2001)
Hervé Marchand, Olivier Boivineau, Stéphane Lafortune
Optimal control of discrete event systems under partial observation. CDC (2001)
Hervé Marchand, Olivier Boivineau, Stéphane Lafortune
On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. SIAM J. Control. Optim. 39 (2) (2000)
Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic
Synthesis of Discrete-Event Controllers Based on the Signal Environment. Discret. Event Dyn. Syst. 10 (4) (2000)
Hervé Marchand, Sophie Pinchinat
Supervisory control problem using symbolic bisimulation techniques. ACC (2000)
Hervé Marchand, Mazen Samaan
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. IEEE Trans. Software Eng. 26 (8) (2000)
Hervé Marchand, Mazen Samaan
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. World Congress on Formal Methods (1999)
Hervé Marchand, Olivier Boivineau, Stéphane Lafortune
On the synthesis of optimal schedulers in discrete event control problems with multiple goals. SMC (1998)
Hervé Marchand, Patricia Bournai, M. Leborgne, Paul Le Guernic
A design environment for discrete-event controllers based on the SIGNAL language. SMC (1998)
Éric Marchand, Éric Rutten, Hervé Marchand, François Chaumette
Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment. Int. J. Robotics Res. 17 (4) (1998)
Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. AMAST (1996)