dblp.uni-trier.dewww.uni-trier.de

Hervé Marchand

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
15EEJan 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
14EEBenoit 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)
13EECamille 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
12EEThierry Jéron, Hervé Marchand, Vlad Rusu: Symbolic Determinisation of Extended Automata. IFIP TCS 2006: 197-212
11EETristan Le Gall, Bertrand Jeannet, Hervé Marchand: Contrôle de systèmes symboliques, discrets ou hybrides. Technique et Science Informatiques 25(3): 289-315 (2006)
2005
10EEVlad Rusu, Hervé Marchand, Thierry Jéron: Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. FM 2005: 189-204
2004
9EEVlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176
2003
8EEAhmed Khoumsi, Thierry Jéron, Hervé Marchand: Test Cases Generation for Nondeterministic Real-Time Systems. FATES 2003: 131-146
2002
7EEHervé Marchand, Éric Rutten: Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. ECRTS 2002: 241-248
6EEAlbert 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
5 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
4EEHervé 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
3EEHervé Marchand, Mazen Samaan: Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. World Congress on Formal Methods 1999: 1605-1624
1996
2 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
1 Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten: SIGNAL. Formal Development of Reactive Systems 1995: 113-129

Coauthor Index

1Pascalin Amagbégnon [1]
2Albert Benveniste [6]
3Michel Le Borgne [2] [5]
4Paul Caspi [6]
5Camille Constant [13]
6Tristan Le Gall [11]
7Benoit Gaudin [14] [15]
8Paul Le Guernic [1] [6]
9Bertrand Jeannet [9] [11]
10Thierry Jéron [8] [9] [10] [12] [13]
11Ahmed Khoumsi [8]
12Jan Komenda [15]
13Vlad Rusu [9] [10] [12] [13]
14Éric Rutten [1] [2] [5] [7]
15Mazen Samaan [2] [3] [4] [5]
16Jan H. van Schuppen [15]
17Jean-Pierre Talpin [6]
18Stavros Tripakis [6]
19Valéry Tschaen [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)