| Select a publication |
| Show |
Title |
Venue |
Rating |
Date |
|
Emmanuel Filiot, Naiyong Jin, Jean-François Raskin.
An Antichain Algorithm for LTL Realizability.
|
Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings 2009 |
 (0)
|
2009 |
|
|
Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert.
Realizability of Real-Time Logics.
|
Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings 2009 |
(0)
|
2009 |
|
|
Franck 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.
|
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings 2009 |
(0)
|
2009 |
|
|
Pierre Ganty, Nicolas Maquet, Jean-François Raskin.
Fixpoint Guided Abstraction Refinement for Alternating Automata.
|
Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings 2009 |
(0)
|
2009 |
|
|
Laurent Doyen, Jean-François Raskin.
Antichains for the Automata-Based Approach to Model-Checking
|
Logical Methods in Computer Science 2007, Volume 5 |
(0)
|
2009 |
|
|
Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin.
Alaska.
|
Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings 2008 |
(0)
|
2008 |
|
|
Jean-François Raskin, Frédéric Servais.
Visibly Pushdown Transducers.
|
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming Track C: Security and Cryptography Foundations 2008 |
(0)
|
2008 |
|
|
Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin.
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking.
|
Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceed 2008 |
(0)
|
2008 |
|
|
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin.
Robust safety of timed automata.
|
Formal Methods in System Design 2008, Volume 33 |
(0)
|
2008 |
|
|
Pierre Ganty, Jean-François Raskin, Laurent Van Begin.
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.
|
Fundam. Inform. 2008, Volume 88 |
(0)
|
2008 |
|
|
Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin.
Equivalence of Labeled Markov Chains.
|
Int. J. Found. Comput. Sci. 2008, Volume 19 |
(0)
|
2008 |
|
|
Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin.
Durations and parametric model-checking in timed automata.
|
ACM Trans. Comput. Log. 2007, Volume 9 |
(0)
|
2008 |
|
|
Pierre Ganty, Jean-François Raskin, Laurent Van Begin.
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.
|
Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings 2007 |
(0)
|
2007 |
|
|
Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin.
On the Efficient Computation of the Minimal Coverability Set for Petri Nets.
|
Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings 2007 |
(0)
|
2007 |
|
|
Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin.
Timed Control with Observation Based and Stuttering Invariant Strategies.
|
Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings 2007 |
(0)
|
2007 |
|
|
Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin.
Minimum-Time Reachability in Timed Games.
|
Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings 2007 |
(0)
|
2007 |
|
|
Patrick Cousot, Pierre Ganty, Jean-François Raskin.
Fixpoint-Guided Abstraction Refinements.
|
Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings 2007 |
(0)
|
2007 |
|
|
Laurent Doyen, Jean-François Raskin.
Improved Algorithms for the Automata-Based Approach to Model-Checking.
|
Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi 2007 |
(0)
|
2007 |
|
|
Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin.
Well-structured languages.
|
Acta Inf. 2007, Volume 44 |
(0)
|
2007 |
|
|
Véronique Bruyère, Jean-François Raskin.
Real-Time Model-Checking: Parameters everywhere
|
CoRR 2007, Volume 0 |
(0)
|
2007 |
|
|
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin.
Algorithms for Omega-Regular Games with Imperfect Information
|
CoRR 2007, Volume 0 |
(0)
|
2007 |
|
|
Patricia 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 2007, Volume 31 |
(0)
|
2007 |
|
|
Véronique Bruyère, Jean-François Raskin.
Real-Time Model-Checking: Parameters everywhere.
|
Logical Methods in Computer Science 2007, Volume 3 |
(0)
|
2007 |
|
|
Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger.
Algorithms for Omega-Regular Games with Imperfect Information.
|
Logical Methods in Computer Science 2007, Volume 3 |
(0)
|
2007 |
|
|
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin.
Antichains: A New Algorithm for Checking Universality of Finite Automata.
|
Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006 |
(0)
|
2006 |
|
|
Sé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, 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers 2007 |
(0)
|
2006 |
|
|
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin.
Algorithms for Omega-Regular Games with Imperfect Information
|
Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings 2006 |
(0)
|
2006 |
|
|
Martin De Wulf, Laurent Doyen, Jean-François Raskin.
A Lattice Theory for Solving Games of Imperfect Information.
|
Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings 2006 |
(0)
|
2006 |
|
|
Pierre Ganty, Jean-François Raskin, Laurent Van Begin.
A Complete Abstract Interpretation Framework for Coverability Properties of WSTS.
|
Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings 2006 |
(0)
|
2006 |
|
|
Thomas Brihaye, Véronique Bruyère, Jean-François Raskin.
On model-checking timed automata with stopwatch observers.
|
Inf. Comput. 2006, Volume 204 |
(0)
|
2006 |
|
|
Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin.
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS.
|
J. Comput. Syst. Sci. 2006, Volume 72 |
(0)
|
2006 |
|
|
Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin.
On the
|
Theor. Comput. Sci. 2006, Volume 356 |
(0)
|
2006 |
|
|
Nicolas Markey, Jean-François Raskin.
Model checking restricted sets of timed paths.
|
Theor. Comput. Sci. 2006, Volume 358 |
(0)
|
2006 |
|
|
Jean-François Raskin.
An Introduction to Hybrid Automata.
|
Handbook of Networked and Embedded Control Systems 2005 |
(0)
|
2005 |
|
|
Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin.
Expand, Enlarge and Check... Made Efficient.
|
Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings 2005 |
(0)
|
2005 |
|
|
Martin De Wulf, Laurent Doyen, Jean-François Raskin.
Systematic Implementation of Real-Time Models.
|
FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings 2005 |
(0)
|
2005 |
|
|
Thomas Brihaye, Véronique Bruyère, Jean-François Raskin.
On Optimal Timed Strategies.
|
Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings 2005 |
(0)
|
2005 |
|
|
Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin.
Automatic Rectangular Refinement of Affine Hybrid Systems.
|
Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings 2005 |
(0)
|
2005 |
|
|
Alain 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. 2005, Volume 128 |
(0)
|
2005 |
|
|
Jean-François Raskin, Mathias Samuelides, Laurent Van Begin.
Games for Counting Abstractions.
|
Electr. Notes Theor. Comput. Sci. 2005, Volume 128 |
(0)
|
2005 |
|
|
Martin De Wulf, Laurent Doyen, Jean-François Raskin.
Almost ASAP semantics: from timed models to timed implementations.
|
Formal Asp. Comput. 2005, Volume 17 |
(0)
|
2005 |
|
|
Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin.
A classification of symbolic transition systems.
|
ACM Trans. Comput. Log. 2005, Volume 6 |
(0)
|
2005 |
|
|
Nicolas Markey, Jean-François Raskin.
Model Checking Restricted Sets of Timed Paths.
|
CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings 2004 |
(0)
|
2004 |
|
|
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin.
Robustness and Implementability of Timed Automata.
|
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Gren 2004 |
(0)
|
2004 |
|
|
Thomas Brihaye, Véronique Bruyère, Jean-François Raskin.
Model-Checking for Weighted Timed Automata.
|
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Gren 2004 |
(0)
|
2004 |
|
|
Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin.
Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS.
|
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings 2004 |
(0)
|
2004 |
|
|
Martin De Wulf, Laurent Doyen, Jean-François Raskin.
Almost ASAP Semantics: From Timed Models to Timed Implementations.
|
Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings 2004 |
(0)
|
2004 |
|
|
Jean-François Raskin, Laurent Van Begin.
Petri Nets with Non-blocking Arcs are Difficult to Analyze.
|
Electr. Notes Theor. Comput. Sci. 2004, Volume 98 |
(0)
|
2004 |
|
|
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin.
Covering sharing trees: a compact data structure for parameterized verification.
|
STTT 2004, Volume 5 |
(0)
|
2004 |
|
|
Véronique Bruyère, Jean-François Raskin.
Real-Time Model-Checking: Parameters Everywhere.
|
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings 2003 |
(0)
|
2003 |
|
|
Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin.
Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic.
|
STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings 2003 |
(0)
|
2003 |
|
|
Steve Kremer, Jean-François Raskin.
A Game-based Verification of Non-repudiation and Fair Exchange Protocols.
|
Journal of Computer Security 2003, Volume 11 |
(0)
|
2003 |
|
|
Steve Kremer, Jean-François Raskin.
Game Analysis of Abuse-free Contract Signing.
|
15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada 2002 |
(0)
|
2002 |
|
|
Franck Cassez, Thomas A. Henzinger, Jean-François Raskin.
A Comparison of Control Problems for Timed and Hybrid Systems.
|
Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings 2002 |
(0)
|
2002 |
|
|
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin.
Towards the Automated Verification of Multithreaded Java Programs.
|
Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings 2002 |
(0)
|
2002 |
|
|
Alain 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. 2003, Volume 68 |
(0)
|
2002 |
|
|
Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger.
Axioms for real-time logics.
|
Theor. Comput. Sci. 2002, Volume 274 |
(0)
|
2002 |
|
|
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin.
Attacking Symbolic State Explosion.
|
Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings 2001 |
(0)
|
2001 |
|
|
Steve Kremer, Jean-François Raskin.
A Game-Based Verification of Non-repudiation and Fair Exchange Protocols.
|
CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings 2001 |
(0)
|
2001 |
|
|
Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin.
A Classification of Symbolic Transition Systems
|
CoRR 2001, Volume 0 |
(0)
|
2001 |
|
|
Thomas A. Henzinger, Jean-François Raskin.
Robust Undecidability of Timed and Hybrid Systems.
|
Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings 2000 |
(0)
|
2000 |
|
|
Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin.
Abstract Interpretation of Game Properties.
|
Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings 2000 |
(0)
|
2000 |
|
|
Giorgio Delzanno, Jean-François Raskin.
Symbolic Representation of Upward-Closed Sets.
|
Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedi 2000 |
(0)
|
2000 |
|
|
Laurent 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. 1999, Volume 23 |
(0)
|
1999 |
|
|
Pierre-Yves Schobbens, Jean-François Raskin.
The Logic of ``Initially'' and ``Next'': Complete Axiomatization and Complexity.
|
Inf. Process. Lett. 1999, Volume 69 |
(0)
|
1999 |
|
|
Jean-François Raskin, Pierre-Yves Schobbens.
The Logic of Event Clocks - Decidability, Complexity and Expressiveness.
|
Journal of Automata, Languages and Combinatorics 1999, Volume 4 |
(0)
|
1999 |
|
|
Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger.
Axioms for Real-Time Logics.
|
CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings 1998 |
(0)
|
1998 |
|
|
Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens.
The Regular Real-Time Languages.
|
Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings 1998 |
(0)
|
1998 |
|
|
Jean-François Raskin, Pierre-Yves Schobbens.
State Clock Logic: A Decidable Real-Time Logic.
|
Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings 1997 |
(0)
|
1997 |
|
|
Jean-François Raskin, Pierre-Yves Schobbens.
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time.
|
Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings 1997 |
(0)
|
1997 |
05/4174