Blaise Genest

2008
19	EE	Philippe Darondeau, Blaise Genest, Loïc Hélouët: Products of Message Sequence Charts. FoSSaCS 2008: 458-473
2007
18	EE	Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393
17	EE	Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang: Causal Message Sequence Charts. CONCUR 2007: 166-180
16	EE	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On Commutativity Based Edge Lean Search. ICALP 2007: 158-170
15	EE	Edith Elkind, Blaise Genest, Doron Peled: Detecting Races in Ensembles of Message Sequence Charts. TACAS 2007: 420-434
2006
14	EE	Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu: Grey-Box Checking. FORTE 2006: 420-435
13	EE	Blaise Genest, Anca Muscholl: Constructing Exponential-Size Deterministic Zielonka Automata. ICALP (2) 2006: 565-576
12	EE	Blaise Genest, Dietrich Kuske, Anca Muscholl: A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Inf. Comput. 204(6): 920-956 (2006)
11	EE	Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun: Infinite-state high-level MSCs: Model-checking and realizability. J. Comput. Syst. Sci. 72(4): 617-647 (2006)
2005
10	EE	Blaise Genest, Anca Muscholl: Message Sequence Charts: A Survey. ACSD 2005: 2-4
9	EE	Blaise Genest: On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. CONCUR 2005: 443-457
8	EE	Blaise Genest: Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. TACAS 2005: 429-444
7	EE	Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled: Snapshot Verification. TACAS 2005: 510-525
2004
6	EE	Blaise Genest, Anca Muscholl, Dietrich Kuske: A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. Developments in Language Theory 2004: 30-48
5	EE	Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled: Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004: 195-210
2003
4	EE	Blaise Genest, Loïc Hélouët, Anca Muscholl: High-Level Message Sequence Charts and Projections. CONCUR 2003: 308-322
3	EE	Blaise Genest, Anca Muscholl, Doron Peled: Message Sequence Charts. Lectures on Concurrency and Petri Nets 2003: 537-558
2002
2	EE	Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun: Infinite-State High-Level MSCs: Model-Checking and Realizability. ICALP 2002: 657-668
1	EE	Blaise Genest, Anca Muscholl: Pattern Matching and Membership for Hierarchical Message Sequence Charts. LATIN 2002: 326-340

Coauthor Index

1	Dragan Bosnacki	[16]
2	Philippe Darondeau	[19]
3	Edith Elkind	[14] [15] [16] [18]
4	Thomas Gazagnaire	[17]
5	Loïc Hélouët	[4] [17] [19]
6	Dietrich Kuske	[6] [7] [12]
7	Marius Minea	[5]
8	Anca Muscholl	[1] [2] [3] [4] [5] [6] [7] [10] [11] [12] [13]
9	Doron Peled	[3] [5] [7] [14] [15] [16] [18]
10	Hongyang Qu	[14]
11	Helmut Seidl	[2] [11]
12	Paola Spoletini	[18]
13	P. S. Thiagarajan	[17]
14	Shaofa Yang	[17]
15	Marc Zeitoun	[2] [11]