MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Blaise Genest" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

ATOM

Pattern Matching and Membership for Hierarchical Message Sequence Charts
by Blaise Genest, Anca Muscholl — 2002 — In Proc. of LATIN 2002, LNCS 2286
…Pattern Matching and Membership for Hierarchical Message Sequence Charts Blaise Genest and Anca…
Cited by 10 (4 self) – Add To MetaCart

Constructing Exponential-size Deterministic Zielonka Automata
by Blaise Genest, Anca Muscholl — in "ICALP", vol. LNCS 4052
…Constructing Exponential-size Deterministic Zielonka Automata Blaise Genest 1,2 and Anca Muscholl…
Cited by 3 (0 self) – Add To MetaCart

Detecting Races in Ensembles of Message Sequence Charts
by Edith Elkind, Blaise Genest, Doron Peled — 2007 — In TACAS’07, LNCS 4424
…Detecting Races in Ensembles of Message Sequence Charts Edith Elkind 1 , Blaise Genest 2…
Cited by 1 (1 self) – Add To MetaCart

Specifying and verifying partial order properties using template MSCs
by Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled — 2004 — In FOSSACS’04, LNCS 2987
…Specifying and Verifying Partial Order Properties Using Template MSCs ⋆ Blaise Genest 1 , Marius…
Cited by 6 (2 self) – Add To MetaCart

Infinite-state high-level MSCs: Model-checking and realizability
by Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun — 2002 — In ICALP 2002, volume 2380 of LNCS
…Infinite-State High-Level MSCs: Model-Checking and Realizability (Extended abstract) Blaise Genest…
Cited by 16 (5 self) – Add To MetaCart

Qu: Grey-box checking
by Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu — 2006 — In Proceedings of IFIP FORTE
…Grey-Box Checking Edith Elkind 1 , Blaise Genest 1&2 , Doron Peled 1 , Hongyang Qu 1&3 . 1…
Cited by 2 (0 self) – Add To MetaCart

unknown title
by Infinite-state High-level, Mscs Model-checking, Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
… Genest1?, Anca Muscholl1?, Helmut Seidl2, and Marc Zeitoun1? 1 LIAFA, Universit'e Paris VII 2, pl…
Add To MetaCart

Message sequence charts
by Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang — 2003 — In Lectures on Concurrency and Petri Nets, LNCS 3098
…Causal Message Sequence Charts ⋆ Thomas Gazagnaire 1 , Blaise Genest 2 ,Loïc Hélouët 3 , P…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 8.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB