Willem Visser

MaRDI QIDQ816188zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Improving Symbolic Automata Learning with Concolic Execution Fundamental Approaches to Software Engineering	2022-10-13	Paper
Predicate Abstraction with Under-approximation Refinement Logical Methods in Computer Science	2007-10-11	Paper
Model Checking Software Lecture Notes in Computer Science	2007-09-28	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-10	Paper
Verifying time partitioning in the DEOS scheduling kernel Formal Methods in System Design	2006-02-20	Paper
Computer Aided Verification Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 2087636 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1982201 (Why is no real title available?)	2003-09-16	Paper
scientific article; zbMATH DE number 1956607 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1744960 (Why is no real title available?)	2002-05-23	Paper
scientific article; zbMATH DE number 1701765 (Why is no real title available?)	2002-02-05	Paper
Practical CTL* model checking: Should SPIN be extended? International Journal on Software Tools for Technology Transfer. STTT	2000-01-01	Paper
scientific article; zbMATH DE number 1069493 (Why is no real title available?)	1997-10-01	Paper
A refined mixed-type plate bending element. AIAA Journal	1969-01-01	Paper
scientific article; zbMATH DE number 3398898 (Why is no real title available?)	1969-01-01	Paper

Research outcomes over time

This page was built for person: Willem Visser