Jean-François Raskin
Jean-François Raskin
Verified email at ulb.ac.be - Homepage
Title
Cited by
Cited by
Year
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
3882010
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
2452012
A game-based verification of non-repudiation and fair exchange protocols
S Kremer, JF Raskin
International Conference on Concurrency Theory, 551-565, 2001
2102001
Algorithms for omega-regular games with imperfect information
JF Raskin, TA Henzinger, L Doyen, K Chatterjee
Logical Methods in Computer Science 3, 2007
2062007
Antichains: A new algorithm for checking universality of finite automata
M De Wulf, L Doyen, TA Henzinger, JF Raskin
International Conference on Computer Aided Verification, 17-30, 2006
2002006
The regular real-time languages
TA Henzinger, JF Raskin, PY Schobbens
International Colloquium on Automata, Languages, and Programming, 580-591, 1998
1601998
Almost ASAP semantics: From timed models to timed implementations
M De Wulf, L Doyen, JF Raskin
International Workshop on Hybrid Systems: Computation and Control, 296-310, 2004
1532004
Acacia+, a tool for LTL synthesis
A Bohy, V Bruyere, E Filiot, N Jin, JF Raskin
International Conference on Computer Aided Verification, 652-657, 2012
1452012
Generalized mean-payoff and energy games
K Chatterjee, L Doyen, TA Henzinger, JF Raskin
arXiv preprint arXiv:1007.1669, 2010
1452010
Antichains and compositional algorithms for LTL synthesis
E Filiot, N Jin, JF Raskin
Formal Methods in System Design 39 (3), 261-296, 2011
143*2011
Faster algorithms for mean-payoff games
L Brim, J Chaloupka, L Doyen, R Gentilini, JF Raskin
Formal methods in system design 38 (2), 97-118, 2011
1402011
An antichain algorithm for LTL realizability
E Filiot, N Jin, JF Raskin
International Conference on Computer Aided Verification, 263-277, 2009
1402009
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
1252006
Towards the automated verification of multithreaded Java programs
G Delzanno, JF Raskin, L Van Begin
International Conference on Tools and Algorithms for the Construction and …, 2002
1122002
Robust undecidability of timed and hybrid systems
TA Henzinger, JF Raskin
International Workshop on Hybrid Systems: Computation and Control, 145-159, 2000
1122000
Game analysis of abuse-free contract signing
S Kremer, JF Raskin
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 206-220, 2002
1102002
A comparison of control problems for timed and hybrid systems
F Cassez, TA Henzinger, JF Raskin
International Workshop on Hybrid Systems: Computation and Control, 134-148, 2002
1012002
Strategy synthesis for multi-dimensional quantitative objectives
K Chatterjee, M Randour, JF Raskin
International Conference on Concurrency Theory, 115-131, 2012
982012
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
962007
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
922015
The system can't perform the operation now. Try again later.
Articles 1–20