Yonit Kesten

Available identifiers

zbMath Open kesten.yonitMaRDI QIDQ208769

List of research outcomes

Publication	Date of Publication	Type
Computer Aided Verification	2010-04-20	Paper
Model checking with strong fairness	2006-09-28	Paper
Bridging the gap between fair simulation and trace inclusion	2005-08-05	Paper
A compositional approach to CTL\(^*\) verification	2005-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4736998	2004-08-11	Paper
Complete Proof System for QPTL	2003-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4484475	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4484481	2003-06-12	Paper
Decidable integration graphs.	2003-01-14	Paper
Verification by augmented finitary abstraction	2003-01-14	Paper
Verification by augmented abstraction: The automata-theoretic view	2002-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q2767987	2002-01-30	Paper
Verification of clocked and hybrid systems	2000-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4945222	2000-09-26	Paper
Control and data abstraction: The cornerstones of practical formal verification	2000-01-01	Paper

Research outcomes over time

This page was built for person: Yonit Kesten