Jean-François Raskin
Jean-François Raskin
Dirección de correo verificada de ulb.ac.be - Página principal
Título
Citado por
Citado por
Año
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
3392010
A game-based verification of non-repudiation and fair exchange protocols
S Kremer, JF Raskin
International Conference on Concurrency Theory, 551-565, 2001
2002001
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
1932012
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
1912006
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
1772006
The regular real-time languages
TA Henzinger, JF Raskin, PY Schobbens
International Colloquium on Automata, Languages, and Programming, 580-591, 1998
1491998
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
1482004
Generalized mean-payoff and energy games
K Chatterjee, L Doyen, TA Henzinger, JF Raskin
arXiv preprint arXiv:1007.1669, 2010
1312010
An antichain algorithm for LTL realizability
E Filiot, N Jin, JF Raskin
International Conference on Computer Aided Verification, 263-277, 2009
1312009
Acacia+, a tool for LTL synthesis
A Bohy, V Bruyère, E Filiot, N Jin, JF Raskin
International Conference on Computer Aided Verification, 652-657, 2012
1262012
Antichains and compositional algorithms for LTL synthesis
E Filiot, N Jin, JF Raskin
Formal Methods in System Design 39 (3), 261-296, 2011
124*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
1192011
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
1112006
Robust undecidability of timed and hybrid systems
TA Henzinger, JF Raskin
International Workshop on Hybrid Systems: Computation and Control, 145-159, 2000
1072000
Game analysis of abuse-free contract signing
S Kremer, JF Raskin
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, 206-220, 2002
1042002
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
982002
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
972002
On the optimal reachability problem of weighted timed automata
P Bouyer, T Brihaye, V Bruyère, JF Raskin
Formal Methods in System Design 31 (2), 135-175, 2007
882007
Strategy synthesis for multi-dimensional quantitative objectives
K Chatterjee, M Randour, JF Raskin
International Conference on Concurrency Theory, 115-131, 2012
862012
State clock logic: A decidable real-time logic
JF Raskin, PY Schobbens
International Workshop on Hybrid and Real-Time Systems, 33-47, 1997
831997
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20