Author of the publication

Eine Methode zur Konstruktion robuster Klassenhierarchien.

, , and . Inform., Forsch. Entwickl., 12 (4): 186-195 (1997)

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

On the Role of Non-functional Properties in Compiler Verification., and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 491-495. Springer, (2010)Scheduling Iterative Programs onto LogP-Machine., and . Euro-Par, volume 1685 of Lecture Notes in Computer Science, page 332-339. Springer, (1999)ASM-based Mechanized Verification of Compiler Back-Ends., , , and . Workshop on Abstract State Machines, page 50-67. (1998)A Step Towards a More Practical Protocol Conformance Checking Algorithm., and . EUROMICRO-SEAA, page 458-465. IEEE Computer Society, (2009)Eine Methode zur Konstruktion robuster Klassenhierarchien., , and . Inform., Forsch. Entwickl., 12 (4): 186-195 (1997)Robuste Komponentensysteme durch Protokollprüfung., and . GI-Jahrestagung, volume P-192 of LNI, page 314. GI, (2011)Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives., , and . Electron. Notes Theor. Comput. Sci., (2010)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)Scheduling Inverse Trees Under the Communication Model of the LogP-Machine., , and . Theor. Comput. Sci., 215 (1-2): 137-168 (1999)BSP, LogP, and Oblivious Programs., , and . Euro-Par, volume 1470 of Lecture Notes in Computer Science, page 865-874. Springer, (1998)