Hervé Marchand
Publications
Publications
|
|
Detecting and Resolving Feature Interactions in Cyber-Physical Systems Using Formal MethodsICCA 2025 - IEEE 19th International Conference on Control & Automation, Jun 2025, Tallinn, Estonia. pp.274-279, ⟨10.1109/ICCA65672.2025.11129862⟩ |
|
|
Incremental Verification of Inference Observability in Decentralized Discrete-Event ControlICCA 2025 - IEEE 19th International Conference on Control & Automation, Jun 2025, Taline, Estonia. pp.262-267, ⟨10.1109/ICCA65672.2025.11129743⟩ |
|
|
A New Verification Algorithm for Inferencing in Supervisory Control of Discrete-Event Systems17th Ifac Workshop on Discrete Event Systems, Apr 2024, Rio De Janeiro, Brazil |
|
|
Mutual Opacity between Multiple AdversariesWodes 2022 - 16th IFAC Workshop on Discrete Event Systems, Sep 2022, Prague, Czech Republic. pp.1-7 |
|
|
Compositional model checking of an SDN platformDRCN 2021 - 17th International Conference on the Design of Reliable Communication Networks, Apr 2021, Milan, Italy. pp.1-8 |
|
|
Enforcing Opacity in Modular SystemsIFAC 2020 - Ifac world Congress, Nov 2020, Virtual, Germany. pp.1-8 |
|
|
Towards resilient supervisors against sensor deception attacksCDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France. pp.1-6 |
|
|
Concurrent secrets with quantified suspicionACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia. pp.1-15 |
|
|
Opacity with powerful attackersWODES 2018 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Sorrento, Italy. pp.464 - 471, ⟨10.1016/j.ifacol.2018.06.341⟩ |
|
|
Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource ManagementWODES 2018 - 14th Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.1-8, ⟨10.1016/j.ifacol.2018.06.288⟩ |
|
|
Logico-numerical Control for Software Components ReconfigurationCCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩ |
|
|
Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems20th World Congress The International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.6 |
|
|
On the cost of diagnosis with disambiguationQEST 2017, Sep 2017, Berlin, France. pp.140-156 |
|
|
Finding the weakest link(s): Coalition games for decentralized discrete-event control55th IEEE Conference on Decision and Control , Dec 2016, Las-Vegas, United States |
|
|
Diagnosability of Repairable Faults13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262 |
|
|
Predictive Runtime Enforcement *SAC 2016 31st ACM Symposium on Applied Computing, ACM, Apr 2016, Pisa, Italy. pp.1628-1633, ⟨10.1145/2851613.2851827⟩ |
|
|
TiPEX: A Tool Chain for Timed Property Enforcement During eXecutionRV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩ |
|
|
Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, May 2015, Cancun, Mexico. pp.132-138 |
Discrete Control-Based Design of Adaptive and Autonomic Computing SystemsICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩ |
|
|
|
Enforcement of (Timed) Properties with Uncontrollable Events12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩ |
|
|
Deadlock-free Discrete Controller Synthesis for Infinite State Systems54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan |
|
|
Runtime Enforcement of Regular Timed PropertiesSoftware Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1279-1286 |
|
|
Discrete Controller Synthesis for Infinite State Systems with ReaXIEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427 |
|
|
Runtime Enforcement of Parametric Timed Properties with Practical ApplicationsIEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427 |
|
|
Runtime Enforcement of K-step Opacity52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.7271-7278, ⟨10.1109/CDC.2013.6761043⟩ |
|
|
Runtime Enforcement of Timed Properties3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244, ⟨10.1007/978-3-642-35632-2_23⟩ |
|
|
Discrete Control of Computing Systems Administration: a Programming Language supported ApproachEuropean Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124 |
|
|
A parity-based architecture for decentralized discrete-event controlAmerican Control Conference, Jun 2013, Washigton, United States. pp.5678 - 5684 |
|
|
Analysis of partially observed recursive tile systems11th Int. Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.265-271 |
|
|
Intégration de la synthèse de contrôleurs discrets dans un langage de programmationModélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France |
|
|
Abstracting Time and Data for Conformance Testing of Real-Time Systems7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany |
|
|
Synthesis of Communicating Controllers for Distributed SystemsIEEE Conference on Decision and Control and European Control Conference, Dec 2011, Orlando, United States. pp.1803-1810 |
|
|
Global State Estimates for Distributed Systems13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.198-212, ⟨10.1007/978-3-642-21461-5_13⟩ |
|
|
Polychronous Controller Synthesis from MARTE CCSL Timing SpecificationsACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom |
|
|
Supervisory Control for Modal Specifications of ServicesWorkshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. pp.428-435 |
|
|
Multicriteria optimal reconfiguration of fault-tolerant real-time tasksWODES'10, Aug 2010, Berlin, Germany. pp.366-373, ⟨10.3182/20100830-3-DE-4013.00059⟩ |
|
|
Automatic Test Generation for Data-Flow Reactive Systems with time constraints22nd IFIP International Conference on Testing Software and Systems (Short Papers), Nov 2010, Natal, Brazil. pp.25-30 |
|
|
More Testable Properties22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩ |
|
|
Contracts for modular discrete controller synthesisProceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, ⟨10.1145/1755888.1755898⟩ |
|
|
Génération automatique de tests pour des propriétés de sécurité4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Jun 2009, Luchon, France. pp.157-174 |
|
|
Monitoring Confidentiality by Diagnosis TechniquesEuropean Control Conference, Aug 2009, Budapest, Hungary. pp.2584-2589 |
Contrôle décentralisé de systèmes symboliques infinis sous observation partielle7ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. pp.805-820 |
|
|
|
Control of Infinite Symbolic Transition Systems under Partial ObservationEuropean Control Conference, Aug 2009, Budapest, Hungary. pp.1456-1462 |
|
|
Automatic Testing of Access Control for Security PropertiesTESTCOM/FATES 2009, Nov 2009, Eindhoven, Netherlands. pp.113-128, ⟨10.1007/978-3-642-05031-2⟩ |
|
|
Dynamic Observers for the Synthesis of Opaque Systems7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), Oct 2009, Macao SAR, China. pp.352-367, ⟨10.1007/978-3-642-04761-9_26⟩ |
|
|
Computational Complexity for State-Feedback Controllers with Partial Observation7th International Conference on Control and Automation, ICCA'09, Dec 2009, Christchurch, New Zealand. pp.435-441, ⟨10.1109/ICCA.2009.5410356⟩ |
|
|
Predictability of Sequence Patterns in Discrete Event SystemsIFAC World Congress, Aug 2008, Seoul, South Korea. pp.537-543 |
|
|
Opacity Enforcing Control SynthesisWorkshop on Discrete Event Systems, WODES'08, May 2008, Goteborg, Sweden. pp.28-35 |
|
|
Construction de moniteurs pour la surveillance de propriétés de sécurité6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.105-120 |
|
|
Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.71-86 |
|
|
Optimal discrete controller synthesis for modeling fault-tolerant distributed systems1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS), Jun 2007, Cachan, France. ⟨10.3182/20070613-3-FR-4909.00031⟩ |
|
|
A constructive and modular approach to decentralized supervisory Control problems3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland |
Motifs de surveillance pour le diagnostic de systèmes à événements discretsRFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle), 2006, Tours, France |
|
|
|
Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models.Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. pp.149-154, ⟨10.1109/WODES.2006.1678423⟩ |
|
|
Supervision Patterns in Discrete Event Systems DiagnosisWorkshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. pp.262-268, ⟨10.1109/WODES.2006.1678440⟩ |
Supervision patterns in discrete event systemsDX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124 |
|
|
|
Symbolic Determinisation of Extended Automata4th IFIP International Conference on Theoretical Computer Science, Aug 2006, Stantiago, Chile, Chile. pp.197-212, ⟨10.1007/978-0-387-34735-6_18⟩ |
|
|
Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach13th Mediterranean Conference on Control and Automation, Dec 2005, Limassol, Cyprus. pp.889-895 |
|
|
Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents5ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2005, Autran, France. pp.79-94 |
|
|
Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.2763-2768 |
|
|
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.31-35 |
|
|
Modular supervisory control with general indecomposable specification languages44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.3474-3479 |
|
|
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive SystemsFormal Methods 2005 (FM05), Jul 2005, Newcastle, United Kingdom. pp.189-204, ⟨10.1007/11526841_14⟩ |
|
|
Modular Supervisory Control of a class of Concurrent Discrete Event SystemsWorkshop on Discrete Event Systems, Sep 2004, Reims, France. pp.181-186 |
|
|
From Safety Verification to Safety TestingTesting of Communicating Systems (Testcom), Mar 2004, Oxford, United Kingdom. pp.160-176, ⟨10.1007/978-3-540-24704-3_11⟩ |
|
|
Supervisory Control of Asynchronous and Hierarchical Finite State MachinesEuropean Control Conference, Sep 2003, Cambridge, United Kingdom |
Ensuring the conformance of reactive discrete-event systems using supervisory control42nd IEEE Conference on Decision and Control, Dec 2003, Hawaii, United States. pp.2692 - 2697, ⟨10.1109/CDC.2003.1273030⟩ |
|
|
|
Contrôle de systèmes à événements discrets hiérarchiques4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. pp.383-397 |
|
|
Synthèse de contrôleurs pour une relation de conformité4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. pp.523-536 |
|
|
Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis14th Euromicro Conference on Real-Time Systems (ECRTS'02), Jun 2002, Vienna, Austria. pp.241-248, ⟨10.1109/EMRTS.2002.1019204⟩ |
Diagnostic de pannes sur des systèmes à événements discrets : une approche à base de modèles symboliques13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, Jan 2002, Angers, France. pp.191-200 |
|
A Protocol for Loosely Time-Triggered ArchitecturesEmbedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. pp.252-265, ⟨10.1007/3-540-45828-X_19⟩ |
|
|
|
A case study in applying discrete control synthesis to excavator operationIEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), Oct 2002, Hammamet, Tunisia. ⟨10.1109/ICSMC.2002.1175694⟩ |
|
|
Supervisory Control Problems of Hierarchical Finite State Machines41th IEEE Conference on Decision and Control, Dec 2002, Las-Vegas, United States. pp.1199-1204, ⟨10.1109/CDC.2002.1184677⟩ |
|
|
Optimal control of discrete event systems under partial observation40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.2235-2240, ⟨10.1109/.2001.980609⟩ |
|
|
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.3284 - 3289, ⟨10.1109/.2001.980328⟩ |
|
|
A Design Environment for Discrete-Event Controllers based on the Signal Language1998 IEEE International Conference on Systems, Man, And Cybernetics (SMC '98), Oct 1998, San Diego, California, United States. pp.770-775, ⟨10.1109/ICSMC.1998.725501⟩ |
|
|
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller5th International Conference on Algebraic Methodology and Software Technology (AMAST '96), Jul 1996, Munich, Germany. pp.271-285 |
Modélisation des systèmes réactifsHervé Marchand and Loïc Hélouët. Lavoisier, 47, pp.260, 2013, Journal européen des systèmes automatisés |
Validation of Reactive SystemsS, Merz and N, Navet. Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, Hermès Science, pp.51-76, 2008 |
|
Combinaison entre vérification et test pour la validation de systèmes réactifsNicolas Navet. Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, 1, Hermès Science, pp.59-88, 2006, Informatique et Systèmes d'information |
|
|
Verification of Inference Observability in Supervisory Control of Discrete-Event Systems2023 |
|
|
Compositional model checking of SDN platform2021 |
|
|
Synthesis of Supervisors Robust Against Sensor Deception Attacks2020 |
|
|
Opacity with powerful attackers2018 |
|
|
Automatic Test Generation for Data-Flow Reactive Systems Modeled by Variable Driven Timed Automata2010 |
|
|
Contribution to the Analysis of Discrete Event SystemsSoftware Engineering [cs.SE]. Université de Rennes 1, 2017 |