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: Laroussinie:Fran=ccedil=ois
Contributed to:
20102007
200720052002
20022001
20002000
1997Wrote 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.