Laurent Doyen

2009
23	EE	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
22	EE	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)
21	EE	Laurent Doyen, Jean-François Raskin: Antichains for the Automata-Based Approach to Model-Checking CoRR abs/0902.3958: (2009)
2008
20	EE	Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin: Alaska. ATVA 2008: 240-245
19	EE	Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje: Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339
18	EE	Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Quantitative Languages. CSL 2008: 385-400
17	EE	Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov: Interface theories with component reuse. EMSOFT 2008: 79-88
16	EE	Dietmar Berwanger, Laurent Doyen: On the Power of Imperfect Information. FSTTCS 2008
15	EE	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	EE	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	EE	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	EE	Laurent Doyen, Jean-François Raskin: Improved Algorithms for the Automata-Based Approach to Model-Checking. TACAS 2007: 451-465
11	EE	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	EE	Laurent Doyen: Robust parametric reachability for timed automata. Inf. Process. Lett. 102(5): 208-213 (2007)
9	EE	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	EE	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	EE	Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information, . CSL 2006: 287-302
6	EE	Martin De Wulf, Laurent Doyen, Jean-François Raskin: A Lattice Theory for Solving Games of Imperfect Information. HSCC 2006: 153-168
2005
5	EE	Martin De Wulf, Laurent Doyen, Jean-François Raskin: Systematic Implementation of Real-Time Models. FM 2005: 139-156
4	EE	Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Automatic Rectangular Refinement of Affine Hybrid Systems. FORMATS 2005: 144-161
3	EE	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	EE	Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robustness and Implementability of Timed Automata. FORMATS/FTRTFT 2004: 118-133
1	EE	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] [22] [23]
2	Krishnendu Chatterjee	[7] [9] [11] [18] [19] [22] [23]
3	Thomas A. Henzinger	[4] [7] [8] [9] [11] [13] [17] [18] [19] [22] [23]
4	Barbara Jobstmann	[17]
5	Nicolas Maquet	[15] [20]
6	Nicolas Markey	[2] [14]
7	Tatjana Petrov	[17]
8	Sangram Raje	[19]
9	Jean-François Raskin	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [20] [21]
10	Martin De Wulf	[1] [2] [3] [5] [6] [8] [14] [15] [20] [22] [23]