Yael Meller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2014
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | IFM | Verifying Behavioral UML Systems via CEGAR. | Yael Meller, Orna Grumberg, Karen Yorav |
| 2012 | FM | Applying Software Model Checking Techniques for Behavioral UML Models. | Orna Grumberg, Yael Meller, Karen Yorav |
| 2009 | ATVA | A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. | Yael Meller, Orna Grumberg, Sharon Shoham |