References of "Lazreg, Sami"
Bookmark and Share    
Full Text
Peer Reviewed
See detailAutomated evaluation of embedded-system design alternatives
Cordy, Maxime UL; Lazreg, Sami

in Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019 (2019, September)

Detailed reference viewed: 65 (2 UL)
Full Text
Peer Reviewed
See detailMultifaceted automated analyses for variability-intensive embedded systems
Lazreg, Sami; Cordy, Maxime UL; Collet, Philippe et al

in Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 (2019, May)

Detailed reference viewed: 68 (3 UL)
Full Text
Peer Reviewed
See detailTowards sampling and simulation-based analysis of featured weighted automata
Cordy, Maxime UL; Legay, Axel; Lazreg, Sami et al

in Proceedings of the 7th International Workshop on Formal Methods in Software Engineering (2019, May)

Detailed reference viewed: 84 (0 UL)