Yael Meller

According to our database, Yael Meller authored at least 6 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Learning-Based Compositional Model Checking of Behavioral UML Systems.

Orna Grumberg, Yael Meller

Proceedings of the Dependable Software Systems Engineering, 2016

Model Checking Techniques for Behavioral UML Models.

Yael Meller

PhD thesis, 2016

2015

Learning-Based Compositional Model Checking of Behavioral UML Systems.

Yael Meller, Orna Grumberg, Karen Yorav

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Verifying Behavioral UML Systems via CEGAR.

Yael Meller, Orna Grumberg, Karen Yorav

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2012

Applying Software Model Checking Techniques for Behavioral UML Models.

Orna Grumberg, Yael Meller, Karen Yorav

Proceedings of the FM 2012: Formal Methods, 2012

2009

A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement.

Yael Meller, Orna Grumberg, Sharon Shoham

Proceedings of the Automated Technology for Verification and Analysis, 2009