|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Patricia Bouyer, Franck Cassez, François Laroussinie |
Timed Modal Logics for Real-Time Systems - Specification, Verification and Control.  |
Journal of Logic, Language and Information  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie |
Christel Baier and Joost-Pieter KatoenPrinciples of Model Checking. MIT Press (May 2008).ISBN: 978-0-262-02649-9, 975 pp. Hardcover. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie |
Temporal Logics for Games. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paul Gastin, François Laroussinie (eds.) |
CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Antoine Meyer, Eudes Petonnet |
Counting LTL. |
TIME |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Antoine Meyer, Eudes Petonnet |
Counting CTL. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey |
ATL with Strategy Contexts: Expressiveness and Model Checking. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey |
ATL with Strategy Contexts and Bounded Memory. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Nicolas Markey, Ghassan Oreiby |
On the Expressiveness and Complexity of ATL. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Jurdzinski, Jeremy Sproston, François Laroussinie |
Model Checking Probabilistic Timed Automata with One or Two Clocks. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Jurdzinski, François Laroussinie, Jeremy Sproston |
Model Checking Probabilistic Timed Automata with One or Two Clocks |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | François Laroussinie, Nicolas Markey, Ghassan Oreiby |
On the Expressiveness and Complexity of ATL |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | François Laroussinie, Jeremy Sproston |
State explosion in almost-sure probabilistic reachability. |
Inf. Process. Lett. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby |
Timed Concurrent Game Structures. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Jurdzinski, François Laroussinie, Jeremy Sproston |
Model Checking Probabilistic Timed Automata with One or Two Clocks. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Nicolas Markey, Ghassan Oreiby |
On the Expressiveness and Complexity of ATL. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Nicolas Markey, Ph. Schnoebelen |
Efficient timed model checking for discrete-time systems. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Demri, François Laroussinie, Ph. Schnoebelen |
A parametric analysis of the state-explosion problem in model checking. |
J. Comput. Syst. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Nicolas Markey, Ghassan Oreiby |
Model-Checking Timed. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie |
Timed Temporal Logics for Abstracting Transient States. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Guidelines for a graduate curriculum on embedded software and systems. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Graduate curriculum, architecture and design, extrafunctional properties, distributed systems, embedded systems, real-time, control, labs |
| 1 | Patricia Bouyer, Franck Cassez, François Laroussinie |
Modal Logics for Timed Control. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie |
A New Modality for Almost Everywhere Properties in Timed Automata. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier |
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Jeremy Sproston |
Model Checking Durational Probabilistic Systems. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Nicolas Markey, Ph. Schnoebelen |
Model Checking Timed Automata with One or Two Clocks. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Ph. Schnoebelen, Mathieu Turuani |
On the expressivity and complexity of quantitative branching-time temporal logics. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, François Laroussinie |
Is your model checker on time? On the complexity of model checking for timed modal logics. |
J. Log. Algebr. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Demri, François Laroussinie, Ph. Schnoebelen |
A Parametric Analysis of the State Explosion Problem in Model Checking. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Nicolas Markey, Ph. Schnoebelen |
Temporal Logic with Forgettable Past. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Nicolas Markey, Ph. Schnoebelen |
On Model Checking Durational Kripke Structures. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Nicolas Markey, Ph. Schnoebelen |
Model Checking CTL+ and FCTL is Hard. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Ph. Schnoebelen |
Specification in CTL+Past for Verification in CTL. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Ph. Schnoebelen, Mathieu Turuani |
On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics. |
LATIN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, François Laroussinie |
Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Ph. Schnoebelen |
The State Explosion Problem from Trace to Bisimulation Equivalence. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, François Laroussinie |
Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Kim Guldstrand Larsen |
CMC: A Tool for Compositional Model-Checking of Real-Time Systems. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
| 1 | François Laroussinie, Ph. Schnoebelen |
Specification in CTL+Past, verification in CTL. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
A Compositional Proof of a Real-Time Mutual Exclusion Protocol. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie |
About the Expressive Power of CTL Combinators. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen |
Translations Between Modal Logics of Reactive Systems. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Ph. Schnoebelen |
A Hierarchy of Temporal Logics with Past. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Kim Guldstrand Larsen |
Compositional Model Checking of Real Time Systems. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Kim Guldstrand Larsen, Carsten Weise |
From Timed Automata to Logic - and Back. |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Ph. Schnoebelen |
A Hierarchy of Temporal Logics with Past (Extended Abstract). |
STACS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen |
Translation Results for Modal Logics of Reactive Systems. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")