Jean-François Raskin Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Geeraerts, Alexander Heußner, Jean-François Raskin: Queue-Dispatch Asynchronous Systems CoRR abs/1201.4871: (2012)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Mickael Randour, Jean-François Raskin: Strategy Synthesis for Multi-dimensional Quantitative Objectives CoRR abs/1201.5073: (2012)
2011
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin: Antichain-Based QBF Solving. ATVA 2011: 183-197
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Geeraerts, Jean-François Raskin, Nathalie Sznajder: Event Clock Automata: From Theory to Practice. FORMATS 2011: 209-224
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Raskin: Reachability Problems for Hybrid Automata. RP 2011: 28-30
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Geeraerts, Jean-François Raskin, Nathalie Sznajder: Event-Clock Automata: From Theory to Practice CoRR abs/1107.4138: (2011)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Filiot, Raffaella Gentilini, Jean-François Raskin: Quantitative Languages Defined by Functional Automata CoRR abs/1111.0862: (2011)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLubos 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)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Filiot, Naiyong Jin, Jean-François Raskin: Antichains and compositional algorithms for LTL synthesis. Formal Methods in System Design 39(3): 261-296 (2011)
2010
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Filiot, Naiyong Jin, Jean-François Raskin: Compositional Algorithms for LTL Synthesis. ATVA 2010: 112-127
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin: Lattice-Valued Binary Decision Diagrams. ATVA 2010: 158-172
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk: Energy and Mean-Payoff Games with Imperfect Information. CSL 2010: 260-274
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans: Quantitative system validation in model driven design. EMSOFT 2010: 301-302
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder: Safraless Procedures for Timed Specifications. FORMATS 2010: 2-22
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Generalized Mean-payoff and Energy Games. FSTTCS 2010: 505-516
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin: Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) 2010: 335-344
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Filiot, Tristan Le Gall, Jean-François Raskin: Iterated Regret Minimization in Game Graphs. MFCS 2010: 342-354
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot: Properties of Visibly Pushdown Transducers. MFCS 2010: 355-367
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Doyen, Jean-François Raskin: Antichain Algorithms for Finite Automata. TACAS 2010: 2-22
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot: On Functionality of Visibly Pushdown Transducers CoRR abs/1002.1443: (2010)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Filiot, Tristan Le Gall, Jean-François Raskin: Iterated Regret Minimization in Game Graphs CoRR abs/1002.1456: (2010)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Generalized Mean-payoff and Energy Games CoRR abs/1007.1669: (2010)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the Efficient Computation of the Minimal Coverability Set of Petri Nets. Int. J. Found. Comput. Sci. 21(2): 135-165 (2010)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Nicolas Maquet, Jean-François Raskin: Fixed point guided abstraction refinement for alternating automata. Theor. Comput. Sci. 411(38-39): 3444-3459 (2010)
2009
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Lutz, Jean-François Raskin: TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings IEEE Computer Society 2009
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Filiot, Naiyong Jin, Jean-François Raskin: An Antichain Algorithm for LTL Realizability. CAV 2009: 263-277
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Nicolas Maquet, Jean-François Raskin: Fixpoint Guided Abstraction Refinement for Alternating Automata. CIAA 2009: 155-164
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert: Realizability of Real-Time Logics. FORMATS 2009: 133-148
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier: Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. HSCC 2009: 90-104
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Doyen, Jean-François Raskin: Antichains for the Automata-Based Approach to Model-Checking Logical Methods in Computer Science 5(1): (2009)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents. Technique et Science Informatiques 28(9): 1107-1142 (2009)
2008
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin: Alaska. ATVA 2008: 240-245
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Raskin, Frédéric Servais: Visibly Pushdown Transducers. ICALP (2) 2008: 386-397
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin: Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. TACAS 2008: 63-77
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin: Durations and parametric model-checking in timed automata. ACM Trans. Comput. Log. 9(2): (2008)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Jean-François Raskin, Laurent Van Begin: From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. Fundam. Inform. 88(3): 275-305 (2008)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Equivalence of Labeled Markov Chains. Int. J. Found. Comput. Sci. 19(3): 549-563 (2008)
2007
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Raskin, P. S. Thiagarajan: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings Springer 2007
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin: Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA 2007: 192-206
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the Efficient Computation of the Minimal Coverability Set for Petri Nets. ATVA 2007: 98-113
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin: Minimum-Time Reachability in Timed Games. ICALP 2007: 825-837
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Jean-François Raskin, Laurent Van Begin: From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. ICATPN 2007: 124-143
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Pierre Ganty, Jean-François Raskin: Fixpoint-Guided Abstraction Refinements. SAS 2007: 333-348
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Doyen, Jean-François Raskin: Improved Algorithms for the Automata-Based Approach to Model-Checking. TACAS 2007: 451-465
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Well-structured languages. Acta Inf. 44(3-4): 249-288 (2007)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information CoRR abs/0706.2619: (2007)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Bruyère, Jean-François Raskin: Real-Time Model-Checking: Parameters everywhere CoRR abs/cs/0701138: (2007)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Thomas Brihaye, Véronique Bruyère, Jean-François Raskin: On the optimal reachability problem of weighted timed automata. Formal Methods in System Design 31(2): 135-175 (2007)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Bruyère, Jean-François Raskin: Real-Time Model-Checking: Parameters everywhere. Logical Methods in Computer Science 3(1): (2007)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information, . CSL 2006: 287-302
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Collette, Jean-François Raskin, Frédéric Servais: On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game. Computers and Games 2006: 220-233
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin De Wulf, Laurent Doyen, Jean-François Raskin: A Lattice Theory for Solving Games of Imperfect Information. HSCC 2006: 153-168
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Ganty, Jean-François Raskin, Laurent Van Begin: A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. VMCAI 2006: 49-64
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Brihaye, Véronique Bruyère, Jean-François Raskin: On model-checking timed automata with stopwatch observers. Inf. Comput. 204(3): 408-433 (2006)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. J. Comput. Syst. Sci. 72(1): 180-203 (2006)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the omega-language expressive power of extended Petri nets. Theor. Comput. Sci. 356(3): 374-386 (2006)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Markey, Jean-François Raskin: Model checking restricted sets of timed paths. Theor. Comput. Sci. 358(2-3): 273-292 (2006)
2005
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Expand, Enlarge and Check... Made Efficient. CAV 2005: 394-407
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin De Wulf, Laurent Doyen, Jean-François Raskin: Systematic Implementation of Real-Time Models. FM 2005: 139-156
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Automatic Rectangular Refinement of Affine Hybrid Systems. FORMATS 2005: 144-161
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Brihaye, Véronique Bruyère, Jean-François Raskin: On Optimal Timed Strategies. FORMATS 2005: 49-64
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Raskin: An Introduction to Hybrid Automata. Handbook of Networked and Embedded Control Systems 2005: 491-518
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A classification of symbolic transition systems. ACM Trans. Comput. Log. 6(1): 1-32 (2005)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the omega-language Expressive Power of Extended Petri Nets. Electr. Notes Theor. Comput. Sci. 128(2): 87-101 (2005)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Raskin, Mathias Samuelides, Laurent Van Begin: Games for Counting Abstractions. Electr. Notes Theor. Comput. Sci. 128(6): 69-85 (2005)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas Markey, Jean-François Raskin: Model Checking Restricted Sets of Timed Paths. CONCUR 2004: 432-447
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robustness and Implementability of Timed Automata. FORMATS/FTRTFT 2004: 118-133
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Brihaye, Véronique Bruyère, Jean-François Raskin: Model-Checking for Weighted Timed Automata. FORMATS/FTRTFT 2004: 277-292
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Geeraerts, Jean-François Raskin, Laurent Van Begin: Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS. FSTTCS 2004: 287-298
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin De Wulf, Laurent Doyen, Jean-François Raskin: Almost ASAP Semantics: From Timed Models to Timed Implementations. HSCC 2004: 296-310
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Raskin, Laurent Van Begin: Petri Nets with Non-blocking Arcs are Difficult to Analyze. Electr. Notes Theor. Comput. Sci. 98: 35-55 (2004)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Jean-François Raskin, Laurent Van Begin: Covering sharing trees: a compact data structure for parameterized verification. STTT 5(2-3): 268-297 (2004)
2003
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Bruyère, Jean-François Raskin: Real-Time Model-Checking: Parameters Everywhere. FSTTCS 2003: 100-111
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVéronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin: Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. STACS 2003: 687-698
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Jean-François Raskin: A Game-based Verification of Non-repudiation and Fair Exchange Protocols. Journal of Computer Security 11(3): 399-430 (2003)
2002
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Jean-François Raskin: Game Analysis of Abuse-free Contract Signing. CSFW 2002: 206-
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck Cassez, Thomas A. Henzinger, Jean-François Raskin: A Comparison of Control Problems for Timed and Hybrid Systems. HSCC 2002: 134-148
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Jean-François Raskin, Laurent Van Begin: Towards the Automated Verification of Multithreaded Java Programs. TACAS 2002: 173-187
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin: Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. Electr. Notes Theor. Comput. Sci. 68(6): 85-106 (2002)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger: Axioms for real-time logics. Theor. Comput. Sci. 274(1-2): 151-182 (2002)
2001
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Jean-François Raskin, Laurent Van Begin: Attacking Symbolic State Explosion. CAV 2001: 298-310
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Kremer, Jean-François Raskin: A Game-Based Verification of Non-repudiation and Fair Exchange Protocols. CONCUR 2001: 551-565
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A Classification of Symbolic Transition Systems CoRR cs.LO/0101013: (2001)
2000
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Jean-François Raskin: Robust Undecidability of Timed and Hybrid Systems. HSCC 2000: 145-159
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin: Abstract Interpretation of Game Properties. SAS 2000: 220-239
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Jean-François Raskin: Symbolic Representation of Upward-Closed Sets. TACAS 2000: 426-440
1999
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurent Ferier, Jean-François Raskin, Pierre-Yves Schobbens: Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. Electr. Notes Theor. Comput. Sci. 23(2): 108-126 (1999)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Yves Schobbens, Jean-François Raskin: The Logic of ``Initially'' and ``Next'': Complete Axiomatization and Complexity. Inf. Process. Lett. 69(5): 221-225 (1999)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Raskin, Pierre-Yves Schobbens: The Logic of Event Clocks - Decidability, Complexity and Expressiveness. Journal of Automata, Languages and Combinatorics 4(3): 247-286 (1999)
1998
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger: Axioms for Real-Time Logics. CONCUR 1998: 219-236
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens: The Regular Real-Time Languages. ICALP 1998: 580-591
1997
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Raskin, Pierre-Yves Schobbens: State Clock Logic: A Decidable Real-Time Logic. HART 1997: 33-47
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-François Raskin, Pierre-Yves Schobbens: Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. TACAS 1997: 165-182

Coauthor Index

1Laurent Van Begin [13] [15] [16] [22] [23] [25] [30] [31] [37] [39] [40] [42] [52] [55] [57] [61] [67] [75]
2Patricia Bouyer (Patricia Bouyer-Decitre) [49]
3Thomas Brihaye [26] [34] [41] [49] [56] [93] [95] [97]
4Lubos Brim [90]
5Véronique Bruyère [20] [21] [26] [34] [41] [48] [49] [50] [63] [97]
6Franck Cassez [17] [58] [69]
7Jakub Chaloupka [90]
8Krishnendu Chatterjee [45] [47] [51] [76] [83] [98]
9Andreas Classen [82]
10Sébastien Collette [44]
11Patrick Cousot [54]
12Emmanuel Dall'Olio [20] [63]
13Alexandre David [58]
14Aldric Degorre [86]
15Giorgio Delzanno [8] [13] [16] [22]
16Laurent Doyen [24] [27] [29] [35] [36] [43] [45] [46] [47] [51] [53] [60] [62] [64] [66] [68] [70] [76] [79] [83] [86] [90] [93] [95] [97]
17Marc Ducobu [97]
18Laurent Ferier [7]
19Emmanuel Filiot [72] [77] [78] [80] [81] [88] [89] [91]
20Alain Finkel [15] [31] [39]
21Tristan Le Gall [77] [81] [87]
22Pierre Ganty [42] [54] [55] [61] [67] [71] [74]
23Gilles Geeraerts [25] [31] [37] [39] [40] [52] [57] [67] [70] [75] [84] [87] [92] [93] [95] [96] [99]
24Raffaella Gentilini [86] [90] [91]
25Barbara Di Giampaolo [84]
26Thomas A. Henzinger [3] [4] [9] [10] [11] [14] [17] [32] [35] [45] [46] [47] [51] [56] [60] [76] [83]
27Holger Hermanns [85]
28Alexander Heußner [99]
29Patrick Heymans [82]
30Jan Jakob Jessen [69]
31Naiyong Jin [72] [88] [89]
32Gabriel Kalyon [87]
33Steve Kremer [12] [18] [19]
34Kim Guldstrand Larsen (Kim G. Larsen) [58] [69] [85]
35Axel Legay [82]
36Didier Lime [58]
37Carsten Lutz [73]
38Rupak Majumdar [9] [11] [32]
39Freddy Y. C. Mang [9]
40Nicolas Maquet [64] [66] [71] [74] [87]
41Nicolas Markey [27] [28] [38] [62]
42Joël Ouaknine [93] [95]
43Vinayak S. Prabhu [56]
44Mickael Randour [98]
45Julien Reichert [70]
46Pierre-Alain Reynier [69] [78] [80]
47Mathias Samuelides [15] [30]
48Pierre-Yves Schobbens [1] [2] [3] [4] [5] [6] [7] [14] [82]
49Frédéric Servais [44] [65] [78] [80]
50Nathalie Sznajder [84] [92] [96]
51Jean-Marc Talbot [78] [80]
52P. S. Thiagarajan [59]
53Szymon Torunczyk [86]
54Jan Tretmans [85]
55James Worrell [93] [95]
56Martin De Wulf [24] [27] [29] [36] [43] [46] [62] [64] [66]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page