[{"text":"\n\n\nJihen Maâzoun , Nadia Bouassida , Hanêne Ben-Abdallah, Change impact analysis for software product lines, Journal of King Saud University - Computer and Information Sciences, v.28 n.4, p.364-380, October 2016\n\n\n","citation":"3010322"},{"text":"\n\n\nAbdelrahman Osman Elfaki, A rule-based approach to detect and prevent inconsistency in the domain-engineering process, Expert Systems: The Journal of Knowledge Engineering, v.33 n.1, p.3-13, February 2016\n\n\n","citation":"3071434"},{"text":"\n\n\nChristel Baier , Clemens Dubslaff , Sascha Klüppelholz , Marcus Daum , Joachim Klein , Steffen Märcker , Sascha Wunderlich, Probabilistic Model Checking and Non-standard Multi-objective Reasoning, Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, April 05-13, 2014\n\n\n","citation":"2731752"},{"text":"\n \n\nChristel Baier , Clemens Dubslaff , Sascha Klüppelholz, Trade-off analysis meets probabilistic model checking, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), July 14-18, 2014, Vienna, Austria\n\n\n","citation":"2603089"},{"text":"\n\n\nPhilipp Chrszon , Clemens Dubslaff , Sascha Klüppelholz , Christel Baier, ProFeat: feature-oriented engineering for family-based probabilistic model checking, Formal Aspects of Computing, v.30 n.1, p.45-75, January 2018\n\n\n","citation":"3182613"},{"text":"\n\n\nChristel Baier , Clemens Dubslaff, From verification to synthesis under cost-utility constraints, ACM SIGLOG News, v.5 n.4, p.26-46, October 2018\n\n\n","citation":"3292052"}]