Blaise Genest

	2012
38		Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz: Asynchronous Games over Tree Architectures CoRR abs/1204.0077: (2012)
	2011
37		Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan: A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways. CMSB 2011: 35-44
36		Nathalie Bertrand, Blaise Genest: Minimal Disclosure in Partially Observable Markov Decision Processes. FSTTCS 2011: 411-422
	2010
35		Blaise Genest, Anca Muscholl, Zhilin Wu: Verifying Recursive Active Documents with Positive Data Tree Rewriting. FSTTCS 2010: 469-480
34		Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz: Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. ICALP (2) 2010: 52-63
33		Blaise Genest, Anca Muscholl, Zhilin Wu: Verifying Recursive Active Documents with Positive Data Tree Rewriting CoRR abs/1003.1010: (2010)
32		Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang: Quasi-static scheduling of communicating tasks. Inf. Comput. 208(10): 1154-1168 (2010)
31		Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Int. J. Found. Comput. Sci. 21(2): 211-233 (2010)
	2009
30		Nathalie Bertrand, Blaise Genest, Hugo Gimbert: Qualitative Determinacy and Decidability of Stochastic Games with Signals. LICS 2009: 319-328
29		Debmalya Biswas, Ashwin Jiwane, Blaise Genest: Atomicity for XML Databases. XSym 2009: 180-187
28		Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56(2): 187-210 (2009)
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	S. Akshay	[37]
2	Nathalie Bertrand	[21] [30] [36]
3	Debmalya Biswas	[22] [23] [29]
4	Dragan Bosnacki	[17] [28]
5	Philippe Darondeau	[24] [25] [32]
6	Edith Elkind	[14] [16] [17] [19] [28] [31]
7	Thomas Gazagnaire	[18] [23] [27]
8	Hugo Gimbert	[21] [30] [34] [38]
9	Loïc Hélouët	[4] [18] [24] [27]
10	Ashwin Jiwane	[29]
11	Dietrich Kuske	[6] [7] [12] [15]
12	Marius Minea	[5]
13	Anca Muscholl	[1] [2] [3] [4] [5] [6] [7] [10] [11] [12] [13] [15] [20] [26] [33] [34] [35] [38]
14	Sucheendra K. Palaniappan	[37]
15	Doron Peled	[3] [5] [7] [14] [16] [17] [19] [28] [31]
16	Hongyang Qu	[14]
17	Helmut Seidl	[2] [11]
18	Olivier Serre	[26]
19	Paola Spoletini	[19] [31]
20	P. S. Thiagarajan	[18] [25] [27] [32] [37]
21	Igor Walukiewicz	[34] [38]
22	Zhilin Wu	[33] [35]
23	Shaofa Yang	[18] [25] [27] [32]
24	Marc Zeitoun	[2] [11] [26]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page