Yonit Kesten - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2006

Model Checking with Strong FairnessYonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar. fmsd, 28(1):57-84, 2006. [doi]

2005

A compositional approach to CTL* verificationYonit Kesten, Amir Pnueli. TCS, 331(2-3):397-428, 2005. [doi]

Bridging the gap between fair simulation and trace inclusionYonit Kesten, Nir Piterman, Amir Pnueli. iandc, 200(1):35-61, 2005. [doi]

2003

Bridging the Gap between Fair Simulation and Trace InclusionYonit Kesten, Nir Piterman, Amir Pnueli. cav 2003: 381-393 [doi]

2002

2001

Symbolic model checking with rich assertional languagesYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar. TCS, 256(1-2):93-112, 2001. [doi]

Verification by Augmented Abstraction: The Automata-Theoretic ViewYonit Kesten, Amir Pnueli, Moshe Y. Vardi. jcss, 62(4):668-690, 2001.

2000

Control and Data Abstraction: The Cornerstones of Practical Formal VerificationYonit Kesten, Amir Pnueli. STTT, 2(4):328-342, 2000. [doi]

Verification of Clocked and Hybrid SystemsYonit Kesten, Zohar Manna, Amir Pnueli. ACTA, 36(11):837-912, 2000. [doi]

Verification by Augmented Finitary AbstractionYonit Kesten, Amir Pnueli. iandc, 163(1):203-243, 2000.

1999

Verifying Liveness by Augmented AbstractionYonit Kesten, Amir Pnueli. csl 1999: 141-156

A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life SoftwareYonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan. FM 1999: 173-194 [doi]

Decidable Integration GraphsYonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine. iandc, 150(2):209-243, 1999.

1998

Algorithmic Verification of Linear Temporal Logic SpecificationsYonit Kesten, Amir Pnueli, Li-on Raviv. icalp 1998: 1-16 [doi]

Modularization and Abstraction: The Keys to Practical Formal VerificationYonit Kesten, Amir Pnueli. mfcs 1998: 54-71 [doi]

1997

Symbolic Model Checking with Rich ssertional LanguagesYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar. cav 1997: 424-435

1996

Verification of Clocked and Hybrid SystemsYonit Kesten, Zohar Manna, Amir Pnueli. eef 1998: 4-73

1995

Verifying Clocked Transition SystemsYonit Kesten, Zohar Manna, Amir Pnueli. hybrid 1996: 13-40

A Complete Proof Systems for QPTLYonit Kesten, Amir Pnueli. lics 1995: 2-12

1993

Temporal Verification of Simulation and RefinementYonit Kesten, Zohar Manna, Amir Pnueli. rex 1994: 273-346

A Decision Algorithm for Full Propositional Temporal LogicYonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli. cav 1993: 97-109

1992

Timed and Hybrid Statecharts and Their Textual RepresentationYonit Kesten, Amir Pnueli. ftrtft 1991: 591-620

Integration Graphs: A Class of Decidable Hybrid SystemsYonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine. hybrid 1993: 179-208

Sign in or sign up to see more results.

runs on WebDSL