Yonit Kesten

From MaRDI portal
Person:208769

Available identifiers

zbMath Open kesten.yonitMaRDI QIDQ208769

List of research outcomes





PublicationDate of PublicationType
Bridging the gap between fair simulation and trace inclusion.2010-04-20Paper
Model checking with strong fairness2006-09-28Paper
Bridging the gap between fair simulation and trace inclusion2005-08-05Paper
A compositional approach to CTL\(^*\) verification2005-04-06Paper
https://portal.mardi4nfdi.de/entity/Q47369982004-08-11Paper
Complete Proof System for QPTL2003-06-21Paper
https://portal.mardi4nfdi.de/entity/Q44844752003-06-12Paper
https://portal.mardi4nfdi.de/entity/Q44844812003-06-12Paper
Verification by augmented finitary abstraction2003-01-14Paper
Decidable integration graphs.2003-01-14Paper
Verification by augmented abstraction: The automata-theoretic view2002-04-28Paper
Taming the infinite: Verification of infinite-state reactive systems by finitary means2002-01-30Paper
Symbolic model checking with rich assertional languages2001-08-20Paper
Verification of clocked and hybrid systems2000-11-22Paper
https://portal.mardi4nfdi.de/entity/Q49452222000-09-26Paper
Control and data abstraction: The cornerstones of practical formal verification2000-01-01Paper

Research outcomes over time

This page was built for person: Yonit Kesten

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