Laurent Doyen

	2011
60		Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin: Antichain-Based QBF Solving. ATVA 2011: 183-197
59		Krishnendu Chatterjee, Laurent Doyen, Rohit Singh: On Memoryless Quantitative Objectives. FCT 2011: 148-159
58		Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell: On Reachability for Hybrid Automata over Bounded Time. ICALP (2) 2011: 416-427
57		Krishnendu Chatterjee, Laurent Doyen: Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives. MEMICS 2011: 37-46
56		Krishnendu Chatterjee, Laurent Doyen: Energy and Mean-Payoff Parity Markov Decision Processes. MFCS 2011: 206-218
55		Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi: Infinite Synchronizing Words for Probabilistic Automata. MFCS 2011: 278-289
54		Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi: Synchronizing Objectives for Markov Decision Processes iWIGP 2011: 61-75
53		Krishnendu Chatterjee, Laurent Doyen: Energy and Mean-Payoff Parity Markov Decision Processes CoRR abs/1104.2909: (2011)
52		Krishnendu Chatterjee, Laurent Doyen, Rohit Singh: On Memoryless Quantitative Objectives CoRR abs/1104.3211: (2011)
51		Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell: On Reachability for Hybrid Automata over Bounded Time CoRR abs/1104.5335: (2011)
50		Krishnendu Chatterjee, Laurent Doyen: Partial-Observation Stochastic Games: How to Win when Belief Fails CoRR abs/1107.2141: (2011)
49		Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin: Faster algorithms for mean-payoff games. Formal Methods in System Design 38(2): 97-118 (2011)
48		Laurent Doyen, Olivier Gaudoin: Modeling and Assessment of Aging and Efficiency of Corrective and Planned Preventive Maintenance. IEEE Transactions on Reliability 60(4): 759-769 (2011)
	2010
47		Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic: Robustness of Sequential Circuits. ACSD 2010: 77-84
46		Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou: Mean-Payoff Automaton Expressions. CONCUR 2010: 269-283
45		Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk: Energy and Mean-Payoff Games with Imperfect Information. CSL 2010: 260-274
44		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Generalized Mean-payoff and Energy Games. FSTTCS 2010: 505-516
43		Krishnendu Chatterjee, Laurent Doyen: Energy Parity Games. ICALP (2) 2010: 599-610
42		Krishnendu Chatterjee, Laurent Doyen: The Complexity of Partial-Observation Parity Games. LPAR (Yogyakarta) 2010: 1-14
41		Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger: Randomness for Free. MFCS 2010: 246-257
40		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Qualitative Analysis of Partially-Observable Markov Decision Processes. MFCS 2010: 258-269
39		Laurent Doyen, Jean-François Raskin: Antichain Algorithms for Finite Automata. TACAS 2010: 2-22
38		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Quantitative languages. ACM Trans. Comput. Log. 11(4): (2010)
37		Krishnendu Chatterjee, Laurent Doyen: Energy Parity Games CoRR abs/1001.5183: (2010)
36		Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger: Randomness for Free CoRR abs/1006.0673: (2010)
35		Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou: Mean-payoff Automaton Expressions CoRR abs/1006.1492: (2010)
34		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Generalized Mean-payoff and Energy Games CoRR abs/1007.1669: (2010)
33		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Strategy construction for parity games with imperfect information. Inf. Comput. 208(10): 1206-1220 (2010)
32		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages Logical Methods in Computer Science 6(3): (2010)
	2009
31		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata. CONCUR 2009: 244-258
30		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Alternating Weighted Automata. FCT 2009: 3-13
29		Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert: Realizability of Real-Time Logics. FORMATS 2009: 133-148
28		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) 2009: 1-15
27		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages. LICS 2009: 199-208
26		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS 2009: 58-61
25		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information CoRR abs/0901.4728: (2009)
24		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages CoRR abs/0905.2195: (2009)
23		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Qualitative Analysis of Partially-observable Markov Decision Processes CoRR abs/0909.1645: (2009)
22		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata CoRR abs/0909.1647: (2009)
21		Laurent Doyen, Jean-François Raskin: Antichains for the Automata-Based Approach to Model-Checking Logical Methods in Computer Science 5(1): (2009)
	2008
20		Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin: Alaska. ATVA 2008: 240-245
19		Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje: Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339
18		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Quantitative Languages. CSL 2008: 385-400
17		Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov: Interface theories with component reuse. EMSOFT 2008: 79-88
16		Dietmar Berwanger, Laurent Doyen: On the Power of Imperfect Information. FSTTCS 2008: 73-82
15		Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin: Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. TACAS 2008: 63-77
14		Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robust safety of timed automata. Formal Methods in System Design 33(1-3): 45-84 (2008)
13		Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Equivalence of Labeled Markov Chains. Int. J. Found. Comput. Sci. 19(3): 549-563 (2008)
	2007
12		Laurent Doyen, Jean-François Raskin: Improved Algorithms for the Automata-Based Approach to Model-Checking. TACAS 2007: 451-465
11		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information CoRR abs/0706.2619: (2007)
10		Laurent Doyen: Robust parametric reachability for timed automata. Inf. Process. Lett. 102(5): 208-213 (2007)
9		Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Algorithms for Omega-Regular Games with Imperfect Information. Logical Methods in Computer Science 3(3): (2007)
	2006
8		Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Antichains: A New Algorithm for Checking Universality of Finite Automata. CAV 2006: 17-30
7		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information, . CSL 2006: 287-302
6		Martin De Wulf, Laurent Doyen, Jean-François Raskin: A Lattice Theory for Solving Games of Imperfect Information. HSCC 2006: 153-168
	2005
5		Martin De Wulf, Laurent Doyen, Jean-François Raskin: Systematic Implementation of Real-Time Models. FM 2005: 139-156
4		Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Automatic Rectangular Refinement of Affine Hybrid Systems. FORMATS 2005: 144-161
3		Martin De Wulf, Laurent Doyen, Jean-François Raskin: Almost ASAP semantics: from timed models to timed implementations. Formal Asp. Comput. 17(3): 319-341 (2005)
	2004
2		Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robustness and Implementability of Timed Automata. FORMATS/FTRTFT 2004: 118-133
1		Martin De Wulf, Laurent Doyen, Jean-François Raskin: Almost ASAP Semantics: From Timed Models to Timed Implementations. HSCC 2004: 296-310

Coauthor Index

1	Dietmar Berwanger	[16] [19] [25] [26] [33]
2	Thomas Brihaye	[51] [58] [60]
3	Lubos Brim	[49]
4	Véronique Bruyère	[60]
5	Jakub Chaloupka	[49]
6	Krishnendu Chatterjee	[7] [9] [11] [18] [19] [22] [23] [24] [25] [26] [27] [28] [30] [31] [32] [33] [34] [35] [36] [37] [38] [40] [41] [42] [43] [44] [46] [50] [52] [53] [56] [57] [59]
7	Aldric Degorre	[45]
8	Marc Ducobu	[60]
9	Herbert Edelsbrunner	[35] [46]
10	Olivier Gaudoin	[48]
11	Gilles Geeraerts	[29] [51] [58]
12	Raffaella Gentilini	[45] [49]
13	Hugo Gimbert	[36] [41]
14	Thomas A. Henzinger	[4] [7] [8] [9] [11] [13] [17] [18] [19] [22] [23] [24] [25] [26] [27] [28] [30] [31] [32] [33] [34] [35] [36] [38] [40] [41] [44] [46] [47]
15	Barbara Jobstmann	[17]
16	Axel Legay	[47]
17	Nicolas Maquet	[15] [20]
18	Nicolas Markey	[2] [14]
19	Thierry Massart	[54] [55]
20	Dejan Nickovic	[47]
21	Joël Ouaknine	[51] [58]
22	Tatjana Petrov	[17]
23	Sangram Raje	[19]
24	Philippe Rannou	[35] [46]
25	Jean-François Raskin	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [20] [21] [29] [34] [39] [44] [45] [49] [51] [58] [60]
26	Julien Reichert	[29]
27	Mahsa Shirmohammadi	[54] [55]
28	Rohit Singh	[52] [59]
29	Szymon Torunczyk	[45]
30	James Worrell	[51] [58]
31	Martin De Wulf	[1] [2] [3] [5] [6] [8] [14] [15] [20] [25] [26] [33]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page