François Laroussinie

	2009
40		Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey: ATLwith Strategy Contexts and Bounded Memory. LFCS 2009: 92-106
	2008
39		François Laroussinie, Nicolas Markey, Ghassan Oreiby: On the Expressiveness and Complexity of ATL CoRR abs/0804.2435: (2008)
38		Marcin Jurdzinski, François Laroussinie, Jeremy Sproston: Model Checking Probabilistic Timed Automata with One or Two Clocks CoRR abs/0809.0060: (2008)
37		François Laroussinie, Nicolas Markey, Ghassan Oreiby: On the Expressiveness and Complexity of ATL. Logical Methods in Computer Science 4(2): (2008)
36		Marcin Jurdzinski, Jeremy Sproston, François Laroussinie: Model Checking Probabilistic Timed Automata with One or Two Clocks. Logical Methods in Computer Science 4(3): (2008)
	2007
35		Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby: Timed Concurrent Game Structures. CONCUR 2007: 445-459
34		François Laroussinie, Nicolas Markey, Ghassan Oreiby: On the Expressiveness and Complexity of ATL. FoSSaCS 2007: 243-257
33		Marcin Jurdzinski, François Laroussinie, Jeremy Sproston: Model Checking Probabilistic Timed Automata with One or Two Clocks. TACAS 2007: 170-184
32		François Laroussinie, Jeremy Sproston: State explosion in almost-sure probabilistic reachability. Inf. Process. Lett. 102(6): 236-241 (2007)
	2006
31		Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie: Timed Temporal Logics for Abstracting Transient States. ATVA 2006: 337-351
30		François Laroussinie, Nicolas Markey, Ghassan Oreiby: Model-Checking Timed. FORMATS 2006: 245-259
29		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		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		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		Patricia Bouyer, Franck Cassez, François Laroussinie: Modal Logics for Timed Control. CONCUR 2005: 81-94
25		Patricia Bouyer, François Laroussinie, Pierre-Alain Reynier: Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems. FORMATS 2005: 112-126
24		François Laroussinie, Jeremy Sproston: Model Checking Durational Probabilistic Systems. FoSSaCS 2005: 140-154
23		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		François Laroussinie, Nicolas Markey, Ph. Schnoebelen: Model Checking Timed Automata with One or Two Clocks. CONCUR 2004: 387-401
	2003
21		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		François Laroussinie, Nicolas Markey, Ph. Schnoebelen: On Model Checking Durational Kripke Structures. FoSSaCS 2002: 264-279
19		François Laroussinie, Nicolas Markey, Ph. Schnoebelen: Temporal Logic with Forgettable Past. LICS 2002: 383-392
18		Stéphane Demri, François Laroussinie, Ph. Schnoebelen: A Parametric Analysis of the State Explosion Problem in Model Checking. STACS 2002: 620-631
17		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		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		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		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		François Laroussinie: About the Expressive Power of CTL Combinators. Inf. Process. Lett. 54(6): 343-345 (1995)
4		François Laroussinie, Sophie Pinchinat, Ph. Schnoebelen: Translations Between Modal Logics of Reactive Systems. Theor. Comput. Sci. 140(1): 53-71 (1995)
3		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] [40]
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] [38]
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	[40]
25	Florence Maraninchi	[23]
26	Nicolas Markey	[16] [19] [20] [22] [28] [30] [34] [35] [37] [39] [40]
27	Houda Bel Mokadem	[27] [31]
28	Ghassan Oreiby	[30] [34] [35] [37] [39]
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] [38]
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]