Sandy Beidu

According to our database, Sandy Beidu authored at least 5 papers between 2013 and 2019.

Collaborative distances:

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

2019

Detecting Feature Interactions in FORML Models.

Sandy Beidu, Joanne M. Atlee

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2015

Merging Features in Featured Transition Systems.

Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay

Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods.

Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Incremental and Commutative Composition of State-Machine Models of Features.

Sandy Beidu, Joanne M. Atlee, Pourya Shaker

Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

2013

Recommendations for improving the usability of formal methods for product lines.

Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013