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 × Cyprus
1 × Denmark
1 × France
1 × Germany
1 × Italy
1 × USA
1 × United Kingdom
2 × Portugal
Collaborated with:
P.Schnoebelen N.Markey J.Sproston F.Cassez A.Meyer E.Petonnet G.Oreiby M.Jurdzinski K.J.Kristoffersen K.G.Larsen P.Pettersson W.Y.0001
Talks about:
model (5) check (5) probabilist (2) system (2) durat (2) time (2) ctl (2) constraint (1) structur (1) quotient (1)

Person: François Laroussinie

DBLP DBLP: Laroussinie:Fran=ccedil=ois

Contributed to:

FOSSACS 20102010
FoSSaCS 20072007
TACAS 20072007
FoSSaCS 20052005
FoSSaCS 20022002
LICS 20022002
FoSSaCS 20012001
CAV 20002000
FoSSaCS 20002000
TAPSOFT CAAP/FASE 19971997

Wrote 10 papers:

FoSSaCS-2010-LaroussinieMP
Counting CTL (FL, AM, EP), pp. 206–220.
FoSSaCS-2007-LaroussinieMO #atl #complexity #on the
On the Expressiveness and Complexity of ATL (FL, NM, GO), pp. 243–257.
TACAS-2007-JurdzinskiLS #automaton #model checking #probability
Model Checking Probabilistic Timed Automata with One or Two Clocks (MJ, FL, JS), pp. 170–184.
FoSSaCS-2005-LaroussinieS #model checking #probability
Model Checking Durational Probabilistic Systems (FL, JS), pp. 140–154.
FoSSaCS-2002-LaroussinieMS #model checking #on the
On Model Checking Durational Kripke Structures (FL, NM, PS), pp. 264–279.
LICS-2002-LaroussinieMS #logic
Temporal Logic with Forgettable Past (FL, NM, PS), pp. 383–392.
FoSSaCS-2001-LaroussinieMS #model checking
Model Checking CTL+ and FCTL is Hard (FL, NM, PS), pp. 318–331.
CAV-2000-CassezL #constraints #hybrid #model checking
Model-Checking for Hybrid Systems by Quotienting and Constraints Solving (FC, FL), pp. 373–388.
FoSSaCS-2000-LaroussinieS #bisimulation #equivalence #explosion #problem
The State Explosion Problem from Trace to Bisimulation Equivalence (FL, PS), pp. 192–207.
TAPSOFT-1997-KristoffersenLLPY #composition #protocol #proving #realtime
A Compositional Proof of a Real-Time Mutual Exclusion Protocol (KJK, FL, KGL, PP, WY0), pp. 565–579.

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.