Yonit Kesten

MaRDI QIDQ208769zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Bridging the gap between fair simulation and trace inclusion. Lecture Notes in Computer Science	2010-04-20	Paper
Model checking with strong fairness Formal Methods in System Design	2006-09-28	Paper
Bridging the gap between fair simulation and trace inclusion Information and Computation	2005-08-05	Paper
A compositional approach to CTL^* verification Theoretical Computer Science	2005-04-06	Paper
scientific article; zbMATH DE number 2086517 (Why is no real title available?)	2004-08-11	Paper
Complete Proof System for QPTL Journal Of Logic And Computation	2003-06-21	Paper
scientific article; zbMATH DE number 1927551 (Why is no real title available?)	2003-06-12	Paper
scientific article; zbMATH DE number 1927557 (Why is no real title available?)	2003-06-12	Paper
Decidable integration graphs. Information and Computation	2003-01-14	Paper
Verification by augmented finitary abstraction Information and Computation	2003-01-14	Paper
Verification by augmented abstraction: The automata-theoretic view Journal of Computer and System Sciences	2002-04-28	Paper
Taming the infinite: Verification of infinite-state reactive systems by finitary means	2002-01-30	Paper
Symbolic model checking with rich assertional languages Theoretical Computer Science	2001-08-20	Paper
Verification of clocked and hybrid systems Acta Informatica	2000-11-22	Paper
scientific article; zbMATH DE number 1424032 (Why is no real title available?)	2000-09-26	Paper
Control and data abstraction: The cornerstones of practical formal verification International Journal on Software Tools for Technology Transfer. STTT	2000-01-01	Paper

Research outcomes over time

This page was built for person: Yonit Kesten