Author of the publication

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

Open and Interactive Learning Resources for Algorithmic Problem Solving., and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 200-208. Springer, (2019)Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts., , , , and . ICFEM, volume 8144 of Lecture Notes in Computer Science, page 165-181. Springer, (2013)Recounting the Rationals: Twice!., and . MPC, volume 5133 of Lecture Notes in Computer Science, page 79-91. Springer, (2008)DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring., , , and . Autom. Softw. Eng., 31 (1): 1 (June 2024)CoqPyt: Proof Navigation in Python in the Era of LLMs., , , , , and . SIGSOFT FSE Companion, page 637-641. ACM, (2024)SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts., , , and . ASE, page 2102-2105. IEEE, (2023)Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution., , and . ECOOP, volume 263 of LIPIcs, page 4:1-4:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)The algorithmics of solitaire-like games., , and . Sci. Comput. Program., 78 (11): 2029-2046 (2013)EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications., , and . QRS, page 62-69. IEEE, (2021)Message from the RSDA 2022 Workshop Chairs., , , and . ISSRE Workshops, page xxix. IEEE, (2022)