Jean-François Raskin
Jean-François Raskin
Verified email at - Homepage
Cited by
Cited by
Model checking lots of systems: efficient verification of temporal properties in software product lines
A Classen, P Heymans, PY Schobbens, A Legay, JF Raskin
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
A Classen, M Cordy, PY Schobbens, P Heymans, A Legay, JF Raskin
IEEE Transactions on Software Engineering 39 (8), 1069-1089, 2012
Algorithms for omega-regular games with imperfect information
JF Raskin, TA Henzinger, L Doyen, K Chatterjee
Logical Methods in Computer Science 3, 2007
Antichains: A new algorithm for checking universality of finite automata
M De Wulf, L Doyen, TA Henzinger, JF Raskin
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
A game-based verification of non-repudiation and fair exchange protocols
S Kremer, JF Raskin
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001
The regular real-time languages
TA Henzinger, JF Raskin, PY Schobbens
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 1998
Acacia+, a tool for LTL synthesis
A Bohy, V Bruyère, E Filiot, N Jin, JF Raskin
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
Almost ASAP semantics: From timed models to timed implementations
M De Wulf, L Doyen, JF Raskin
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004
Antichains and compositional algorithms for LTL synthesis
E Filiot, N Jin, JF Raskin
Formal Methods in System Design 39, 261-296, 2011
Faster algorithms for mean-payoff games
L Brim, J Chaloupka, L Doyen, R Gentilini, JF Raskin
Formal methods in system design 38, 97-118, 2011
Generalized mean-payoff and energy games
K Chatterjee, L Doyen, TA Henzinger, JF Raskin
arXiv preprint arXiv:1007.1669, 2010
An antichain algorithm for LTL realizability
E Filiot, N Jin, JF Raskin
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
Expand, enlarge and check: New algorithms for the coverability problem of WSTS
G Geeraerts, JF Raskin, L Van Begin
Journal of Computer and system Sciences 72 (1), 180-203, 2006
Robust undecidability of timed and hybrid systems
TA Henzinger, JF Raskin
HSCC 1790, 145-159, 2000
Towards the automated verification of multithreaded Java programs
G Delzanno, JF Raskin, L Van Begin
TACAS 2, 173-187, 2002
Game analysis of abuse-free contract signing
S Kremer, JF Raskin
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 206-220, 2002
The complexity of multi-mean-payoff and multi-energy games
Y Velner, K Chatterjee, L Doyen, TA Henzinger, A Rabinovich, JF Raskin
Information and Computation 241, 177-196, 2015
On the optimal reachability problem of weighted timed automata
P Bouyer, T Brihaye, V Bruyere, JF Raskin
Formal Methods in System Design 31 (2), 135-175, 2007
Strategy synthesis for multi-dimensional quantitative objectives
K Chatterjee, M Randour, JF Raskin
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012
A comparison of control problems for timed and hybrid systems
F Cassez, TA Henzinger, JF Raskin
Hybrid Systems: Computation and Control: 5th International Workshop, HSCC …, 2002
The system can't perform the operation now. Try again later.
Articles 1–20