Yael Meller

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Formal Specification

Reactive Systems

Top Venues

Publications

Yael Meller, Orna Grumberg, Sharon Shoham
A framework for compositional verification of multi-valued systems via abstraction-refinement. Inf. Comput. 247 (2016)
Yael Meller, Orna Grumberg, Karen Yorav
Learning-Based Compositional Model Checking of Behavioral UML Systems. FACS (2015)
Yael Meller, Orna Grumberg, Karen Yorav
Verifying Behavioral UML Systems via CEGAR. IFM (2014)
Orna Grumberg, Yael Meller, Karen Yorav
Applying Software Model Checking Techniques for Behavioral UML Models. FM (2012)
Yael Meller, Orna Grumberg, Sharon Shoham
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. ATVA (2009)