Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Kesten, Yonit"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Bridging the gap between fair simulation and trace inclusion
Yonit Kesten
,
Nir Piterman
,
Amir Pnueli
Information and Computation
200
(1), 2005, pp. 35-61
A compositional approach to CTL* verification
Yonit Kesten
,
Amir Pnueli
Theoretical Computer Science
331
(2-3), 2005, pp. 397-428
Erratum to ''Verification by augmented finitary abstraction''
Yonit Kesten
,
Amir Pnueli
Information and Computation
172
(1), 2002, pp. 98-100
Verification by augmented abstraction: The automata-theoretic view
Yonit Kesten
,
Amir Pnueli
,
Moshe Y. Vardi
Journal of Computer and System Sciences
62
(4), 2001, pp. 668-690
Verification of clocked and hybrid systems
Yonit Kesten
,
Zohar Manna
,
Amir Pnueli
Acta Informatica
36
(11), 2000, pp. 837-912
Verification by augmented finitary abstraction
Yonit Kesten
,
Amir Pnueli
Information and Computation
163
(1), 2000, pp. 203-243
Algorithmic verification of linear temporal logic specifications
Yonit Kesten
,
Amir Pnueli
,
Li-on Raviv
Lecture Notes in Computer Science
1443
, 1998, pp. 1-16
Modularization and abstraction: The keys to practical formal verification
Yonit Kesten
,
Amir Pnueli
Lecture Notes in Computer Science
1450
, 1998, pp. 54-71
A complete proof systems for QPTL
Yonit Kesten
,
Amir Pnueli
Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (San Diego, California, June 26-29, 1995)
, 1995, pp. 2-12
Temporal verification of simulation and refinement
Yonit Kesten
,
Zohar Manna
,
Amir Pnueli
Lecture Notes in Computer Science
803
, 1994, pp. 273-346