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
3752010
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
2312012
A game-based verification of non-repudiation and fair exchange protocols
S Kremer, JF Raskin
International Conference on Concurrency Theory, 551-565, 2001
2072001
Algorithms for omega-regular games with imperfect information
K Chatterjee, L Doyen, TA Henzinger, JF Raskin
International Workshop on Computer Science Logic, 287-302, 2006
2022006
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
1952006
The regular real-time languages
TA Henzinger, JF Raskin, PY Schobbens
International Colloquium on Automata, Languages, and Programming, 580-591, 1998
1561998
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
1542004
Generalized mean-payoff and energy games
K Chatterjee, L Doyen, TA Henzinger, JF Raskin
arXiv preprint arXiv:1007.1669, 2010
1382010
An antichain algorithm for LTL realizability
E Filiot, N Jin, JF Raskin
International Conference on Computer Aided Verification, 263-277, 2009
1362009
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
1352012
Antichains and compositional algorithms for LTL synthesis
E Filiot, N Jin, JF Raskin
Formal Methods in System Design 39 (3), 261-296, 2011
135*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
1352011
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
1222006
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
1102002
Robust undecidability of timed and hybrid systems
TA Henzinger, JF Raskin
International Workshop on Hybrid Systems: Computation and Control, 145-159, 2000
1102000
Game analysis of abuse-free contract signing
S Kremer, JF Raskin
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 206-220, 2002
1092002
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
1022002
Strategy synthesis for multi-dimensional quantitative objectives
K Chatterjee, M Randour, JF Raskin
International Conference on Concurrency Theory, 115-131, 2012
932012
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
922007
Logics, automata and classical theories for deciding real time
JF Raskin
Facultés universitaires Notre-Dame de la Paix, Namur, 1999
881999
The system can't perform the operation now. Try again later.
Articles 1–20