Hervé Marchand

87 papers B 8C 5Misc 4Journal 32Unranked 36

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