Jan-Willem Roorda

Publication Activity (10 Years)

Years Active: 2002-2009
Publications (10 Years): 0

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi
Model Checking Verilog Descriptions of Cell Libraries. ACSD (2009)
Koen Claessen, Jan-Willem Roorda
A Faithful Semantics for Generalised Symbolic Trajectory Evaluation Log. Methods Comput. Sci. 5 (2) (2009)
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. FMICS (2009)
Koen Claessen, Jan-Willem Roorda
An Introduction to Symbolic Trajectory Evaluation. SFM (2006)
Jan-Willem Roorda, Koen Claessen
SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. CAV (2006)
Jan-Willem Roorda, Koen Claessen
Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics. CSR (2006)
Jan-Willem Roorda, Koen Claessen
A New SAT-Based Algorithm for Symbolic Trajectory Evaluation. CHARME (2005)
Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer
Iterated Belief Change in Multi-Agent Systems. Log. J. IGPL 11 (2) (2003)
Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer
Iterated belief change in multi-agent systems. AAMAS (2002)