François Laroussinie

Available identifiers

zbMath Open laroussinie.francoisMaRDI QIDQ548703

List of research outcomes

Publication	Date of Publication	Type
From quantified CTL to QBF	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5013877	2021-12-03	Paper
\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers	2021-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4992517	2021-06-09	Paper
Timed Temporal Logics	2020-02-24	Paper
On the Expressiveness of QCTL	2018-03-21	Paper
Augmenting ATL with strategy contexts	2015-12-07	Paper
Quantified CTL: Expressiveness and Complexity	2015-01-15	Paper
Counting CTL	2013-04-09	Paper
Quantified CTL: Expressiveness and Model Checking	2012-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2908843	2012-08-29	Paper
Timed modal logics for real-time systems. Specification, verification and control	2011-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q3568107	2010-06-17	Paper
From timed automata to logic — and back	2010-06-17	Paper
Counting CTL	2010-04-27	Paper
State explosion in almost-sure probabilistic reachability	2010-01-29	Paper
ATL with Strategy Contexts and Bounded Memory	2009-02-24	Paper
Model Checking Probabilistic Timed Automata with One or Two Clocks	2008-11-13	Paper
Timed Concurrent Game Structures	2008-09-18	Paper
Timed Temporal Logics for Abstracting Transient States	2008-09-04	Paper
On the Expressiveness and Complexity of ATL	2008-08-07	Paper
Model-Checking Timed ATL for Durational Concurrent Game Structures	2008-07-08	Paper
On the Expressiveness and Complexity of ATL	2007-09-07	Paper
Model Checking Probabilistic Timed Automata with One or Two Clocks	2007-09-03	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4736876	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738231	2004-08-11	Paper
Is your model checker on time? On the complexity of model checking for timed modal logics	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q2771058	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q2754097	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4508303	2000-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4941895	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4222919	1998-12-21	Paper
A hierarchy of temporal logics with past	1997-02-28	Paper
About the expressive power of CTL combinators	1997-02-28	Paper
Translations between modal logics of reactive systems	1997-02-28	Paper

Research outcomes over time

This page was built for person: François Laroussinie