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

Ausnutzung von Mehrkernpotenzialen durch asynchrone Iterationen., and . Softwaretechnik-Trends, (2013)Konvergenznachweis von asynchronen Algorithmen., and . Informatiktage, volume S-13 of LNI, page 89-92. GI, (2014)Variablenelimination für symbolische Modelle., and . GI Jahrestagung, volume P-154 of LNI, page 2835-2844. GI, (2009)Termination analysis of business process workflows., and . WEWST, page 18-25. ACM, (2010)Scheduling Iterative Programs onto LogP-Machine., and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 332-339. Springer, (1999)Correct Programs without Proof? On Checker-Based Program Verification., , and . Tool Support for System Specification, Development and Verification, page 108-122. Springer, (1998)Robuste Komponentensysteme durch Protokollprüfung., and . GI-Jahrestagung, volume P-192 of LNI, page 314. GI, (2011)On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems., and . ESOCC Workshops, volume 1115 of Communications in Computer and Information Science, page 79-90. Springer, (2018)Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen., and . Software Engineering (Workshops), volume 1129 of CEUR Workshop Proceedings, page 111-128. CEUR-WS.org, (2014)A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines., and . Logic, Computation and Rigorous Methods, volume 12750 of Lecture Notes in Computer Science, page 326-352. Springer, (2021)