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

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: Yonit Kesten