Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Study of the Electrum and DynAlloy Dynamic Behavior Notations., , , und . IEEE Trans. Software Eng., 49 (11): 4946-4963 (November 2023)Artifact of Bounded Exhaustive Search of Alloy Specification Repairs., , , , , , und . ICSE (Companion Volume), Seite 209-210. IEEE, (2021)Automated Repair of Unrealisable LTL Specifications Guided by Model Counting., , , , , und . GECCO, Seite 1499-1507. ACM, (2023)Enabling Efficient Assertion Inference., , , , , , und . ISSRE, Seite 623-634. IEEE, (2023)Efficient Test Generation Guided by Field Coverage Criteria., , , , und . ASE, Seite 91-101. IEEE, (2019)Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems., , , und . Fundam. Informaticae, 166 (4): 297-347 (2019)Specification Inference for Evolving Systems., , , , und . CoRR, (2023)Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT., , , , , , , und . CoRR, (2019)ACoRe: Automated Goal-Conflict Resolution., , , , , , und . FASE, Volume 13991 von Lecture Notes in Computer Science, Seite 3-25. Springer, (2023)Efficient Bounded Exhaustive Input Generation from Program APIs., , , , , und . FASE, Volume 13991 von Lecture Notes in Computer Science, Seite 111-132. Springer, (2023)