Hervé Marchand

	2012
29		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. Discrete Event Dynamic Systems 22(2): 121-161 (2012)
28		Franck Cassez, Jérémy Dubreil, Hervé Marchand: Synthesis of opaque systems with static and dynamic masks. Formal Methods in System Design 40(1): 88-115 (2012)
	2011
27		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Synthesis of communicating controllers for distributed systems. CDC-ECE 2011: 1803-1810
26		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Global State Estimates for Distributed Systems. FMOODS/FORTE 2011: 198-212
25		Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic: Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE 2011: 21-30
24		Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart: Decentralized Control of Infinite Systems. Discrete Event Dynamic Systems 21(3): 359-393 (2011)
	2010
23		Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier: More Testable Properties. ICTSS 2010: 30-46
22		Gwenaël Delaval, Hervé Marchand, Éric Rutten: Contracts for modular discrete controller synthesis. LCTES 2010: 57-66
	2009
21		Franck Cassez, Jérémy Dubreil, Hervé Marchand: Dynamic Observers for the Synthesis of Opaque Systems. ATVA 2009: 352-367
20		Hervé Marchand, Jérémy Dubreil, Thierry Jéron: Automatic Testing of Access Control for Security Properties. TestCom/FATES 2009: 113-128
19		Éric Rutten, Hervé Marchand: Automatic generation of safe handlers for multi-task systems. J. Embedded Computing 3(4): 255-276 (2009)
	2008
18		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
17		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)
16		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
15		Thierry Jéron, Hervé Marchand, Vlad Rusu: Symbolic Determinisation of Extended Automata. IFIP TCS 2006: 197-212
14		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
13		Vlad Rusu, Hervé Marchand, Thierry Jéron: Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. FM 2005: 189-204
	2004
12		Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176
	2003
11		Ahmed Khoumsi, Thierry Jéron, Hervé Marchand: Test Cases Generation for Nondeterministic Real-Time Systems. FATES 2003: 131-146
	2002
10		Hervé Marchand, Éric Rutten: Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis. ECRTS 2002: 241-248
9		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
8		Hervé Marchand, Olivier Boivineau, Stéphane Lafortune: On optimal control of a class of partially observed discrete event systems. Automatica 38(11): 1935-1943 (2002)
	2001
7		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
6		Hervé Marchand, Patricia Bournai, Michel Le Borgne, Paul Le Guernic: Synthesis of Discrete-Event Controllers Based on the Signal Environment. Discrete Event Dynamic Systems 10(4): 325-346 (2000)
5		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)
4		Hervé Marchand, Olivier Boivineau, Stéphane Lafortune: On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. SIAM J. Control and Optimization 39(2): 512-532 (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	[9]
3	Loïc Besnard	[25]
4	Olivier Boivineau	[4] [8]
5	Michel Le Borgne	[2] [6] [7]
6	Patricia Bournai	[6]
7	Paul Caspi	[9]
8	Franck Cassez	[21] [28]
9	Camille Constant	[16]
10	Gwenaël Delaval	[22]
11	Jérémy Dubreil	[20] [21] [28]
12	Yliès Falcone	[23]
13	Jean-Claude Fernandez	[23]
14	Tristan Le Gall	[14] [24] [26] [27] [29]
15	Benoit Gaudin	[17] [18]
16	Thierry Gautier	[25]
17	Paul Le Guernic	[1] [6] [9] [25]
18	Bertrand Jeannet	[12] [14]
19	Thierry Jéron	[11] [12] [13] [15] [16] [20] [23]
20	Gabriel Kalyon	[24] [26] [27] [29]
21	Ahmed Khoumsi	[11]
22	Jan Komenda	[18]
23	Stéphane Lafortune	[4] [8]
24	Thierry Massart	[24] [26] [27] [29]
25	Laurent Mounier	[23]
26	Vlad Rusu	[12] [13] [15] [16]
27	Éric Rutten	[1] [2] [7] [10] [19] [22]
28	Mazen Samaan	[2] [3] [5] [7]
29	Jan H. van Schuppen	[18]
30	Jean-Pierre Talpin	[9] [25]
31	Stavros Tripakis	[9]
32	Valéry Tschaen	[12]
33	Huafeng Yu	[25]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page