List of papers of Blaise Genest by year (This is NOT DBLP)

On going work   ranking  
PDF Blaise Genest, Anca Muscholl, Zhilin Wu. Verifying Recursive Active Documents with Positive Data Tree Rewriting.
PDF Debmalya Biswas, Blaise Genest. Hierarchical Algorithms for Preserving Privacy of Composite Services Compensation.
2010   ranking  
32 PDF Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz. Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. ICALP 2010 (28% acceptance rate), 52-63, LNCS 6199. A  0.95
31 PDF Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang. Quasi-Static Scheduling of Communicating Tasks (Special issue of CONCUR 2008). IC 208(10):1154–1168, Elsevier. A   Prem
30 PDF Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts (Special issue of ATVA 2007). IJFCS 21(2): 211-233, WorldSciNet. B   Rep
2009   ranking  
29 PDF Debmalya Biswas, Ashwin Jiwane , Blaise Genest. Atomicity for XML Databases. XSym 2009 , 160-167 (short paper), LNCS 5679. C
28 PDF Nathalie Bertrand, Blaise Genest, Hugo Gimbert. Qualitative Determinacy and Decidability of Stochastic Games with Signals. LICS 2009 (30% acceptance rate), 319-328, IEEE 978-0-7695-3746-7 . A   0.98
27 PDF Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled. On Commutativity Based Edge Lean Search. (Special issue of BISFAI 2007). Annals Math & AI 56(2): 187-210. Springer. A   Lead
26 PDF Thomas Gazagnaire, Blaise Genest, Loïc Hélouet, P.S. Thiagarajan, Shaofa Yang. Causal Message Sequence Charts. TCS 410(41): 4094-4110, Elsevier. A   Lead
2008   ranking  
25 PDF Debmalya Biswas, Thomas Gazagnaire, Blaise Genest. Small Logs for Transactional Services. HASE 2008 (22% acceptance rate), 97-106, IEEE 978-0-7695-3482-4. B
24 PDF Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun. Tree Pattern Rewrite Systems. ATVA 2008 (32% acceptance rate), 332-346, LNCS 5311. A
23 PDF Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang : Quasi-Static Scheduling of Communicating Tasks. CONCUR 2008, 310-324, LNCS 5201. A   0.96
22 PDF Debmalya Biswas, Blaise Genest. Minimal Observability for Transactional Hierarchical Services. SEKE 2008, 531-536, Knowledge Systems Institute Graduate School. ISBN 1-891706-22-5. B   0.88
21 PDF Philippe Darondeau, Blaise Genest, Loïc Hélouet. Products of Message Sequence Charts. FoSSaCS 2008, 459-474, LNCS 4962. B   0.88
20 PS Blaise Genest, Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. TOCS 42(4): 536-567, Springer. B
2007   ranking  
PDF Debmalya Biswas, Blaise Genest. Decomposing Minimal Observability for Transactional Services (Internal report).
19 PDF Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007, 378-393, LNCS 4762. A
18 PDF Thomas Gazagnaire, Blaise Genest, Loïc Hélouet, P.S. Thiagarajan, Shaofa Yang. Causal Message Sequence Charts. CONCUR 2007, 166-180, LNCS 4703. A   0.96
17 PS Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled. On Commutativity Based Edge Lean Search. ICALP 2007, 158-170, LNCS 4596. A   0.95
16 PDF Edith Elkind, Blaise Genest, Doron Peled. Detecting Races in Ensembles of Message Sequence Charts. TACAS 2007, 420-434, LNCS 4424. A   0.92
15 PDF Blaise Genest, Dietrich Kuske, Anca Muscholl. On Communicating Automata with Bounded Channels. FI 80(2): 147-167 , IOS Press. B
2006   ranking  
14 PS Loïc Hélouet, Thomas Gazagnaire, Blaise Genest. Diagnosis from Scenarios. WODES 2006, 307-312, IEEE 1-4244-0053-8. not CS
13 PS Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu. Grey-Box Checking. FORTE 2006, 420-435, LNCS 4229. A
12 PS Blaise Genest, Anca Muscholl. Constructing Exponential-size Deterministic Zielonka Automata. ICALP 2006, 565-576, LNCS 4052. A   0.95
11 PS Blaise Genest, Dietrich Kuske, Anca Muscholl. A Kleene Theorem and Model Checking for a Class of Communicating Automata. IC 204(6): 920-956. A   Prem
10 PS Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. JCSS 72(4): 617-647. A+ Prem
2005   ranking  
9 PS Blaise Genest. On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. CONCUR 2005, 443-457, LNCS 3653. A   0.96
8 PS Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled. Snapshot Verification. TACAS 2005, 510-525, LNCS 3440. A   0.92
7 PS Blaise Genest. Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. TACAS 2005, 429-444, LNCS 3440. A   0.92
2004   ranking  
Fr En Blaise Genest. The odyssey of MSC-graphs (PhD Thesis).
PS Blaise Genest. Compositionality Everywhere: The end of MSC-Graphs? (Internal report).
6 PS Blaise Genest, Dietrich Kuske, Anca Muscholl. A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. DLT 2004, 30-48, LNCS 3340. B
5 PS Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled. Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004, 195-210, LNCS 2987. B   0.88
2003   ranking  
PS Blaise Genest, Anca Muscholl. The Structure of Local-Choice in High-Level Message Sequence Charts (Internal report).
4 PS Blaise Genest, Loïc Hélouet, Anca Muscholl. High-Level Message Sequence Charts and Projections. CONCUR 2003, 308-322, LNCS 2761. A   0.96
3 PS Blaise Genest, Anca Muscholl, Doron Peled. Message Sequence Charts. Concurrency and Petri Nets 2003, 537-558, LNCS 3098.
2002   ranking  
2 PS Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. ICALP 2002, 657-668, LNCS 2380. A   0.95
1 PS Blaise Genest, Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. LATIN 2002, 326-340, LNCS 2286. B   0.53
2001
PS Blaise Genest. Extension of Process Rewrite Systems (Internal report at LSV, ENS Cachan).
Fr Blaise Genest. Verification des Graphes de diagrammes de Sequences Hierarchiques (Master Thesis).

Thanks to the DBLP Page