Publications:
- Jan-Willem Roorda
Semantics, Decision Procedures and
Abstraction Refinement for Symbolic Trajectory Evaluation
Ph.D.-thesis, 2006.
- Jan-Willem Roorda
and Koen Claessen
A Faithful Semantics for Generalized
Symbolic Trajectory Evaluation
Technical Report 2006:20, Department of Computer Science and
Engineering, Chalmers University of Technology, 2006.
- Jan-Willem Roorda and Koen Claessen
SAT-based Assistance in Abstraction
Refinement for Symbolic Trajectory Evaluation
Conference on Computer-Aided Verification 2006, (CAV 2006).
LNCS
© Springer-Verlag
[pdf]
- Jan-Willem Roorda
and Koen Claessen
SAT-based Assistance in Abstraction
Refinement for Symbolic Trajectory Evaluation
Technical Report 2006:5, Department of Computer Science and
Engineering, Chalmers University of Technology, 2006.
(superseded by the CAV 2006 publication above)
[pdf]
- Koen Claessen and
Jan-Willem Roorda
An Introduction to Symbolic
Trajectory Evaluation
in Marco Bernardo (ed.), 6th International School on Formal Methods for
the Design of Computer,
Communication and Software Systems: Hardware Verification
LNCS
© Springer-Verlag
[pdf]
- Jan-Willem
Roorda
and Koen Claessen
Explaining Symbolic Trajectory
Evaluation by giving it a Faithful Semantics
International Computer Science Symposium in Russia 2006, (CSR 2006).
LNCS Vol. 3976
© Springer-Verlag
[pdf]
- Jan-Willem Roorda
and Koen Claessen
A new SAT-based Algorithm for
Symbolic Trajectory Evaluation
Correct Hardware Design and Verification Methods 2005, (CHARME 2005).
LNCS Vol. 3725
© Springer-Verlag
[pdf]
- Jan-Willem Roorda
Symbolic Trajectory Evaluation
using a Satisfiability Solver
Ph. Licentiate Thesis, 2005.
[ps]
- J.W. Roorda, W.
van der Hoek and J.-J.Ch
Meyer
Iterated
Belief Change in Multi Agent Systems
Logic Journal of the IGPL, volume 11, 2003.
[ps] [pdf]
[bib]
- J.W. Roorda, W.
van der Hoek and J.-J.Ch
Meyer
Iterated
Belief Change in Multi Agent Systems
First International Joint Conference on
Autonomous Agents and
Multi
Agent Systems (AAMAS), 2002.
[ps]