Yonit Kesten
Ben-Gurion University of the Negev(IL)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Model-Driven Software Engineering Techniques, Petri Nets in System Modeling, Advanced Software Engineering Methodologies
Most-Cited Works
- → Symbolic model checking with rich assertional languages(2001)143 cited
- → Algorithmic verification of linear temporal logic specifications(1998)131 cited
- → Timed and Hybrid Statecharts and their textual representation(1992)126 cited
- → Integration Graphs: A class of decidable hybrid systems(1993)121 cited
- → A decision algorithm for full propositional temporal logic(1993)89 cited
- → Control and data abstraction: the cornerstones of practical formal verification(2000)84 cited
- → Verification by Augmented Finitary Abstraction(2000)78 cited
- → Network Invariants in Action*(2002)59 cited
- → A compositional approach to CTL* verification(2004)56 cited
- → Temporal verification of simulation and refinement(1994)53 cited