Ansgar Fehnker

From MaRDI portal
Person:2182660

Available identifiers

zbMath Open fehnker.ansgarMaRDI QIDQ2182660

List of research outcomes





PublicationDate of PublicationType
Be lazy and don't care: faster CTL model checking for recursive state machines2023-05-26Paper
Out for coffee: with Rob2020-05-26Paper
A process algebra for wireless mesh networks2012-06-22Paper
Counterexample guided path reduction for static program analysis2010-03-09Paper
Incremental false path elimination for static software analysis2009-12-01Paper
Survey on Directed Model Checking2009-03-17Paper
Hybrid Systems: Computation and Control2007-09-25Paper
Automated Technology for Verification and Analysis2006-10-25Paper
HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY2006-08-21Paper
Hybrid Systems: Computation and Control2005-11-11Paper
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems2005-10-19Paper
https://portal.mardi4nfdi.de/entity/Q44179232003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q45511802002-09-04Paper
https://portal.mardi4nfdi.de/entity/Q45524632002-09-03Paper
https://portal.mardi4nfdi.de/entity/Q27695862002-02-05Paper

Research outcomes over time

This page was built for person: Ansgar Fehnker

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2182660&oldid=7411220"
Powered by MediaWiki