Search the dblp DataBase

Publications of Author

1. Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan
   Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. [Citation Graph (0, 0)][DBLP]
   AMAST, 1996, pp:271-285 [Conf]
   
2. Hervé Marchand, Éric Rutten
   Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. [Citation Graph (0, 0)][DBLP]
   ECRTS, 2002, pp:241-248 [Conf]
   
3. Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
   A Protocol for Loosely Time-Triggered Architectures. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2002, pp:252-265 [Conf]
   
4. Ahmed Khoumsi, Thierry Jéron, Hervé Marchand
   Test Cases Generation for Nondeterministic Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   FATES, 2003, pp:131-146 [Conf]
   
5. Hervé Marchand, Mazen Samaan
   Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:1605-1624 [Conf]
   
6. Vlad Rusu, Hervé Marchand, Thierry Jéron
   Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. [Citation Graph (0, 0)][DBLP]
   FM, 2005, pp:189-204 [Conf]
   
7. Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten
   SIGNAL. [Citation Graph (0, 0)][DBLP]
   Formal Development of Reactive Systems, 1995, pp:113-129 [Conf]
   
8. Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet
   From Safety Verification to Safety Testing. [Citation Graph (0, 0)][DBLP]
   TestCom, 2004, pp:160-176 [Conf]
   
9. Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan
   Formal verification of programs specified with signal: application to a power transformer station controller. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2001, v:41, n:1, pp:85-104 [Journal]
   
10. Hervé Marchand, Mazen Samaan
    Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:8, pp:729-741 [Journal]
    
11. Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu
    Integrating formal verification and conformance testing for reactive systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:8, pp:558-574 [Journal]
    
12. 
    Dynamic Observers for the Synthesis of Opaque Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    Symbolic Determinisation of Extended Automata. [Citation Graph (, )][DBLP]
    
    
14. 
    Contracts for modular discrete controller synthesis. [Citation Graph (, )][DBLP]
    
    
15. 
    Automatic Testing of Access Control for Security Properties. [Citation Graph (, )][DBLP]