Willem Visser

Available identifiers

zbMath Open visser.willemWikidataQ117599621 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Willem Visser