Hervé Marchand

	2009
17		Franck Cassez, Jérémy Dubreil, Hervé Marchand: Dynamic Observers for the Synthesis of Opaque Systems. ATVA 2009: 352-367
16		Hervé Marchand, Jérémy Dubreil, Thierry Jéron: Automatic Testing of Access Control for Security Properties. TestCom/FATES 2009: 113-128
	2008
15		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		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		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		Thierry Jéron, Hervé Marchand, Vlad Rusu: Symbolic Determinisation of Extended Automata. IFIP TCS 2006: 197-212
11		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		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		Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176
	2003
8		Ahmed Khoumsi, Thierry Jéron, Hervé Marchand: Test Cases Generation for Nondeterministic Real-Time Systems. FATES 2003: 131-146
	2002
7		Hervé Marchand, Éric Rutten: Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. ECRTS 2002: 241-248
6		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		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		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	Franck Cassez	[17]
6	Camille Constant	[13]
7	Jérémy Dubreil	[16] [17]
8	Tristan Le Gall	[11]
9	Benoit Gaudin	[14] [15]
10	Paul Le Guernic	[1] [6]
11	Bertrand Jeannet	[9] [11]
12	Thierry Jéron	[8] [9] [10] [12] [13] [16]
13	Ahmed Khoumsi	[8]
14	Jan Komenda	[15]
15	Vlad Rusu	[9] [10] [12] [13]
16	Éric Rutten	[1] [2] [5] [7]
17	Mazen Samaan	[2] [3] [4] [5]
18	Jan H. van Schuppen	[15]
19	Jean-Pierre Talpin	[6]
20	Stavros Tripakis	[6]
21	Valéry Tschaen	[9]

Colors in the list of coauthors