Jan-Willem Roorda

According to our database, Jan-Willem Roorda authored at least 9 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

A Faithful Semantics for Generalised Symbolic Trajectory Evaluation

Koen Claessen, Jan-Willem Roorda

Log. Methods Comput. Sci., 2009

Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models.

Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Model Checking Verilog Descriptions of Cell Libraries.

Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2006

Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation.

Jan-Willem Roorda

PhD thesis, 2006

An Introduction to Symbolic Trajectory Evaluation.

Koen Claessen, Jan-Willem Roorda

Proceedings of the Formal Methods for Hardware Verification, 2006

Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.

Jan-Willem Roorda, Koen Claessen

Proceedings of the Computer Science, 2006

SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation.

Jan-Willem Roorda, Koen Claessen

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

A New SAT-Based Algorithm for Symbolic Trajectory Evaluation.

Jan-Willem Roorda, Koen Claessen

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2003

Iterated Belief Change in Multi-Agent Systems.

Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer

Log. J. IGPL, 2003