Publications of Wolf Zimmermann

Journals

  1. H.W. Schmidt and W. Zimmermann: A Complexity Calculus for Object-Oriented Programs, Journal of Object-Oriented Systems, 1 (2) , pp. 117--147, 1994.
  2. A. Frick, W. Zimmer and W. Zimmermann: Konstruktion robuster und flexibler Klassenbibliotheken, Informatik - Forschung und Entwicklung, 11 (4), pp. 168-178, 1996.
  3. W. Zimmermann and T. Gaul: On the Construction of Correct Compiler Back-Ends: An ASM-Approach, , Journal of Universal Computer Science 3 (5) , pp. 504-567, 1997.
  4. A. Frick, R. Neumann, and W. Zimmermann: Eine Methode zur Konstruktion robuster und flexibler Klassenbibliotheken , Informatik - Forschung und Entwicklung 12 (4) , pp. 186-195, 1997
  5. M. Middendorf, W. Löwe, and W. Zimmermann: Scheduling Inverse Trees under the Communication Model of the LogP-Machine,  Theoretical Computer Science, 125 , pp. 137-168, 1999.
  6. A. Frick, G. Goos, R. Neumann, and W. Zimmermann: Construction of Robust Class Hierarchies, Software Practice and Experience, 30 (5) , pp. 481-543, 2000.
  7. W. Löwe and W. Zimmermann: Scheduling Balanced Task Graphs onto LogP-Machines,  Parallel Computing26 (9), pp. 1083-1108, 2000.
  8.  W. Zimmermann, W. Löwe and D. Trystram: On Scheduling Send-Graphs and Receive-Graphs under the LogP-Model, Information Processing Letters, 82 (2), pp. 83-92, 2002
  9. S. Glesner and W. Zimmermann: Natural Semantics as a Static Analysis Framework, ACM Transactions on Programming Languages and Systems, 26(3), pp. 510-577,2004
  10. S. Glesner, G. Goos, and W. Zimmermann: Verifix: Konstruktion und Architektur verifizierender Übersetzer, IT Information Technology 46(5), pp. 265-276, 2004
  11. W. Zimmermann and W. Löwe: Foundations for the integration of scheduling techniques  into compilers for parallel languages. International Journal of Computational Science and Engineering 1(3/4), 2005.

Books

  1. W. Zimmermann: Automatische Komplexitätsanalyse funktionaler Programme. Informatik Fachberichte 261, 1990.
  2. W. Zimmermann: Planbare Algorithmen - Eine Methode zum maschinenunabhängigen parallelen Programmieren. Shaker-Verlag, 1999.
  3. G. Goos and W. Zimmermann: Programmiersprachen. In: Handbuch der Informatik, Kapitel D2, 1997. 2. Auflage 1999, 4. Auflage 2005

Conferences, Workshops, and Contributions in Books (refereed)

  1. W. Zimmermann: The Use of Many-Valued and Non-Monotonic Logics for Program Construction. In: System Design: Concepts, Methods, and Tools (COMPEURO 88), pp. 71-81, 1988
  2. P. Zimmermann and W. Zimmermann: Automatic Complexity Analysis of Divide-and-Conquer Algorithms. In: Proceedings of the Sixth International Symposium on Computer and Information Sciences, pp. 395-404, 1991
  3. W. Zimmermann: Complexity Issues in the Design of Functional Languages. In: Proceedings of the 1992 International Conference on Computer Languages, pp.34-43, 1992
  4. W. Zimmermann and H. Kumm: Implementierungen von PRAM Simulationen. PARS-Mitteilungen 11 (3) , pp. 40-44, 3. PASA Workshop, 1993.
  5. W. Zimmermann and H. Kumm: On the Implementation of Virtual Shared Memory.In: Programming Models for Massively Parallel Computers , pp. 172-178, 1993
  6. H.W. Schmidt and W. Zimmermann: Reasoning about Complexity of Object-Oriented Programs. In: Programming Concepts, Methods, and Calculi. IFIP Transactions A-56, pp. 553-572, 1994.
  7. W. Zimmermann and W. Löwe: An Approach to Machine-Independent Parallel Programming. In: Parallel Processing: CONPAR 94 - VAPP VI . LNCS 854, pp. 277-288, 1994.
  8. A. Frick, W. Zimmer, and W. Zimmermann: Über den Entwurf robuster objekt-orientierter Klassenbibliotheken. In: Softwaretechnik-Trends 15 (3), Softwaretechnik '95, pp. 35-46, 1995
  9. A. Frick, W. Zimmer, and W. Zimmermann: On the Design of Reliable Libraries. In TOOLS 17 - Technology of Object-Oriented Programming , pp. 13-23, 1995, <\LI>
  10. W. Löwe and W. Zimmermann: On Finding Optimal Clusterings of Task Graphs. In: Parallel Algorithms/Architecture Synthesis pAs '95 , pp. 241-247, 1995
  11. W. Löwe and W. Zimmermann: Programming Data-Parallel - Executing Process-Parallel. In: Parallel Programming and Applications , pp. 50-64, 1995
  12. W. Löwe and W. Zimmermann: Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine. In: Proceedings of the 9th ACM International Conference on Supercomputing, pp. 41-50, 1995.
  13. W. Zimmermann, W. Löwe and J. Gottlieb: On the Design and Implementation of Parallel Algorithms for Solving Inverse Problems. In: Parameter Identification and Inverse Problems in Hydrology, Geology, and Ecology., pp. 283-300, 1996.
  14. W. Goerigk, A. Dold, T. Gaul, G. Goos, A. Heberle, F. v. Henke, U. Hoffmann, H. Langmaack, H. Pfeiffer, and W. Zimmermann. In: Compiler Construction CC'96 (Poster Session), 1996.
  15. W. Löwe, J. Eisenbiegler, and W. Zimmermann: Optimizing Parallel Programs on Machines with Expensive Communications. In: Europar '96 Parallel Processing. LNCS 1124, pp. 602-610, 1996.
  16. J. Eisenbiegler, W. Löwe, and W. Zimmermann: Optimizing Parallel Programs on Machines with Fast Communication. In: Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems, pp. 100-103, 1996.
  17. A. Frick, R. Neumann, and W. Zimmermann: Eine Methode zur Konstruktion robuster Klassenhierarchien. In: Softwaretechnik-Trends16 (3) , Softwaretechnik '96, pp. 16-23, 1996.
  18. A. Frick, R. Neumann, and W. Zimmermann: A Method for the Construction of Robust Class Hierarchies. In: WOON '96, 1996.
  19. W. Zimmermann and W. Löwe: Summation and Prefix Summation on LogP-Meshes. In: Proceedings of the 4th PASA-Workshop on Parallel Systems and Algorithms, pp. 229-246, 1997.
  20. A. Heberle, T. Gaul, G. Goos, and W. Zimmermann: An Architecture for Verified Compiler Construction. In: Joint Modular Languages Conference (Poster Session), 1997.
  21. W. Löwe, W. Zimmermann, and J. Eisenbiegler: On Linear Schedules of Task Graphs on Generalized LogP-Machines. In: Europar '97: Parallel Processing, LNCS 1300, pp. 895-904, 1997.
  22. J. Frigo, R. Neumann, and W. Zimmermann: Generation of Robust Class Hierarchies. In: TOOLS 23 - Technology of Object-Oriented Languages and Systems , IEEE, pp. 282-291, 1997.
  23. T. Gaul, G. Goos, A. Heberle, and W. Zimmermann: Zur Konstruktion korrekter Übersetzer. In: GI-Arbeitstagung Programmiersprachen (Workshop) , 1997.
  24. J. Eisenbiegler, J. Gottlieb, W. Löwe, S. Schlaeger, M. Thül, and W. Zimmermann : Parallel CG-methods - Automatically Optimized for PC-Workstation Clusters. In High-Performance Computing Algorithms for Structured Matrix Problems,  pp. 181-197, Nova Science Publishing, 1998.
  25. S. Glesner and W. Zimmermann: Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis. In: Systems Implementation 2000 , pp. 249--262. Chapman & Hall, IFIP, 1998.
  26. D. Genius, M. Trapp, and W. Zimmermann : An Approach to improve Locality using Sandwich Types. In: Types in Compilation , LNCS 1473, pp. 194--204, 1998.
  27. R. Neumann, W. Löwe, M. Trapp, and W. Zimmermann: Weak Subtyping - Yet another Notation for Subtying. TOOLS 26 -- Technology of Object-Oriented Languages and Systems , IEEE, pp. 333--345, 1998.
  28. W. Zimmermann, M. Middendorf, and W. Löwe : On Optimal k-linear Scheduling of Tree-like Task Graphs for LogP-Machines. In: Europar '98: Parallel Processing , LNCS 1470, pp. 328-336, 1998.
  29. J. Eisenbiegler, W. Löwe, and W. Zimmermann : BSP, LogP, and Oblivious Algorithms. In: Europar '98: Parallel Processing ,  pp. 865-874, 1998.
  30. A.Dold, T. Gaul, V. Vialard, and W. Zimmermann : ASM-based Mechanical Verification of Compiler Back-Ends. Proceedings of the International Workshop on Software Tools for Technology Transfer STTT '98, pp. 13-24, 1998.
  31. T. Gaul, W. Goerigk, A. Heberle, U. Hoffmann, and W. Zimmermann : Praktikable Konstruktion korrekter Übersetzer. In: Softwaretechnik-Trends 18 (3), Softwaretechnik '98, pp. 26-33, 1998.
  32. A. Dold, T. Gaul, V.Vialard, and W. Zimmermann: ASM-based Mechanized Verification of Compiler Back-Ends. Proceedings of the 5th International Workshop on Abstract State Machines, pp. 50-67, 1998.
  33. W. Löwe, R. Neumann, M. Trapp, and W. Zimmermann: Robust Dynamic Exchange of Implementation Aspects. In: TOOLS 29 -- Technology of Object-Oriented Languages and Systems , IEEE, pp. 351-360, 1999.
  34. W. Goerigk, T. Gaul, and W. Zimmermann: Correct Programs without Proof? On Checker Based Program Verification. In: Tool Support for System Specification and Verification, Springer Series Advances in Computing Science, pp. 108--123, 1999.
  35. T. Gaul, W. Goerigk, A. Heberle, and W. Zimmermann: Construction of Verified Software Systems with Program Checking: An Application to Compiler Back-Ends. In: The Federated Logics Conference 99 Workshop on Runtime Result Verification, electronic proceedings , 1999.
  36. W. Löwe and W. Zimmermann: Scheduling Iterative Programs onto LogP-Machines. In: Europar '99: Parallel Processing, LNCS 1685, pp. 332-339, 1999.
  37. G. Goos and W. Zimmermann: Verification of Compilers, in: Correct System Design, LNCS 1710, pp. 201-230, 1999.
  38. T. Gaul, W. Goerigk, G. Goos, A. Heberle, and W. Zimmermann : Construction of Verified Compiler Front-Ends with Program-Checking. In: Andrei Ershov 3rd International Conference on Perspectives of System Informatics PSI 99,  LNCS 1755, pp. 493-502, 2000.
  39. W. Zimmermann, A. Frick, and R. Neumann: The Construction Principles of the Class Library KARLA. In: Generic Programming, LNCS 1766, pp. 53-68, 2000
  40. G. Goos and W. Zimmermann: Verifying Compilers and ASMs. In: Abstract State Machines,  Theory and Applications, LNCS 1912, pp. 177-202, 2000.
  41. T. Gaul, W. Goerigk, and W. Zimmermann: Practical Construction of Correct Compiler Implementations by Runtime Result Verification, In: Proceedings of SCI'2000, International Conference on Information Systems Analysis an Synthesis, 2000
  42. A. Heberle, W. Löwe, R. Neumann, and W. Zimmermann: Weak Subtyping and Genericity,In: TOOLS 34 - Technology of Object-Oriented Languages and Systems , IEEE, pp. 149-158, 2000.
  43. W. Löwe, W. Zimmermann, S. Dickert, and J. Eisenbiegler : Source Code and Task Graphs in Programm Optimization, In: High-Performance Computing and Networking, HPCN Europe 2001,   LNCS 2110, pp.  273--282, 2001.
  44. D. Trystram and W. Zimmermann: On Multi-Broadcast and Scheduling Receive-Graphs under LogP with Long Messages. Proceedings of the 4th International Workshop on Advanced Parallel Processing Technologies APPT'01, pp. 37-48, 2001
  45. W. Löwe and W. Zimmermann: On Scheduling Task-Graphs to LogP-Machines with Disturbances, In: Europar 2002: Parallel Processing , LNCS 2400, pp. 189-196, 2002.
  46. W. Zimmermann and A. Dold: A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Abstract State Machines 2003, LNCS 2589, pp. 391-406, 2003
  47. W. Zimmermann and M.Schaarschmidt: Model Checking of Client-Component Conformance. 2nd Nordic Conference on Web Services. Mathematical Modelling in Physics, Engineering and Cognitive Sciences 008, pp. 63-74, 2003.
  48. J. Andersson, M. Ericsson, W. Löwe, and W. Zimmermann: Lookahead Scheduling for Reconfigurable Grid Systems. In Europar 2004: Parallel Processing, LNCS 3149, pp. 263-270, 2004.
  49. D. Pollmächer, W. Zimmermann: On the Correctness of Code-Generators for PLCs. Proc. of the 9th World Multiconference on Systemics, Cybernetics and Informatics, 2005.
  50. W. Zimmermann, D. Pollmächer, and H.-M. Hanisch: Translation Validation of Model-Based Code-Generators for PLCs. In: Proceedings of the 10th IEEE International Conference on
    Emerging Technologies and Factory Automation, to appear, 2005
  51. W. Zimmermann: On the Correctness of Transformations in Compiler Back-Ends. Proceedings of the 1st International Symposium on Leveraging Formal Methods to Applications, LNCS, to appear, 2005.

Invited Papers

  1. S. Glesner and W. Zimmermann: Using Many-Sorted Inference Rule to Generate Semantic Analysis. In: Promotion tut not: Innovationsmotor Graduiertenkolleg . Aachener Beiträge zur Informatik, Band 21. Hrsg.: Otto Spaniol. 1997.

Editor of Proceedings/Special Issues

  1. J. Knoop and W. Zimmermann (Editors): Proceedings on the 1st Workshop on Compiler Optimization meets Compiler Verification. Electronic Notes on Theoretical Computer Science 65 (2), 2002.
  2. J. Knoop and W. Zimmermann (Editors): Proceedings on the 2nd Workshop on Compiler Optimization meets Compiler Verification. Electronic Notes on Theoretical Computer Science 82 (2), 2003.
  3. J. Knoop and W. Zimmermann (Editors): Special Issue on on Compiler Optimization meets Compiler Verification. Journal of Universal Computer Science 9 (3), 2003
  4. W. Zimmermann and B. Thalheim (Editors): Abstract State Machines 2004, LNCS 3052, 2004.
  5. J. Knoop, G. Necula, and W. Zimmermann (Editors): Proceedings on the 3rd Workshop on Compiler Optimization meets Compiler Verification. Electronic Notes on Theoretical Computer Science 132 (1), 2004.
  6. W. Zimmermann (Editor): Special Issue on Reusable Software Libraries, IEE Proceedings Software 152 (1), 2005
  7. J. Knoop, G. Necula, and W. Zimmermann (Editors): Proceedings on the 4th Workshop on Compiler Optimization meets Compiler Verification. Electronic Notes on Theoretical Computer Science, to appear, 2005.