| 2016 | SAC | Predictive runtime enforcement. | Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jron, Ylis Falcone, Herv Marchand |
| 2015 | ICDCIT | Discrete Control-Based Design of Adaptive and Autonomic Computing Systems. | Xin An, Gwenal Delaval, Jean-Philippe Diguet, Abdoulaye Gamati, Soguy Mak Kar Gueye, Herv Marchand, Nol De Palma, ric Rutten |
| 2015 | ICTAC | Enforcement of (Timed) Properties with Uncontrollable Events. | Matthieu Renard, Ylis Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jron, Herv Marchand |
| 2015 | RV | TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand |
| 2014 | SAC | Runtime enforcement of regular timed properties. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand |
| 2012 | RV | Runtime Enforcement of Timed Properties. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand, Antoine Rollet, Omer Landry Nguena-Timo |
| 2011 | FORTE | Global State Estimates for Distributed Systems. | Gabriel Kalyon, Tristan Le Gall, Herv Marchand, Thierry Massart |
| 2011 | ICST | Abstracting Time and Data for Conformance Testing of Real-Time Systems. | Wilkerson de L. Andrade, Patrcia D. L. Machado, Thierry Jron, Herv Marchand |
| 2011 | MEMOCODE | Polychronous controller synthesis from MARTE CCSL timing specifications. | Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Herv Marchand, Paul Le Guernic |
| 2009 | ATVA | Dynamic Observers for the Synthesis of Opaque Systems. | Franck Cassez, Jrmy Dubreil, Herv Marchand |
| 2005 | FM | Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. | Vlad Rusu, Herv Marchand, Thierry Jron |
| 2002 | ECRTS | Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. | Herv Marchand, ric Rutten |
| 2002 | EMSOFT | A Protocol for Loosely Time-Triggered Architectures. | Albert Benveniste, Paul Caspi, Paul Le Guernic, Herv Marchand, Jean-Pierre Talpin, Stavros Tripakis |
| 2002 | SMC | A case study in applying discrete control synthesis to excavator operation. | Herv Marchand, ric Rutten |
| 1999 | FM | Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. | Herv Marchand, Mazen Samaan |
| 1998 | SMC | On the synthesis of optimal schedulers in discrete event control problems with multiple goals. | Herv Marchand, Olivier Boivineau, Stphane Lafortune |
| 1998 | SMC | A design environment for discrete-event controllers based on the SIGNAL language. | Herv Marchand, Patricia Bournai, M. Leborgne, Paul Le Guernic |