François Laroussinie

65 papers A* 2A 3B 20C 4Misc 1Journal 24Unranked 10
YearRankTypeTitle / Venue / Authors
2025 B conf
Arbitrary-Arity Tree Automata for QCTL.
CONCUR
François Laroussinie, Nicolas Markey
2024 J jnl
Arbitrary-arity Tree Automata and QCTL.
CoRR
François Laroussinie, Nicolas Markey
2024 B conf
QLTL Model-Checking.
CSL
François Laroussinie, Loriane Leclercq, Arnaud Sangnier
2021 J jnl
QCTL model-checking with QBF solvers.
Inf. Comput.
Akash Hossain, François Laroussinie
2020 J jnl
QCTL model-checking with QBF solvers.
CoRR
Akash Hossain, François Laroussinie
2019 C conf
From Quantified CTL to QBF.
TIME
Akash Hossain, François Laroussinie
2019 J jnl
From Quantified CTL to QBF.
CoRR
Akash Hossain, François Laroussinie
2019 — conf
Towards Synthesis of Distributed Algorithms with SMT Solvers.
NETYS
Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier
2017 — conf
Timed Temporal Logics.
Models, Algorithms, Logics and Tools
Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell
2016 B conf
On the Expressiveness of QCTL.
CONCUR
Amélie David, François Laroussinie, Nicolas Markey
2015 — conf
ATLsc with partial observation.
GandALF
François Laroussinie, Nicolas Markey, Arnaud Sangnier
2015 J jnl
Augmenting ATL with strategy contexts.
Inf. Comput.
François Laroussinie, Nicolas Markey
2014 C ed.
21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014
TIME
Amedeo Cesta, Carlo Combi, François Laroussinie
2014 J jnl
Quantified CTL: Expressiveness and Complexity.
Log. Methods Comput. Sci.
François Laroussinie, Nicolas Markey
2013 — conf
Satisfiability of ATL with strategy contexts.
GandALF
François Laroussinie, Nicolas Markey
2012 J jnl
Counting CTL
Log. Methods Comput. Sci.
François Laroussinie, Antoine Meyer, Eudes Petonnet
2012 B conf
Quantified CTL: Expressiveness and Model Checking - (Extended Abstract).
CONCUR
Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
2011 J jnl
Timed Modal Logics for Real-Time Systems - Specification, Verification and Control.
J. Log. Lang. Inf.
Patricia Bouyer, Franck Cassez, François Laroussinie
2010 — conf
ATL with Strategy Contexts: Expressiveness and Model Checking.
FSTTCS
Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
2010 B ed.
CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
CONCUR
Paul Gastin, François Laroussinie
2010 J jnl
Christel Baier and Joost-Pieter Katoen
Comput. J.
François Laroussinie
2010 B conf
Counting CTL.
FoSSaCS
François Laroussinie, Antoine Meyer, Eudes Petonnet
2010 C conf
Counting LTL.
TIME
François Laroussinie, Antoine Meyer, Eudes Petonnet
2010 J jnl
Temporal Logics for Games.
Bull. EATCS
François Laroussinie
2009 Misc conf
ATL with Strategy Contexts and Bounded Memory.
LFCS
Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey
2008 J jnl
Model Checking Probabilistic Timed Automata with One or Two Clocks
CoRR
Marcin Jurdzinski, François Laroussinie, Jeremy Sproston
2008 J jnl
Model Checking Probabilistic Timed Automata with One or Two Clocks.
Log. Methods Comput. Sci.
Marcin Jurdzinski, Jeremy Sproston, François Laroussinie
2008 J jnl
On the Expressiveness and Complexity of ATL
CoRR
François Laroussinie, Nicolas Markey, Ghassan Oreiby
2008 J jnl
On the Expressiveness and Complexity of ATL.
Log. Methods Comput. Sci.
François Laroussinie, Nicolas Markey, Ghassan Oreiby
2007 A conf
Model Checking Probabilistic Timed Automata with One or Two Clocks.
TACAS
Marcin Jurdzinski, François Laroussinie, Jeremy Sproston
2007 B conf
On the Expressiveness and Complexity of ATL.
FoSSaCS
François Laroussinie, Nicolas Markey, Ghassan Oreiby
2007 J jnl
State explosion in almost-sure probabilistic reachability.
Inf. Process. Lett.
François Laroussinie, Jeremy Sproston
2007 B conf
Timed Concurrent Game Structures.
CONCUR
Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby
2006 J jnl
A parametric analysis of the state-explosion problem in model checking.
J. Comput. Syst. Sci.
Stéphane Demri, François Laroussinie, Philippe Schnoebelen
2006 J jnl
Efficient timed model checking for discrete-time systems.
Theor. Comput. Sci.
François Laroussinie, Nicolas Markey, Philippe Schnoebelen
2006 — conf
Model-Checking Timed.
FORMATS
François Laroussinie, Nicolas Markey, Ghassan Oreiby
2006 B conf
Timed Temporal Logics for Abstracting Transient States.
ATVA
Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie
2005 B conf
A New Modality for Almost Everywhere Properties in Timed Automata.
CONCUR
Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie
2005 — conf
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.
FORMATS
Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier
2005 J jnl
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embed. Comput. Syst.
Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
2005 B conf
Modal Logics for Timed Control.
CONCUR
Patricia Bouyer, Franck Cassez, François Laroussinie
2005 B conf
Model Checking Durational Probabilistic Systems.
FoSSaCS
François Laroussinie, Jeremy Sproston
2004 B conf
Model Checking Timed Automata with One or Two Clocks.
CONCUR
François Laroussinie, Nicolas Markey, Philippe Schnoebelen
2003 J jnl
On the expressivity and complexity of quantitative branching-time temporal logics.
Theor. Comput. Sci.
François Laroussinie, Philippe Schnoebelen, Mathieu Turuani
2002 A conf
A Parametric Analysis of the State Explosion Problem in Model Checking.
STACS
Stéphane Demri, François Laroussinie, Philippe Schnoebelen
2002 J jnl
Is your model checker on time? On the complexity of model checking for timed modal logics.
J. Log. Algebraic Methods Program.
Luca Aceto, François Laroussinie
2002 B conf
On Model Checking Durational Kripke Structures.
FoSSaCS
François Laroussinie, Nicolas Markey, Philippe Schnoebelen
2002 A* conf
Temporal Logic with Forgettable Past.
LICS
François Laroussinie, Nicolas Markey, Philippe Schnoebelen
2001 B conf
Model Checking CTL
FoSSaCS
François Laroussinie, Nicolas Markey, Philippe Schnoebelen
2001 — book
Systems and Software Verification, Model-Checking Techniques and Tools.
Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie
2000 A* conf
Model-Checking for Hybrid Systems by Quotienting and Constraints Solving.
CAV
Franck Cassez, François Laroussinie
2000 B conf
On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics.
LATIN
François Laroussinie, Philippe Schnoebelen, Mathieu Turuani
2000 J jnl
Specification in CTL+Past for Verification in CTL.
Inf. Comput.
François Laroussinie, Philippe Schnoebelen
2000 B conf
The State Explosion Problem from Trace to Bisimulation Equivalence.
FoSSaCS
François Laroussinie, Philippe Schnoebelen
1999 B conf
Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics.
MFCS
Luca Aceto, François Laroussinie
1998 C conf
CMC: A Tool for Compositional Model-Checking of Real-Time Systems.
FORTE
François Laroussinie, Kim Guldstrand Larsen
1997 — conf
A Compositional Proof of a Real-Time Mutual Exclusion Protocol.
TAPSOFT
Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1997 — conf
Specification in CTL+Past, verification in CTL.
EXPRESS
François Laroussinie, Philippe Schnoebelen
1995 J jnl
A Hierarchy of Temporal Logics with Past.
Theor. Comput. Sci.
François Laroussinie, Philippe Schnoebelen
1995 J jnl
About the Expressive Power of CTL Combinators.
Inf. Process. Lett.
François Laroussinie
1995 B conf
Compositional Model Checking of Real Time Systems.
CONCUR
François Laroussinie, Kim Guldstrand Larsen
1995 B conf
From Timed Automata to Logic - and Back.
MFCS
François Laroussinie, Kim Guldstrand Larsen, Carsten Weise
1995 J jnl
Translations Between Modal Logics of Reactive Systems.
Theor. Comput. Sci.
François Laroussinie, Sophie Pinchinat, Philippe Schnoebelen
1994 A conf
A Hierarchy of Temporal Logics with Past (Extended Abstract).
STACS
François Laroussinie, Philippe Schnoebelen
1993 — conf
Translation Results for Modal Logics of Reactive Systems.
AMAST
François Laroussinie, Sophie Pinchinat, Philippe Schnoebelen