BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Croatia
1 × France
1 × Hungary
1 × Italy
1 × Latvia
1 × New Zealand
1 × Poland
1 × Portugal
2 × Spain
2 × USA
2 × United Kingdom
Collaborated with:
A.Muscholl D.Peled H.Gimbert E.Elkind D.Kuske I.Walukiewicz D.Biswas S.Schewe N.Bertrand P.Darondeau L.Hélouët M.Agrawal S.Akshay P.S.Thiagarajan D.Bošnački M.Minea H.Seidl M.Zeitoun
Talks about:
automata (3) sequenc (3) messag (3) chart (3) mscs (3) determinist (2) construct (2) asynchron (2) zielonka (2) observ (2)

Person: Blaise Genest

DBLP DBLP: Genest:Blaise

Contributed to:

FoSSaCS 20152015
ICALP (2) 20132013
LICS 20122012
ICALP (2) 20102010
LICS 20092009
FoSSaCS 20082008
SEKE 20082008
ICALP 20072007
TACAS 20072007
ICALP (2) 20062006
TACAS 20052005
DLT 20042004
FoSSaCS 20042004
ICALP 20022002

Wrote 15 papers:

FoSSaCS-2015-GenestPS #memory management
Knowledge = Observation + Memory + Computation (BG, DP, SS), pp. 215–229.
ICALP-v2-2013-GenestGMW #architecture #game studies
Asynchronous Games over Tree Architectures (BG, HG, AM, IW), pp. 275–286.
LICS-2012-AgrawalAGT #approximate #markov #verification
Approximate Verification of the Symbolic Dynamics of Markov Chains (MA, SA, BG, PST), pp. 55–64.
ICALP-v2-2010-GenestGMW #automaton
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata (BG, HG, AM, IW), pp. 52–63.
LICS-2009-BertrandGG #decidability #game studies #probability
Qualitative Determinacy and Decidability of Stochastic Games with Signals (NB, BG, HG), pp. 319–328.
FoSSaCS-2008-DarondeauGH #sequence chart
Products of Message Sequence Charts (PD, BG, LH), pp. 458–473.
SEKE-2008-BiswasG #transaction
Minimal Observability for Transactional Hierarchical Services (DB, BG), pp. 531–536.
ICALP-2007-BosnackiEGP #agile #commutative #on the
On Commutativity Based Edge Lean Search (DB, EE, BG, DP), pp. 158–170.
TACAS-2007-ElkindGP #detection #sequence chart
Detecting Races in Ensembles of Message Sequence Charts (EE, BG, DP), pp. 420–434.
ICALP-v2-2006-GenestM #automaton
Constructing Exponential-Size Deterministic Zielonka Automata (BG, AM), pp. 565–576.
TACAS-2005-Genest #composition #sequence chart
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.
TACAS-2005-GenestKMP #verification
Snapshot Verification (BG, DK, AM, DP), pp. 510–525.
DLT-2004-GenestMK #algorithm #automaton #communication #effectiveness #theorem
A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms (BG, AM, DK), pp. 30–48.
FoSSaCS-2004-GenestMMP #partial order #specification #using #verification
Specifying and Verifying Partial Order Properties Using Template MSCs (BG, MM, AM, DP), pp. 195–210.
ICALP-2002-GenestMSZ #infinity #model checking
Infinite-State High-Level MSCs: Model-Checking and Realizability (BG, AM, HS, MZ), pp. 657–668.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.