- 8
- 1
- 1
Hervé Marchand
10
Documents
Identifiants chercheurs
- herve-marchand
- IdRef : 095626360
Présentation
My currents interests are the control synthesis of discrete events systems. I am also interested in automatic test generation as well as in Diagnosis of discrete event systems. Within these areas, I concentrate on
- the control of discrete event systems
- control of Modular and hierarchical discrete event systems avoiding state space exploration
- control under partial observation
- Control within the synchronous paradigm and its application to the control of fault tolerant systems and multi-task systems
- control of infinite systems using symbolic approximate techniques
- the Model-Based Testing:
- models and theory for conformance testing of reactive systems,
- automated test case synthesis with enumerated or symbolic approximate techniques.
- combination between verification and test
- the diagnosis and prognosis (predictability) of Discrete Event Systems by means of Supervision Patterns
- the security of information systems: security testing, diagnosis for intrusion detection and automatic synthesis of access-control.
- Model checking, symbolic bisimulation, reduction model
Since October 2009, I'm member of the [IFAC](http://people.rennes.inria.fr/Herve.Marchand/) Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems) since 2005 and member of the steering committee of MSR (*Modélisation des Systhèmes Réactifs*) since 2011. I was Associate Editor of the [IEEE Transactions on Automatic Control](http://control.bu.edu/ieee/) between 2009 and 2013. I have served in the program committee of several conferences : [ IFAC World Congress'11](http://www.ifac2011.org/), [ DCDS'11](http://www.dcds11.uni-saarland.de/), [DCDS'13](http://dcds13.net.dcs.hull.ac.uk/) *(International Workshop on Dependable Control of Discrete Systems)*, [Vecos'08](http://www.comp.leeds.ac.uk/vecos08/) (*International Workshop on Verification and Evaluation of Computer and Communication Systems*), [ICINCO'07](http://www.icinco.org/icinco2007/index.htm), [ICINCO'08](http://www.icinco.org/icinco2008/index.htm) [ICINCO'09](http://www.icinco.org/ICINCO2009/index.htm), [INCINCO'10](http://www.icinco.org/ICINCO2010/), [INCINCO'11](http://www.icinco.org/) (*International Conference on Informatics in Control, Automation and Robotics*), [ Wodes'06](http://www.eecs.umich.edu/wodes2006/), [Wodes'08](http://www.wodes2008.org/), [Wodes'10](http://www.wodes2010.org/), [Wodes 2012](http://www.gdl.cinvestav.mx/wodes-12/) (*International Workshop on Discrete Event Systems*), SCODES'01 (*symposium on the Supervisory Control of Discrete Event Systems 2001*), MSR'05, MSR'07, [MSR'09](http://msr09.irccyn.ec-nantes.fr/), [MSR'11](http://www.lifl.fr/msr11/pages/venir.html) (*Modélisation des Systhèmes Réactifs*). I co-organized with Loïc Hélouët [MSR'13](http://msr2013.inria.fr/) in Rennes.
My currents interests are the control synthesis of discrete events systems. I am also interested in automatic test generation as well as in Diagnosis of discrete event systems. Within these areas, I concentrate on
- the control of discrete event systems
- control of Modular and hierarchical discrete event systems avoiding state space exploration
- control under partial observation
- Control within the synchronous paradigm and its application to the control of fault tolerant systems and multi-task systems
- control of infinite systems using symbolic approximate techniques
- the Model-Based Testing:
- models and theory for conformance testing of reactive systems,
- automated test case synthesis with enumerated or symbolic approximate techniques.
- combination between verification and test
- the diagnosis and prognosis (predictability) of Discrete Event Systems by means of Supervision Patterns
- the security of information systems: security testing, diagnosis for intrusion detection and automatic synthesis of access-control.
- Model checking, symbolic bisimulation, reduction model
Since October 2009, I'm member of the [IFAC](http://people.rennes.inria.fr/Herve.Marchand/) Technical Committees (TC 1.3 on Discrete Event and Hybrid Systems) since 2005 and member of the steering committee of MSR (*Modélisation des Systhèmes Réactifs*) since 2011. I was Associate Editor of the [IEEE Transactions on Automatic Control](http://control.bu.edu/ieee/) between 2009 and 2013. I have served in the program committee of several conferences : [ IFAC World Congress'11](http://www.ifac2011.org/), [ DCDS'11](http://www.dcds11.uni-saarland.de/), [DCDS'13](http://dcds13.net.dcs.hull.ac.uk/) *(International Workshop on Dependable Control of Discrete Systems)*, [Vecos'08](http://www.comp.leeds.ac.uk/vecos08/) (*International Workshop on Verification and Evaluation of Computer and Communication Systems*), [ICINCO'07](http://www.icinco.org/icinco2007/index.htm), [ICINCO'08](http://www.icinco.org/icinco2008/index.htm) [ICINCO'09](http://www.icinco.org/ICINCO2009/index.htm), [INCINCO'10](http://www.icinco.org/ICINCO2010/), [INCINCO'11](http://www.icinco.org/) (*International Conference on Informatics in Control, Automation and Robotics*), [ Wodes'06](http://www.eecs.umich.edu/wodes2006/), [Wodes'08](http://www.wodes2008.org/), [Wodes'10](http://www.wodes2010.org/), [Wodes 2012](http://www.gdl.cinvestav.mx/wodes-12/) (*International Workshop on Discrete Event Systems*), SCODES'01 (*symposium on the Supervisory Control of Discrete Event Systems 2001*), MSR'05, MSR'07, [MSR'09](http://msr09.irccyn.ec-nantes.fr/), [MSR'11](http://www.lifl.fr/msr11/pages/venir.html) (*Modélisation des Systhèmes Réactifs*). I co-organized with Loïc Hélouët [MSR'13](http://msr2013.inria.fr/) in Rennes.
Publications
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 10
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 2
|
Optimal Enforcement of (Timed) Properties with Uncontrollable EventsMathematical Structures in Computer Science, 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
Article dans une revue
hal-01262444v4
|
|
Predictive Runtime Verification of Timed PropertiesJournal of Systems and Software, 2017, 132, pp.353 - 365. ⟨10.1016/j.jss.2017.06.060⟩
Article dans une revue
hal-01666995v1
|
Predictive runtime enforcementFormal Methods in System Design, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩
Article dans une revue
hal-01647787v1
|
|
|
Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying EventsScience of Computer Programming, 2016, 123, pp.2-41. ⟨10.1016/j.scico.2016.02.008⟩
Article dans une revue
hal-01281727v1
|
|
More testable propertiesInternational Journal on Software Tools for Technology Transfer, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
Article dans une revue
hal-00743981v1
|
|
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⟩
Communication dans un congrès
hal-01244446v1
|
|
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⟩
Communication dans un congrès
hal-01185238v3
|
|
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
Communication dans un congrès
hal-00907571v1
|
|
Runtime Enforcement of Parametric Timed Properties with Practical ApplicationsIEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Communication dans un congrès
hal-00974548v1
|
|
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⟩
Communication dans un congrès
hal-00743270v2
|