Applying Software Model Checking Techniques for Behavioral UML Models. - Orna Grumberg; Yael Meller; Karen Yorav (FM, 2012)

Verifying Behavioral UML Systems via CEGAR. - Yael Meller; Orna Grumberg; Karen Yorav (IFM, 2014)

Learning-Based Compositional Model Checking of Behavioral UML Systems. - Yael Meller; Orna Grumberg; Karen Yorav (FACS, 2015)

A framework for compositional verification of multi-valued systems via abstraction-refinement. - Yael Meller; Orna Grumberg; Sharon Shoham (Inf. Comput., 2016)

Model Checking Techniques for Behavioral UML Models. - Yael Meller (2016)

Learning-Based Compositional Model Checking of Behavioral UML Systems. - Orna Grumberg; Yael Meller (Dependable Software Systems Engineering, 2016)