Vorlesungen über Informatik: Band 1: Grundlagen und funktionales Programmieren G Goos Springer-Verlag, 2013 | 127 | 2013 |
Compiler correctness and implementation verification: The verifix approach W Goerigk, A Dold, T Gaul, G Goos, A Heberle, FW von Henke, ... Proceedings of the Poster Session of CC 96, 1996 | 83 | 1996 |
On the Construction of Correct Compiler Back-Ends: An ASM-Approach. W Zimmermann, T Gaul J. Univers. Comput. Sci. 3 (5), 504-567, 1997 | 76 | 1997 |
Vorlesungen über Informatik: Band 2: Objektorientiertes Programmieren und Algorithmen G Goos, W Zimmermann Springer-Verlag, 2006 | 52 | 2006 |
Correct programs without proof? On checker-based program verification W Goerigk, T Gaul, W Zimmermann Tool Support for System Specification, Development and Verification, 108-122, 1998 | 37 | 1998 |
A complexity calculus for object-oriented programs HW Schmidt, W Zimmermann Journal of Object-Oriented Systems 1 (2), 117-147, 1994 | 37 | 1994 |
An approach to machine-independent parallel programming W Zimmermann, W Löwe International Conference on Vector and Parallel Processing, 277-288, 1994 | 35 | 1994 |
ASM-based Mechanized Verification of Compiler Back-Ends. A Dold, T Gaul, V Vialard, W Zimmermann Workshop on Abstract State Machines, 50-67, 1998 | 32 | 1998 |
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) Verifix: Construction and Architecture of … S Glesner, G Goos, W Zimmermann IT-Information Technology 46 (5), 265-276, 2004 | 31 | 2004 |
An approach to improve locality using sandwich types D Genius, M Trapp, W Zimmermann Types in Compilation: Second International Workshop, TIC’98 Kyoto, Japan …, 1998 | 28 | 1998 |
On the design of reliable libraries A Frick, W Zimmer, W Zimmermann TOOLS 17, 13-23, 1995 | 27 | 1995 |
The automatic complexity analysis of divide-and-conquer algorithms P Zimmermann, W Zimmermann INRIA, 1989 | 27 | 1989 |
Construction of verified compiler front-ends with program-checking A Heberle, T Gaul, W Goerigk, G Goos, W Zimmermann Perspectives of System Informatics: Third International Andrei Ershov …, 2000 | 26 | 2000 |
Automatic protocol conformance checking of recursive and parallel component-based systems A Both, W Zimmermann Component-Based Software Engineering: 11th International Symposium, CBSE …, 2008 | 25 | 2008 |
Verifying Compilers and ASMs or ASMs for uniform description of multistep transformations G Goos, W Zimmermann International Workshop on Abstract State Machines, 177-202, 2000 | 24 | 2000 |
Automatic protocol conformance checking of recursive and parallel BPEL systems A Both, W Zimmermann 2008 Sixth European Conference on Web Services, 81-91, 2008 | 23 | 2008 |
Construction of verified software systems with program-checking: An application to compiler back-ends T Gaul, A Heberle, W Zimmermann, W Goerigk Proceedings of RTRV 99, 1999 | 23 | 1999 |
Scheduling balanced task-graphs to logp-machines W Löwe, W Zimmermann Parallel Computing 26 (9), 1083-1108, 2000 | 22 | 2000 |
Automatic checking of component protocols in component-based systems W Zimmermann, M Schaarschmidt International Conference on Software Composition, 1-17, 2006 | 20 | 2006 |
On linear schedules of task graphs for generalized logp-machines W Löwe, W Zimmermann, J Eisenbiegler Euro-Par'97 Parallel Processing: Third International Euro-Par Conference …, 1997 | 20 | 1997 |