Sandy Beidu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2013–2015
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICSE | Incremental and Commutative Composition of State-Machine Models of Features. | Sandy Beidu, Joanne M. Atlee, Pourya Shaker |
| 2015 | ICSE | Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. | Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu |
| 2015 | MODELS | Merging Features in Featured Transition Systems. | Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay |
| 2013 | ICSE | Recommendations for improving the usability of formal methods for product lines. | Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker |