Author of the publication

Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?

, and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 56-66. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Deriving test plans from architectural descriptions., , , and . ICSE, page 220-229. ACM, (2000)An empirical approach for determining context of mobile systems., , and . ECSA (Companion), page 71-77. ACM, (2017)A programming model for adaptable Java applications., , and . PPPJ, page 119-128. ACM, (2010)Rewriting for Preorder Relations.. CTRS, volume 968 of Lecture Notes in Computer Science, page 223-234. Springer, (1994)Software performance model-driven architecture., , and . SAC, page 1218-1223. ACM, (2006)Ethics and Privacy in Autonomous Systems: A Software Exoskeleton to Empower the User.. SERENE, volume 11732 of Lecture Notes in Computer Science, page 3-8. Springer, (2019)Extended Transition Systems for Parametric Bisimulation., , and . ICALP, volume 700 of Lecture Notes in Computer Science, page 558-569. Springer, (1993)A framework for software project estimation based on cosmic, dsm and rework characterization., , and . BIPI@ICSE, page 15-24. ACM, (2008)A scenario based notation for specifying temporal properties., , and . SCESM, page 21-28. ACM, (2006)Automated Check of Architectural Models Consistency Using SPIN., , and . ASE, page 346-349. IEEE Computer Society, (2001)