Author of the publication

A framework to formally verify conformance of a software process to a software method.

, , , , and . SAC, page 1518-1525. ACM, (2015)

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

A community-sourced view on engineering digital twins: a report from the EDT.Community., , , , , , , , and . MoDELS (Companion), page 481-485. ACM, (2022)On the Interaction of Feature Toggles., , , , and . VaMoS, page 9:1-9:5. ACM, (2022)Towards Incremental Build of Software Configurations., , , and . ICSE (NIER), page 101-105. IEEE/ACM, (2022)From Abstract to Concrete Repairs of Model Inconsistencies: An Automated Approach., , , , and . APSEC, page 456-465. IEEE Computer Society, (2017)An Exploratory Experiment on Metamodel-Transformation Co-Evolution., , , and . APSEC, page 576-581. IEEE Computer Society, (2017)Options Matter: Documenting and Fixing Non-Reproducible Builds in Highly-Configurable Systems., , , and . MSR, page 654-664. ACM, (2024)HyperDiff: Computing Source Code Diffs at Scale., , , and . ESEC/SIGSOFT FSE, page 288-299. ACM, (2023)Detecting and exploring side effects when repairing model inconsistencies., , and . SLE, page 113-126. ACM, (2019)Feature subset selection for learning huge configuration spaces: the case of linux kernel size., , , , , , , and . SPLC (A), page 85-96. ACM, (2022)On the power of abstraction: a model-driven co-evolution approach of software code., , , and . ICSE (NIER), page 85-88. ACM, (2020)