Willem Visser

Available identifiers

zbMath Open visser.willemDBLP54/5019WikidataQ117599621 ScholiaQ117599621MaRDI QIDQ816188

List of research outcomes

Publication	Date of Publication	Type
Improving Symbolic Automata Learning with Concolic Execution	2022-10-13	Paper
Predicate Abstraction with Under-approximation Refinement	2007-10-11	Paper
Model Checking Software	2007-09-28	Paper
Model Checking Software	2007-05-02	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Verifying time partitioning in the DEOS scheduling kernel	2006-02-20	Paper
Computer Aided Verification	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4738485	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4426376	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4417955	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4531753	2002-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q2769593	2002-02-05	Paper
Practical CTL* model checking: Should SPIN be extended?	2000-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4356446	1997-10-01	Paper
A refined mixed-type plate bending element.	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5666267	1969-01-01	Paper

Research outcomes over time

This page was built for person: Willem Visser