Skip to Main content Skip to Navigation


...
hal-00743981v1  Journal articles
Yliès FalconeJean-Claude FernandezThierry JéronHervé MarchandLaurent Mounier. More testable properties
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
...
hal-00879441v1  Journal articles
Loïc HélouëtHervé MarchandBlaise GenestThomas Gazagnaire. Diagnosis from Scenarios
Discrete Event Dynamic Systems, Springer Verlag, 2014, 24 (4), pp.353-415. ⟨10.1007/s10626-013-0158-2⟩
...
inria-00594665v1  Journal articles
Gabriel KalyonTristan Le GallHervé MarchandThierry Massart. Decentralized Control of Infinite Systems
Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.359-393. ⟨10.1007/s10626-011-0106-y⟩
...
inria-00581259v1  Conference papers
Gabriel KalyonTristan Le GallHervé MarchandThierry Massart. Global State Estimates for Distributed Systems
13th 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⟩
...
inria-00525529v1  Conference papers
Hervé MarchandBenoit Gaudin. Supervisory Control Problems of Hierarchical Finite State Machines
41th IEEE Conference on Decision and Control, Dec 2002, Las-Vegas, United States. pp.1199-1204, ⟨10.1109/CDC.2002.1184677⟩
...
inria-00530584v1  Conference papers
Omer Landry Nguena TimoHervé MarchandAntoine Rollet. Automatic Test Generation for Data-Flow Reactive Systems with time constraints
22nd IFIP International Conference on Testing Software and Systems (Short Papers), Nov 2010, Natal, Brazil. pp.25-30
...
inria-00629104v1  Conference papers
Gwenaël DelavalEric RuttenHervé Marchand. Intégration de la synthèse de contrôleurs discrets dans un langage de programmation
Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France
...
hal-00907571v1  Conference papers
Srinivas PinisettyYliès FalconeThierry JéronHervé Marchand. Runtime Enforcement of Regular Timed Properties
Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1279-1286
...
hal-01185238v3  Conference papers
Matthieu RenardYliès FalconeAntoine RolletSrinivas PinisettyThierry Jéron et al.  Enforcement of (Timed) Properties with Uncontrollable Events
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩
...
hal-01244446v1  Conference papers
Srinivas PinisettyYliès FalconeThierry JéronHervé Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩
...
hal-00974548v1  Conference papers
Srinivas PinisettyYliès FalconeThierry JéronHervé Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications
IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
...
inria-00483911v1  Conference papers
Benoit GaudinHervé Marchand. Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems
44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.2763-2768
...
inria-00483925v1  Conference papers
Tristan Le GallBertrand JeannetHervé Marchand. Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation
44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.31-35
...
inria-00483946v1  Conference papers
Benoit GaudinHervé Marchand. Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach
13th Mediterranean Conference on Control and Automation, Dec 2005, Limassol, Cyprus. pp.889-895
hal-01647787v1  Journal articles
Srinivas PinisettyViorel PreoteasaStavros TripakisThierry JéronYliès Falcone et al.  Predictive runtime enforcement
Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩
...
hal-01244369v1  Conference papers
Srinivas PinisettyViorel PreoteasaStavros TripakisThierry JéronYliès Falcone et al.  Predictive Runtime Enforcement *
SAC 2016 31st ACM Symposium on Applied Computing, ACM, Apr 2016, Pisa, Italy. pp.1628-1633, ⟨10.1145/2851613.2851827⟩
...
inria-00526273v1  Conference papers
Hervé MarchandOlivier BoivineauStéphane Lafortune. Optimal control of discrete event systems under partial observation
40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. pp.2235-2240, ⟨10.1109/.2001.980609⟩
...
inria-00483919v1  Conference papers
Jan KomendaJan van SchuppenBenoit GaudinHervé Marchand. Modular supervisory control with general indecomposable specification languages
44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Dec 2005, Seville, Spain. pp.3474-3479
...
inria-00424857v1  Conference papers
Jan KomendaHervé MarchandSophie Pinchinat. A constructive and modular approach to decentralized supervisory Control problems
3rd IFAC Workshop on Discrete-Event System Design, Sep 2006, Rydzyna, Poland
...
inria-00399229v1  Conference papers
Franck CassezJérémy DubreilHervé Marchand. Dynamic Observers for the Synthesis of Opaque Systems
7th 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⟩