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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: François Laroussinie