Blaise Genest

	2009
28		Debmalya Biswas, Ashwin Jiwane, Blaise Genest: Atomicity for XML Databases. XSym 2009: 180-187
27		Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang: Causal Message Sequence Charts. Theor. Comput. Sci. 410(41): 4094-4110 (2009)
	2008
26		Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun: Tree Pattern Rewriting Systems. ATVA 2008: 332-346
25		Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang: Quasi-Static Scheduling of Communicating Tasks. CONCUR 2008: 310-324
24		Philippe Darondeau, Blaise Genest, Loïc Hélouët: Products of Message Sequence Charts. FoSSaCS 2008: 458-473
23		Debmalya Biswas, Thomas Gazagnaire, Blaise Genest: Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination. HASE 2008: 97-106
22		Debmalya Biswas, Blaise Genest: Minimal Observability for Transactional Hierarchical Services. SEKE 2008: 531-536
21		Nathalie Bertrand, Blaise Genest, Hugo Gimbert: Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides CoRR abs/0811.3975: (2008)
20		Blaise Genest, Anca Muscholl: Pattern Matching and Membership for Hierarchical Message Sequence Charts. Theory Comput. Syst. 42(4): 536-567 (2008)
	2007
19		Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393
18		Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang: Causal Message Sequence Charts. CONCUR 2007: 166-180
17		Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On Commutativity Based Edge Lean Search. ICALP 2007: 158-170
16		Edith Elkind, Blaise Genest, Doron Peled: Detecting Races in Ensembles of Message Sequence Charts. TACAS 2007: 420-434
15		Blaise Genest, Dietrich Kuske, Anca Muscholl: On Communicating Automata with Bounded Channels. Fundam. Inform. 80(1-3): 147-167 (2007)
	2006
14		Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu: Grey-Box Checking. FORTE 2006: 420-435
13		Blaise Genest, Anca Muscholl: Constructing Exponential-Size Deterministic Zielonka Automata. ICALP (2) 2006: 565-576
12		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		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		Blaise Genest, Anca Muscholl: Message Sequence Charts: A Survey. ACSD 2005: 2-4
9		Blaise Genest: On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. CONCUR 2005: 443-457
8		Blaise Genest: Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. TACAS 2005: 429-444
7		Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled: Snapshot Verification. TACAS 2005: 510-525
	2004
6		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		Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled: Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004: 195-210
	2003
4		Blaise Genest, Loïc Hélouët, Anca Muscholl: High-Level Message Sequence Charts and Projections. CONCUR 2003: 308-322
3		Blaise Genest, Anca Muscholl, Doron Peled: Message Sequence Charts. Lectures on Concurrency and Petri Nets 2003: 537-558
	2002
2		Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun: Infinite-State High-Level MSCs: Model-Checking and Realizability. ICALP 2002: 657-668
1		Blaise Genest, Anca Muscholl: Pattern Matching and Membership for Hierarchical Message Sequence Charts. LATIN 2002: 326-340

Coauthor Index

1	Nathalie Bertrand	[21]
2	Debmalya Biswas	[22] [23] [28]
3	Dragan Bosnacki	[17]
4	Philippe Darondeau	[24] [25]
5	Edith Elkind	[14] [16] [17] [19]
6	Thomas Gazagnaire	[18] [23] [27]
7	Hugo Gimbert	[21]
8	Loïc Hélouët	[4] [18] [24] [27]
9	Ashwin Jiwane	[28]
10	Dietrich Kuske	[6] [7] [12] [15]
11	Marius Minea	[5]
12	Anca Muscholl	[1] [2] [3] [4] [5] [6] [7] [10] [11] [12] [13] [15] [20] [26]
13	Doron Peled	[3] [5] [7] [14] [16] [17] [19]
14	Hongyang Qu	[14]
15	Helmut Seidl	[2] [11]
16	Olivier Serre	[26]
17	Paola Spoletini	[19]
18	P. S. Thiagarajan	[18] [25] [27]
19	Shaofa Yang	[18] [25] [27]
20	Marc Zeitoun	[2] [11] [26]

Colors in the list of coauthors