- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j17 |      | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. Discrete Event Dynamic Systems 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 in System Design 40(1): 88-115 (2012) |
| j15 | | Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier: More testable properties. STTT 14(4): 407-437 (2012) |
| c18 | | 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 |
| 2011 | ||
| j14 | | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Decentralized Control of Infinite Systems. Discrete Event Dynamic Systems 21(3): 359-393 (2011) |
| c17 | | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Synthesis of communicating controllers for distributed systems. CDC-ECE 2011: 1803-1810 |
| c16 | | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Global State Estimates for Distributed Systems. FMOODS/FORTE 2011: 198-212 |
| c15 | | 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 |
| c14 | | 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. Automat. Contr. 55(5): 1089-1100 (2010) |
| c13 | | Gwenaël Delaval, Hervé Marchand, Éric Rutten: Contracts for modular discrete controller synthesis. LCTES 2010: 57-66 |
| c12 | | Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier: More Testable Properties. ICTSS 2010: 30-46 |
| 2009 | ||
| j12 | | Éric Rutten, Hervé Marchand: Automatic generation of safe handlers for multi-task systems. J. Embedded Computing 3(4): 255-276 (2009) |
| c11 | | Franck Cassez, Jérémy Dubreil, Hervé Marchand: Dynamic Observers for the Synthesis of Opaque Systems. ATVA 2009: 352-367 |
| c10 | | 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. Automatica 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. Discrete Event Dynamic Systems 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. Technique et Science Informatiques 25(3): 289-315 (2006) |
| c9 | | Thierry Jéron, Hervé Marchand, Vlad Rusu: Symbolic Determinisation of Extended Automata. IFIP TCS 2006: 197-212 |
| 2005 | ||
| c8 | | 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) |
| c7 | | Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176 |
| 2003 | ||
| c6 | | 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. Automatica 38(11): 1935-1943 (2002) |
| c5 | | Hervé Marchand, Éric Rutten: Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. ECRTS 2002: 241-248 |
| c4 | | 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 |
| 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) |
| 2000 | ||
| j4 | | Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic: Synthesis of Discrete-Event Controllers Based on the Signal Environment. Discrete Event Dynamic Systems 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 and Optimization 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) |
| 1999 | ||
| c3 | | 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. I. J. Robotic Res. 17(4): 418-432 (1998) |
| 1996 | ||
| c2 | | 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 | ||
| c1 |  | Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten: SIGNAL. Formal Development of Reactive Systems 1995: 113-129 |
Colors in the list of coauthors
Last update Sat May 25 15:01:52 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page