default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHervé Marchand
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j31]Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
:
Dealing with sensor and actuator deception attacks in supervisory control. Autom. 147: 110736 (2023)- 2021
- [j30]Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand:
Synthesis of Supervisors Robust Against Sensor Deception Attacks. IEEE Trans. Autom. Control. 66(10): 4990-4997 (2021) - [c53]Abdul Majith, Ocan Sankur, Hervé Marchand, Dinh Thai Bui:
Compositional model checking of an SDN platform. DRCN 2021: 1-8 - 2020
- [i1]Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand:
Synthesis of Supervisors Robust Against Sensor Deception Attacks. CoRR abs/2012.12932 (2020)
2010 – 2019
- 2019
- [j29]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): 169-214 (2019) - [c52]Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune:
Towards resilient supervisors against sensor deception attacks. CDC 2019: 5144-5149 - 2018
- [j28]Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand:
Diagnosability of repairable faults. Discret. Event Dyn. Syst. 28(2): 183-213 (2018) - [c51]Loïc Hélouët, Hervé Marchand, John Mullins:
Concurrent Secrets with Quantified Suspicion. ACSD 2018: 75-84 - 2017
- [b1]Hervé Marchand:
Contribution to the Analysis of Discrete Event Systems. University of Rennes 1, France, 2017 - [j27]Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. Formal Methods Syst. Des. 51(1): 154-199 (2017) - [j26]Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa:
Predictive runtime verification of timed properties. J. Syst. Softw. 132: 353-365 (2017) - [c50]Nicolas Berthier, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Éric Rutten:
Logico-numerical control for software components reconfiguration. CCTA 2017: 1599-1606 - [c49]Loïc Hélouët, Hervé Marchand:
On the Cost of Diagnosis with Disambiguation. QEST 2017: 140-156 - 2016
- [j25]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: 2-41 (2016) - [c48]S. Laurie Ricker, Hervé Marchand:
Finding the weakest link(s): Coalition games for decentralized discrete-event control. CDC 2016: 3915-3922 - [c47]Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. SAC 2016: 1628-1633 - [c46]Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand:
Diagnosability of repairable faults. WODES 2016: 230-236 - 2015
- [j24]Philippe Darondeau, Hervé Marchand, S. Laurie Ricker:
Enforcing opacity of regular predicates on modal transition systems. Discret. Event Dyn. Syst. 25(1-2): 251-270 (2015) - [j23]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): 271-294 (2015) - [j22]Yliès Falcone, Hervé Marchand:
Enforcement and validation (at runtime) of various notions of opacity. Discret. Event Dyn. Syst. 25(4): 531-570 (2015) - [c45]Nicolas Berthier, Hervé Marchand:
Deadlock-free discrete controller synthesis for infinite state systems. CDC 2015: 1000-1007 - [c44]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: 93-113 - [c43]Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand:
Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC 2015: 542-560 - [c42]Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand:
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. RV 2015: 306-320 - 2014
- [j21]Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire:
Diagnosis from scenarios. Discret. Event Dyn. Syst. 24(4): 353-415 (2014) - [j20]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): 381-422 (2014) - [j19]Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart:
Symbolic Supervisory Control of Distributed Systems With Communications. IEEE Trans. Autom. Control. 59(2): 396-408 (2014) - [c41]Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand:
Runtime enforcement of regular timed properties. SAC 2014: 1279-1286 - [c40]Nicolas Berthier, Hervé Marchand:
Discrete Controller Synthesis for Infinite State Systems with ReaX. WODES 2014: 46-53 - [c39]Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand:
Runtime Enforcement of Parametric Timed Properties with Practical Applications. WODES 2014: 420-427 - 2013
- [j18]Gwenaël Delaval, Éric Rutten, Hervé Marchand:
Integrating discrete controller synthesis into a reactive programming language compiler. Discret. Event Dyn. Syst. 23(4): 385-418 (2013) - [c38]S. Laurie Ricker, Hervé Marchand:
A parity-based architecture for decentralized discrete-event control. ACC 2013: 5678-5684 - [c37]Yliès Falcone, Hervé Marchand:
Runtime enforcement of K-step opacity. CDC 2013: 7271-7278 - [c36]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: 117-124 - 2012
- [j17]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): 121-161 (2012) - [j16]Franck Cassez, Jérémy Dubreil, Hervé Marchand:
Synthesis of opaque systems with static and dynamic masks. Formal Methods Syst. Des. 40(1): 88-115 (2012) - [j15]Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier:
More testable properties. Int. J. Softw. Tools Technol. Transf. 14(4): 407-437 (2012) - [c35]Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo:
Runtime Enforcement of Timed Properties. RV 2012: 229-244 - [c34]Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand:
Analysis of partially observed recursive tile systems. WODES 2012: 265-271 - 2011
- [j14]Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart:
Decentralized Control of Infinite Systems. Discret. Event Dyn. Syst. 21(3): 359-393 (2011) - [c33]Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart:
Synthesis of communicating controllers for distributed systems. CDC/ECC 2011: 1803-1810 - [c32]Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart:
Global State Estimates for Distributed Systems. FMOODS/FORTE 2011: 198-212 - [c31]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: 9-17 - [c30]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: 21-30 - 2010
- [j13]Jérémy Dubreil, Philippe Darondeau, Hervé Marchand:
Supervisory Control for Opacity. IEEE Trans. Autom. Control. 55(5): 1089-1100 (2010) - [c29]Gwenaël Delaval, Hervé Marchand, Éric Rutten:
Contracts for modular discrete controller synthesis. LCTES 2010: 57-66 - [c28]Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier:
More Testable Properties. ICTSS 2010: 30-46 - [c27]Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten:
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. WODES 2010: 356-363 - [c26]Philippe Darondeau, Jérémy Dubreil, Hervé Marchand:
Supervisory control for modal specifications of services. WODES 2010: 418-425
2000 – 2009
- 2009
- [j12]Éric Rutten, Hervé Marchand:
Automatic generation of safe handlers for multi-task systems. J. Embed. Comput. 3(4): 255-276 (2009) - [c25]Franck Cassez, Jérémy Dubreil, Hervé Marchand:
Dynamic Observers for the Synthesis of Opaque Systems. ATVA 2009: 352-367 - [c24]Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart:
Control of infinite Symbolic Transition Systems under partial observation. ECC 2009: 1456-1462 - [c23]Jérémy Dubreil, Thierry Jéron, Hervé Marchand:
Monitoring confidentiality by diagnosis techniques. ECC 2009: 2584-2589 - [c22]Hervé Marchand, Jérémy Dubreil, Thierry Jéron:
Automatic Testing of Access Control for Security Properties. TestCom/FATES 2009: 113-128 - 2008
- [j11]Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand:
Supervisory control of modular systems with global specification languages. Autom. 44(4): 1127-1134 (2008) - 2007
- [j10]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): 179-209 (2007) - [j9]Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu:
Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng. 33(8): 558-574 (2007) - 2006
- [j8]Tristan Le Gall, Bertrand Jeannet, Hervé Marchand:
Contrôle de systèmes symboliques, discrets ou hybrides. Tech. Sci. Informatiques 25(3): 289-315 (2006) - [c21]Thierry Jéron, Hervé Marchand, Vlad Rusu:
Symbolic Determinisation of Extended Automata. IFIP TCS 2006: 197-212 - 2005
- [c20]Benoit Gaudin, Hervé Marchand:
Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach. ISIC 2005: 889-895 - [c19]Tristan Le Gall, Bertrand Jeannet, Hervé Marchand:
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. CDC/ECC 2005: 30-35 - [c18]Benoit Gaudin, Hervé Marchand:
Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems. CDC/ECC 2005: 2763-2768 - [c17]Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand:
Modular Supervisory Control with General Indecomposable Specification Languages. CDC/ECC 2005: 3474-3479 - [c16]Vlad Rusu, Hervé Marchand, Thierry Jéron:
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. FM 2005: 189-204 - 2004
- [j7]Benoit Gaudin, Hervé Marchand:
Supervisory Control of Product and Hierarchical Discrete Event Systems. Eur. J. Control 10(2): 131-145 (2004) - [c15]Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet:
From Safety Verification to Safety Testing. TestCom 2004: 160-176 - 2003
- [c14]Thieny Eron, Hervé Marchand, Vlad Rusu, Valéry Tschaen:
Ensuring the conformance of reactive discrete-event systems using supervisory control. CDC 2003: 2692-2697 - [c13]Benoit Gaudin, Hervé Marchand:
Modular supervisory control of asynchronous and hierarchical finite state machines. ECC 2003: 145-150 - [c12]Ahmed Khoumsi, Thierry Jéron, Hervé Marchand:
Test Cases Generation for Nondeterministic Real-Time Systems. FATES 2003: 131-146 - 2002
- [j6]Hervé Marchand, Olivier Boivineau, Stéphane Lafortune:
On optimal control of a class of partially observed discrete event systems. Autom. 38(11): 1935-1943 (2002) - [c11]Hervé Marchand, Benoit Gaudin:
Supervisory control problems of hierarchical finite state machines. CDC 2002: 1199-1204 - [c10]Hervé Marchand, Éric Rutten:
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. ECRTS 2002: 241-248 - [c9]Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis:
A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265 - [c8]Hervé Marchand, Éric Rutten:
A case study in applying discrete control synthesis to excavator operation. SMC (2) 2002: 6 - 2001
- [j5]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): 85-104 (2001) - [c7]Hervé Marchand, Olivier Boivineau, Stéphane Lafortune:
Optimal control of discrete event systems under partial observation. CDC 2001: 2335-2340 - [c6]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: 3284-3289 - 2000
- [j4]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): 325-346 (2000) - [j3]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): 512-532 (2000) - [j2]Hervé Marchand, Mazen Samaan:
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. IEEE Trans. Software Eng. 26(8): 729-741 (2000) - [c5]Hervé Marchand, Sophie Pinchinat:
Supervisory control problem using symbolic bisimulation techniques. ACC 2000: 4067-4071
1990 – 1999
- 1999
- [c4]Hervé Marchand, Mazen Samaan:
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. World Congress on Formal Methods 1999: 1605-1624 - 1998
- [j1]É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): 418-432 (1998) - [c3]Hervé Marchand, Patricia Bournai, M. Leborgne, Paul Le Guernic:
A design environment for discrete-event controllers based on the SIGNAL language. SMC 1998: 734-739 - [c2]Hervé Marchand, Olivier Boivineau, Stéphane Lafortune:
On the synthesis of optimal schedulers in discrete event control problems with multiple goals. SMC 1998: 770-775 - 1996
- [c1]Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan:
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. AMAST 1996: 271-285 - 1995
- [p1]Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten:
SIGNAL. Formal Development of Reactive Systems 1995: 113-129
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
