| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gilles Geeraerts, Alexander Heußner, Jean-François Raskin |
Queue-Dispatch Asynchronous Systems  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin |
Strategy Synthesis for Multi-dimensional Quantitative Objectives |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder |
Event-Clock Automata: From Theory to Practice |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin |
Quantitative Languages Defined by Functional Automata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell |
On Reachability for Hybrid Automata over Bounded Time |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin |
Faster algorithms for mean-payoff games. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Antichains and compositional algorithms for LTL synthesis. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell |
On Reachability for Hybrid Automata over Bounded Time. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder |
Event Clock Automata: From Theory to Practice. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin |
Antichain-Based QBF Solving. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin |
Reachability Problems for Hybrid Automata. |
RP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Nicolas Maquet, Jean-François Raskin |
Fixed point guided abstraction refinement for alternating automata. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles 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. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Generalized Mean-payoff and Energy Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin |
Iterated Regret Minimization in Game Graphs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot |
On Functionality of Visibly Pushdown Transducers |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans |
Quantitative system validation in model driven design. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Jean-François Raskin |
Antichain Algorithms for Finite Automata. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder |
Safraless Procedures for Timed Specifications. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin |
Iterated Regret Minimization in Game Graphs. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot |
Properties of Visibly Pushdown Transducers. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
Compositional Algorithms for LTL Synthesis. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-François Raskin |
Lattice-Valued Binary Decision Diagrams. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas 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 |
2010 |
DBLP DOI BibTeX RDF |
specification, software product lines, features |
| 1 | Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk |
Energy and Mean-Payoff Games with Imperfect Information. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Generalized Mean-payoff and Energy Games. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Jean-François Raskin |
Antichains for the Automata-Based Approach to Model-Checking |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Pierre 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 |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Jean-François Raskin (eds.) |
TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings |
TIME |
2009 |
DBLP BibTeX RDF |
|
| 1 | Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert |
Realizability of Real-Time Logics. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Filiot, Naiyong Jin, Jean-François Raskin |
An Antichain Algorithm for LTL Realizability. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Nicolas Maquet, Jean-François Raskin |
Fixpoint Guided Abstraction Refinement for Alternating Automata. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Equivalence of Labeled Markov Chains. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Jean-François Raskin, Laurent Van Begin |
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin |
Durations and parametric model-checking in timed automata. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
model-checking, Timed automata, Presburger arithmetic |
| 1 | Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin |
Robust safety of timed automata. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Robustness, Implementability, Perturbation, Timed automaton, Drift |
| 1 | Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin |
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin, Frédéric Servais |
Visibly Pushdown Transducers. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin |
Alaska. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
Well-structured languages. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Bruyère, Jean-François Raskin |
Real-Time Model-Checking: Parameters everywhere. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Algorithms for Omega-Regular Games with Imperfect Information |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Véronique Bruyère, Jean-François Raskin |
Real-Time Model-Checking: Parameters everywhere |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Weighted timed automaton, Cost-optimal reachability problem |
| 1 | Pierre Ganty, Jean-François Raskin, Laurent Van Begin |
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Jean-François Raskin |
Improved Algorithms for the Automata-Based Approach to Model-Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin |
Minimum-Time Reachability in Timed Games. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin, P. S. Thiagarajan (eds.) |
Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings |
FORMATS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin |
Timed Control with Observation Based and Stuttering Invariant Strategies. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
On the Efficient Computation of the Minimal Coverability Set for Petri Nets. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Pierre Ganty, Jean-François Raskin |
Fixpoint-Guided Abstraction Refinements. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Markey, Jean-François Raskin |
Model checking restricted sets of timed paths. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
On the omega-language expressive power of extended Petri nets. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Véronique Bruyère, Jean-François Raskin |
On model-checking timed automata with stopwatch observers. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Antichains: A New Algorithm for Checking Universality of Finite Automata. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Jean-François Raskin |
A Lattice Theory for Solving Games of Imperfect Information. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Jean-François Raskin, Laurent Van Begin |
A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Algorithms for Omega-Regular Games with Imperfect Information, . |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Jean-François Raskin |
Almost ASAP semantics: from timed models to timed implementations. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Timed and Hybrid Automata, Verification, Semantics, Implementability |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin, Mathias Samuelides, Laurent Van Begin |
Games for Counting Abstractions. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin |
A classification of symbolic transition systems. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms |
| 1 | Jean-François Raskin |
An Introduction to Hybrid Automata. |
Handbook of Networked and Embedded Control Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thomas Brihaye, Véronique Bruyère, Jean-François Raskin |
On Optimal Timed Strategies. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Automatic Rectangular Refinement of Affine Hybrid Systems. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Jean-François Raskin |
Systematic Implementation of Real-Time Models. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
Expand, Enlarge and Check... Made Efficient. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin, Laurent Van Begin |
Petri Nets with Non-blocking Arcs are Difficult to Analyze. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
Covering sharing trees: a compact data structure for parameterized verification. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Efficient data structures, Heuristics, Static analysis, Constraints, Symbolic model checking, Infinite-state systems |
| 1 | Nicolas Markey, Jean-François Raskin |
Model Checking Restricted Sets of Timed Paths. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin |
Robustness and Implementability of Timed Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Brihaye, Véronique Bruyère, Jean-François Raskin |
Model-Checking for Weighted Timed Automata. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin De Wulf, Laurent Doyen, Jean-François Raskin |
Almost ASAP Semantics: From Timed Models to Timed Implementations. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Jean-François Raskin |
A Game-based Verification of Non-repudiation and Fair Exchange Protocols. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | Véronique Bruyère, Emmanuel Dall'Olio, Jean-François Raskin |
Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Bruyère, Jean-François Raskin |
Real-Time Model-Checking: Parameters Everywhere. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger |
Axioms for real-time logics. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
Towards the Automated Verification of Multithreaded Java Programs. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Jean-François Raskin |
Game Analysis of Abuse-free Contract Signing. |
CSFW |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Thomas A. Henzinger, Jean-François Raskin |
A Comparison of Control Problems for Timed and Hybrid Systems. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin |
A Classification of Symbolic Transition Systems |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Steve Kremer, Jean-François Raskin |
A Game-Based Verification of Non-repudiation and Fair Exchange Protocols. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
Attacking Symbolic State Explosion. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Jean-François Raskin |
Symbolic Representation of Upward-Closed Sets. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Jean-François Raskin |
Robust Undecidability of Timed and Hybrid Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin |
Abstract Interpretation of Game Properties. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Yves Schobbens, Jean-François Raskin |
The Logic of ``Initially'' and ``Next'': Complete Axiomatization and Complexity. |
Inf. Process. Lett. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin, Pierre-Yves Schobbens |
The Logic of Event Clocks - Decidability, Complexity and Expressiveness. |
Journal of Automata, Languages and Combinatorics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger |
Axioms for Real-Time Logics. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens |
The Regular Real-Time Languages. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin, Pierre-Yves Schobbens |
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. |
TACAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin, Pierre-Yves Schobbens |
State Clock Logic: A Decidable Real-Time Logic. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")