Hervé Marchand

2008
15	EE	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
14	EE	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)
13	EE	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
12	EE	Thierry Jéron, Hervé Marchand, Vlad Rusu: Symbolic Determinisation of Extended Automata. IFIP TCS 2006: 197-212
11	EE	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)
2005
10	EE	Vlad Rusu, Hervé Marchand, Thierry Jéron: Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. FM 2005: 189-204
2004
9	EE	Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176
2003
8	EE	Ahmed Khoumsi, Thierry Jéron, Hervé Marchand: Test Cases Generation for Nondeterministic Real-Time Systems. FATES 2003: 131-146
2002
7	EE	Hervé Marchand, Éric Rutten: Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. ECRTS 2002: 241-248
6	EE	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
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
4	EE	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
3	EE	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
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

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

Colors in the list of coauthors