Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

François Laroussinie

◀ ▶ joint publications with Philippe Schnoebelen

> Home > Persons > François Laroussinie

Publications

2006
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/DemriLS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/DemriLS06
Stéphane Demri, François Laroussinie, Philippe Schnoebelen:
A parametric analysis of the state-explosion problem in model checking. J. Comput. Syst. Sci. 72(4): 547-575 (2006)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LaroussinieMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LaroussinieMS06
François Laroussinie, Nicolas Markey, Philippe Schnoebelen:
Efficient timed model checking for discrete-time systems. Theor. Comput. Sci. 353(1-3): 249-271 (2006)
2004
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/LaroussinieMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/LaroussinieMS04
François Laroussinie, Nicolas Markey, Philippe Schnoebelen:
Model Checking Timed Automata with One or Two Clocks. CONCUR 2004: 387-401
2003
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LaroussinieST03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LaroussinieST03
François Laroussinie, Philippe Schnoebelen, Mathieu Turuani:
On the expressivity and complexity of quantitative branching-time temporal logics. Theor. Comput. Sci. 297(1-3): 297-315 (2003)
2002
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/LaroussinieMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/LaroussinieMS02
François Laroussinie, Nicolas Markey, Philippe Schnoebelen:
On Model Checking Durational Kripke Structures. FoSSaCS 2002: 264-279
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/LaroussinieMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/LaroussinieMS02
François Laroussinie, Nicolas Markey, Philippe Schnoebelen:
Temporal Logic with Forgettable Past. LICS 2002: 383-392
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/DemriLS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/DemriLS02
Stéphane Demri, François Laroussinie, Philippe Schnoebelen:
A Parametric Analysis of the State Explosion Problem in Model Checking. STACS 2002: 620-631
2001
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/lib/Berard01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/lib/Berard01
Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie:
Systems and Software Verification, Model-Checking Techniques and Tools. Springer 2001, ISBN 978-3-642-07478-3, pp. I-XII, 1-190
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/LaroussinieMS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/LaroussinieMS01
François Laroussinie, Nicolas Markey, Philippe Schnoebelen:
Model Checking CTL⁺ and FCTL is Hard. FoSSaCS 2001: 318-331
2000
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LaroussinieS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LaroussinieS00
François Laroussinie, Philippe Schnoebelen:
Specification in CTL+Past for Verification in CTL. Inf. Comput. 156(1-2): 236-263 (2000)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/LaroussinieS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/LaroussinieS00
François Laroussinie, Philippe Schnoebelen:
The State Explosion Problem from Trace to Bisimulation Equivalence. FoSSaCS 2000: 192-207
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/latin/LaroussinieST00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latin/LaroussinieST00
François Laroussinie, Philippe Schnoebelen, Mathieu Turuani:
On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics. LATIN 2000: 437-446
1997
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LaroussinieS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LaroussinieS97
François Laroussinie, Philippe Schnoebelen:
Specification in CTL+Past, verification in CTL. EXPRESS 1997: 161-184
1995
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LaroussiniePS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LaroussiniePS95
François Laroussinie, Sophie Pinchinat, Philippe Schnoebelen:
Translations Between Modal Logics of Reactive Systems. Theor. Comput. Sci. 140(1): 53-71 (1995)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LaroussinieS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LaroussinieS95
François Laroussinie, Philippe Schnoebelen:
A Hierarchy of Temporal Logics with Past. Theor. Comput. Sci. 148(2): 303-324 (1995)
1994
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/LaroussinieS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/LaroussinieS94
François Laroussinie, Philippe Schnoebelen:
A Hierarchy of Temporal Logics with Past (Extended Abstract). STACS 1994: 47-58
1993
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/amast/LaroussiniePS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/LaroussiniePS93
François Laroussinie, Sophie Pinchinat, Philippe Schnoebelen:
Translation Results for Modal Logics of Reactive Systems. AMAST 1993: 297-306

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.