Login / Signup
Sandy Beidu
Publication Activity (10 Years)
Years Active: 2013-2019
Publications (10 Years): 4
Top Topics
Feature Interactions
Product Lines
Formal Methods
State Machines
Top Venues
FormaliSE@ICSE
ICSE (1)
MiSE@ICSE
MoDeVVa@MoDELS
</>
Publications
</>
Sandy Beidu
,
Joanne M. Atlee
Detecting Feature Interactions in FORML Models.
From Software Engineering to Formal Methods and Tools, and Back
(2019)
Sandy Beidu
,
Joanne M. Atlee
,
Pourya Shaker
Incremental and Commutative Composition of State-Machine Models of Features.
MiSE@ICSE
(2015)
Joanne M. Atlee
,
Sandy Beidu
,
Uli Fahrenberg
,
Axel Legay
Merging Features in Featured Transition Systems.
MoDeVVa@MoDELS
(2015)
Shoham Ben-David
,
Baruch Sterin
,
Joanne M. Atlee
,
Sandy Beidu
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods.
ICSE (1)
(2015)
Joanne M. Atlee
,
Sandy Beidu
,
Nancy A. Day
,
Fathiyeh Faghih
,
Pourya Shaker
Recommendations for improving the usability of formal methods for product lines.
FormaliSE@ICSE
(2013)