| 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). |