Franois Laroussinie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
13
Active years
1994–2025
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | Arbitrary-Arity Tree Automata for QCTL. | Franois Laroussinie, Nicolas Markey |
| 2024 | CSL | QLTL Model-Checking. | Franois Laroussinie, Loriane Leclercq, Arnaud Sangnier |
| 2019 | TIME | From Quantified CTL to QBF. | Akash Hossain, Franois Laroussinie |
| 2016 | CONCUR | On the Expressiveness of QCTL. | Amlie David, Franois Laroussinie, Nicolas Markey |
| 2012 | CONCUR | Quantified CTL: Expressiveness and Model Checking - (Extended Abstract). | Arnaud Da Costa Lopes, Franois Laroussinie, Nicolas Markey |
| 2010 | FOSSACS | Counting CTL. | Franois Laroussinie, Antoine Meyer, Eudes Petonnet |
| 2010 | TIME | Counting LTL. | Franois Laroussinie, Antoine Meyer, Eudes Petonnet |
| 2009 | LFCS | ATL with Strategy Contexts and Bounded Memory. | Thomas Brihaye, Arnaud Da Costa Lopes, Franois Laroussinie, Nicolas Markey |
| 2007 | CONCUR | Timed Concurrent Game Structures. | Thomas Brihaye, Franois Laroussinie, Nicolas Markey, Ghassan Oreiby |
| 2007 | FOSSACS | On the Expressiveness and Complexity of ATL. | Franois Laroussinie, Nicolas Markey, Ghassan Oreiby |
| 2007 | TACAS | Model Checking Probabilistic Timed Automata with One or Two Clocks. | Marcin Jurdzinski, Franois Laroussinie, Jeremy Sproston |
| 2006 | ATVA | Timed Temporal Logics for Abstracting Transient States. | Houda Bel Mokadem, Batrice Brard, Patricia Bouyer, Franois Laroussinie |
| 2005 | CONCUR | Modal Logics for Timed Control. | Patricia Bouyer, Franck Cassez, Franois Laroussinie |
| 2005 | CONCUR | A New Modality for Almost Everywhere Properties in Timed Automata. | Houda Bel Mokadem, Batrice Brard, Patricia Bouyer, Franois Laroussinie |
| 2005 | FOSSACS | Model Checking Durational Probabilistic Systems. | Franois Laroussinie, Jeremy Sproston |
| 2004 | CONCUR | Model Checking Timed Automata with One or Two Clocks. | Franois Laroussinie, Nicolas Markey, Philippe Schnoebelen |
| 2002 | FOSSACS | On Model Checking Durational Kripke Structures. | Franois Laroussinie, Nicolas Markey, Philippe Schnoebelen |
| 2002 | LICS | Temporal Logic with Forgettable Past. | Franois Laroussinie, Nicolas Markey, Philippe Schnoebelen |
| 2002 | STACS | A Parametric Analysis of the State Explosion Problem in Model Checking. | Stphane Demri, Franois Laroussinie, Philippe Schnoebelen |
| 2001 | FOSSACS | Model Checking CTL | Franois Laroussinie, Nicolas Markey, Philippe Schnoebelen |
| 2000 | CAV | Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. | Franck Cassez, Franois Laroussinie |
| 2000 | FOSSACS | The State Explosion Problem from Trace to Bisimulation Equivalence. | Franois Laroussinie, Philippe Schnoebelen |
| 2000 | LATIN | On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics. | Franois Laroussinie, Philippe Schnoebelen, Mathieu Turuani |
| 1999 | MFCS | Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. | Luca Aceto, Franois Laroussinie |
| 1998 | FORTE | CMC: A Tool for Compositional Model-Checking of Real-Time Systems. | Franois Laroussinie, Kim Guldstrand Larsen |
| 1995 | CONCUR | Compositional Model Checking of Real Time Systems. | Franois Laroussinie, Kim Guldstrand Larsen |
| 1995 | MFCS | From Timed Automata to Logic - and Back. | Franois Laroussinie, Kim Guldstrand Larsen, Carsten Weise |
| 1994 | STACS | A Hierarchy of Temporal Logics with Past (Extended Abstract). | Franois Laroussinie, Philippe Schnoebelen |