Author of the publication

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.

, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and . Perspectives Workshop, volume 05402 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)

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)Termination analysis of business process workflows., and . WEWST, page 18-25. ACM, (2010)Scheduling balanced task-graphs to LogP-machines., and . Parallel Comput., 26 (9): 1083-1108 (2000)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)Correct Programs without Proof? On Checker-Based Program Verification., , and . Tool Support for System Specification, Development and Verification, page 108-122. Springer, (1998)Scheduling Iterative Programs onto LogP-Machine., and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 332-339. Springer, (1999)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)Preface., , and . COCV@ETAPS, volume 132 of Electronic Notes in Theoretical Computer Science, page 1-3. Elsevier, (2004)