François Laroussinie

2009
38	EE	Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey: ATLwith Strategy Contexts and Bounded Memory. LFCS 2009: 92-106
2008
37	EE	François Laroussinie, Nicolas Markey, Ghassan Oreiby: On the Expressiveness and Complexity of ATL CoRR abs/0804.2435: (2008)
36	EE	Marcin Jurdzinski, François Laroussinie, Jeremy Sproston: Model Checking Probabilistic Timed Automata with One or Two Clocks CoRR abs/0809.0060: (2008)
2007
35	EE	Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby: Timed Concurrent Game Structures. CONCUR 2007: 445-459
34	EE	François Laroussinie, Nicolas Markey, Ghassan Oreiby: On the Expressiveness and Complexity of ATL. FoSSaCS 2007: 243-257
33	EE	Marcin Jurdzinski, François Laroussinie, Jeremy Sproston: Model Checking Probabilistic Timed Automata with One or Two Clocks. TACAS 2007: 170-184
32	EE	François Laroussinie, Jeremy Sproston: State explosion in almost-sure probabilistic reachability. Inf. Process. Lett. 102(6): 236-241 (2007)
2006
31	EE	Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie: Timed Temporal Logics for Abstracting Transient States. ATVA 2006: 337-351
30	EE	François Laroussinie, Nicolas Markey, Ghassan Oreiby: Model-Checking Timed. FORMATS 2006: 245-259
29	EE	Stéphane Demri, François Laroussinie, Ph. Schnoebelen: A parametric analysis of the state-explosion problem in model checking. J. Comput. Syst. Sci. 72(4): 547-575 (2006)
28	EE	François Laroussinie, Nicolas Markey, Ph. Schnoebelen: Efficient timed model checking for discrete-time systems. Theor. Comput. Sci. 353(1-3): 249-271 (2006)
2005
27	EE	Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie: A New Modality for Almost Everywhere Properties in Timed Automata. CONCUR 2005: 110-124
26	EE	Patricia Bouyer, Franck Cassez, François Laroussinie: Modal Logics for Timed Control. CONCUR 2005: 81-94
25	EE	Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier: Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems. FORMATS 2005: 112-126
24	EE	François Laroussinie, Jeremy Sproston: Model Checking Durational Probabilistic Systems. FoSSaCS 2005: 140-154
23	EE	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. 4(3): 587-611 (2005)
2004
22	EE	François Laroussinie, Nicolas Markey, Ph. Schnoebelen: Model Checking Timed Automata with One or Two Clocks. CONCUR 2004: 387-401
2003
21	EE	François Laroussinie, Ph. Schnoebelen, Mathieu Turuani: On the expressivity and complexity of quantitative branching-time temporal logics. Theor. Comput. Sci. 297(1-3): 297-315 (2003)
2002
20	EE	François Laroussinie, Nicolas Markey, Ph. Schnoebelen: On Model Checking Durational Kripke Structures. FoSSaCS 2002: 264-279
19	EE	François Laroussinie, Nicolas Markey, Ph. Schnoebelen: Temporal Logic with Forgettable Past. LICS 2002: 383-392
18	EE	Stéphane Demri, François Laroussinie, Ph. Schnoebelen: A Parametric Analysis of the State Explosion Problem in Model Checking. STACS 2002: 620-631
17	EE	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. 52-53: 7-51 (2002)
2001
16	EE	François Laroussinie, Nicolas Markey, Ph. Schnoebelen: Model Checking CTL+ and FCTL is Hard. FoSSaCS 2001: 318-331
2000
15		Franck Cassez, François Laroussinie: Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. CAV 2000: 373-388
14	EE	François Laroussinie, Ph. Schnoebelen: The State Explosion Problem from Trace to Bisimulation Equivalence. FoSSaCS 2000: 192-207
13		François Laroussinie, Ph. Schnoebelen, Mathieu Turuani: On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics. LATIN 2000: 437-446
12		François Laroussinie, Ph. Schnoebelen: Specification in CTL+Past for Verification in CTL. Inf. Comput. 156(1-2): 236-263 (2000)
1999
11		Luca Aceto, François Laroussinie: Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. MFCS 1999: 125-136
1998
10		François Laroussinie, Kim Guldstrand Larsen: CMC: A Tool for Compositional Model-Checking of Real-Time Systems. FORTE 1998: 439-456
1997
9		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: 565-579
8	EE	François Laroussinie, Ph. Schnoebelen: Specification in CTL+Past, verification in CTL. Electr. Notes Theor. Comput. Sci. 7: (1997)
1995
7		François Laroussinie, Kim Guldstrand Larsen: Compositional Model Checking of Real Time Systems. CONCUR 1995: 27-41
6		François Laroussinie, Kim Guldstrand Larsen, Carsten Weise: From Timed Automata to Logic - and Back. MFCS 1995: 529-539
5	EE	François Laroussinie: About the Expressive Power of CTL Combinators. Inf. Process. Lett. 54(6): 343-345 (1995)
4	EE	François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen: Translations Between Modal Logics of Reactive Systems. Theor. Comput. Sci. 140(1): 53-71 (1995)
3	EE	François Laroussinie, Ph. Schnoebelen: A Hierarchy of Temporal Logics with Past. Theor. Comput. Sci. 148(2): 303-324 (1995)
1994
2		François Laroussinie, Ph. Schnoebelen: A Hierarchy of Temporal Logics with Past (Extended Abstract). STACS 1994: 47-58
1993
1		François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen: Translation Results for Modal Logics of Reactive Systems. AMAST 1993: 297-306

Coauthor Index

1	Luca Aceto	[11] [17]
2	Luís Almeida	[23]
3	Albert Benveniste	[23]
4	Béatrice Bérard	[27] [31]
5	Patricia Bouyer	[25] [26] [27] [31]
6	Bruno Bouyssounouse	[23]
7	Thomas Brihaye	[35] [38]
8	Giorgio C. Buttazzo	[23]
9	Paul Caspi	[23]
10	Franck Cassez	[15] [26]
11	Ivica Crnkovic	[23]
12	Werner Damm	[23]
13	Stéphane Demri	[18] [29]
14	Jakob Engblom	[23]
15	Gerhard Fohler	[23]
16	Marisol García-Valls	[23]
17	Marcin Jurdzinski	[33] [36]
18	Hermann Kopetz	[23]
19	Kåre J. Kristoffersen	[9]
20	Yassine Lakhnech	[23]
21	Kim Guldstrand Larsen	[6] [7] [9] [10]
22	Luciano Lavagno	[23]
23	Giuseppe Lipari	[23]
24	Arnaud Da Costa Lopes	[38]
25	Florence Maraninchi	[23]
26	Nicolas Markey	[16] [19] [20] [22] [28] [30] [34] [35] [37] [38]
27	Houda Bel Mokadem	[27] [31]
28	Ghassan Oreiby	[30] [34] [35] [37]
29	Philipp Peti	[23]
30	Paul Pettersson	[9]
31	Sophie Pinchinat	[1] [4]
32	Juan Antonio de la Puente	[23]
33	Pierre-Alain Reynier	[25]
34	Alberto L. Sangiovanni-Vincentelli	[23]
35	Norman Scaife	[23]
36	Ph. Schnoebelen	[1] [2] [3] [4] [8] [12] [13] [14] [16] [18] [19] [20] [21] [22] [28] [29]
37	Joseph Sifakis	[23]
38	Robert de Simone	[23]
39	Jeremy Sproston	[24] [32] [33] [36]
40	Martin Törngren	[23]
41	Mathieu Turuani	[13] [21]
42	Paulo Veríssimo	[23]
43	Carsten Weise	[6]
44	Andy J. Wellings	[23]
45	Reinhard Wilhelm	[23]
46	Tim A. C. Willemse	[23]
47	Wang Yi	[9] [23]