---

Publikationen

Journals

• W. Zimmermann, W. Löwe and D.
  On Scheduling Send-Graphs and Receive-Graphs under the LogP-Model,
  Information Processing Letters, 82 (2), pp. 83-92, 2002
• H.W. Schmidt and W. Zimmermann
  A Complexity Calculus for Object-Oriented Programs,
  Journal of Object-Oriented Systems, 1 (2), pp. 117--147, 1994.
• A. Frick, W. Zimmer and W. Zimmermann
  Konstruktion robuster und flexibler Klassenbibliotheken,
  Informatik - Forschung und Entwicklung, 11 (4), pp. 168-178, 1996.
• 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.
• 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
• 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.
• A. Frick, G. Goos, R. Neumann, and W. Zimmermann
  Construction of Robust Class Hierarchies,
  Software Practice and Experience, 30 (5), pp. 481-543, 2000.
• W. Löwe and W. Zimmermann
  Scheduling Balanced Task Graphs onto LogP-Machines,
  Parallel Computing26 (9), pp. 1083-1108, 2000.
• 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
• 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
• S. Glesner, G. Goos, and W. Zimmermann:
  Verifix: Konstruktion und Architektur verifizierender Übersetzer, IT Information Technology 46(5), pp. 265-276, 2004
• 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.
• Wolf Zimmermann,  Welf Löwe:
  Foundations for the integration of scheduling techniques into compilers for parallel languages, International Journal of Computational Science and Engineering 2005 -Vol. 1, No.2/3/4, S. 99 - 109, 2005

Books

• W. Zimmermann
  Automatische Komplexitätsanalyse funktionaler Programme,
  Informatik Fachberichte 261, 1990.
• W. Zimmermann
  Planbare Algorithmen - Eine Methode zum maschinenunabhängigen parallelen Programmieren,
  Shaker-Verlag, 1999.
• G. Goos and W. Zimmermann: Programmiersprachen.
  In: Handbuch der Informatik, Kapitel D2, 1997. 2. Auflage 1999, 4. Auflage 2005
• G. Goos and W. Zimmermann: Vorlesungen über Informatik
  Band 1: Grundlagen und funktionales Programmieren, 4. Auflage 2005
• G. Goos and W. Zimmermann: Vorlesungen über Informatik
  Band 2: Algorithmen und objekt-orientiertes Programmieren, 4. Auflage 2006

Conferences, Workshops, and Contributions in Books (refereed)

• 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.
• 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
• 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.
• 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
• W. Zimmermann
  The Use of Many-Valued and Non-Monotonic Logics for Program Construction,
  System Design: Concepts, Methods, and Tools (COMPEURO 88), pp. 71-81, 1988
• P. Zimmermann and W. Zimmermann
  Automatic Complexity Analysis of Divide-and-Conquer Algorithms,
  Proceedings of the Sixth International Symposium on Computer and Information Sciences, pp. 395-404, 1991
• W. Zimmermann
  Complexity Issues in the Design of Functional Languages,
  Proceedings of the 1992 International Conference on Computer Languages, pp. 34-43, 1992
• W. Zimmermann and H. Kumm
  Implementierungen von PRAM Simulationen,
  PARS-Mitteilungen 11 (3) , pp. 40-44, 3. PASA Workshop, 1993.
• W. Zimmermann and H. Kumm
  On the Implementation of Virtual Shared Memory,
  Programming Models for Massively Parallel Computers, pp. 172-178, 1993
• H.W. Schmidt and W. Zimmermann
  Reasoning about Complexity of Object-Oriented Programs,
  Programming Concepts, Methods, and Calculi. IFIP Transactions A-56, pp. 553-572, 1994.
• W. Zimmermann and W. Löwe
  An Approach to Machine-Independent Parallel Programming,
  Parallel Processing: CONPAR 94 - VAPP VI, LNCS 854, pp. 277-288, 1994.
• A. Frick, W. Zimmer, and W. Zimmermann
  Über den Entwurf robuster objekt-orientierter Klassenbibliotheken,
  Softwaretechnik-Trends15 (3), Softwaretechnik '95, pp. 35-46, 1995
• A. Frick, W. Zimmer, and W. Zimmermann
  On the Design of Reliable Libraries,
  TOOLS 17 - Technology of Object-Oriented Programming, pp. 13-23, 1995
• W. Löwe and W. Zimmermann
  On Finding Optimal Clusterings of Task Graphs,
  Parallel Algorithms/Architecture Synthesis pAs '95, pp. 241-247, 1995
• W. Löwe and W. Zimmermann
  Programming Data-Parallel - Executing Process-Parallel,
  Parallel Programming and Applications, pp. 50-64, 1995
• W. Löwe and W. Zimmermann
  Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine,
  Proceedings of the 9th ACM International Conference on Supercomputing, pp. 41-50, 1995.
• W. Zimmermann, W. Löwe and J. Gottlieb
  On the Design and Implementation of Parallel Algorithms for Solving Inverse Problems,
  Parameter Identification and Inverse Problems in Hydrology, Geology, and Ecology, pp. 283-300, 1996.
• W. Goerigk, A. Dold, T. Gaul, G. Goos, A. Heberle, F. v. Henke, U. Hoffmann, H. Langmaack, H. Pfeiffer, and W. Zimmermann
  Compiler Construction CC'96 (Poster Session), 1996.
• W. Löwe, J. Eisenbiegler, and W. Zimmermann
  Optimizing Parallel Programs on Machines with Expensive Communications,
  Europar '96 Parallel Processing. LNCS 1124, pp. 602-610, 1996.
• J. Eisenbiegler, W. Löwe, and W. Zimmermann
  Optimizing Parallel Programs on Machines with Fast Communication,
  Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems, pp. 100-103, 1996.
• A. Frick, R. Neumann, and W. Zimmermann
  Eine Methode zur Konstruktion robuster Klassenhierarchien,
  Softwaretechnik-Trends 16 (3), Softwaretechnik '96, pp. 16-23, 1996.
• A. Frick, R. Neumann, and W. Zimmermann
  A Method for the Construction of Robust Class Hierarchies,
  WOON '96, 1996.
• W. Zimmermann and W. Löwe
  Summation and Prefix Summation on LogP-Meshes,
  Proceedings of the 4th PASA-Workshop on Parallel Systems and Algorithms, pp. 229-246, 1997.
• A. Heberle, T. Gaul, G. Goos, and W. Zimmermann
  An Architecture for Verified Compiler Construction,
  Joint Modular Languages Conference (Poster Session), 1997.
• W. Löwe, W. Zimmermann, and J. Eisenbiegler
  On Linear Schedules of Task Graphs on Generalized LogP-Machines,
  Europar '97: Parallel Processing, LNCS 1300, pp. 895-904, 1997.
• J. Frigo, R. Neumann, and W. Zimmermann
  Generation of Robust Class Hierarchies,
  TOOLS 23 - Technology of Object-Oriented Languages and Systems, IEEE, pp. 282-291, 1997.
• T. Gaul, G. Goos, A. Heberle, and W. Zimmermann
  Zur Konstruktion korrekter Übersetzer,
  GI-Arbeitstagung Programmiersprachen (Workshop), 1997.
• J. Eisenbiegler, J. Gottlieb, W. Löwe, S. Schlaeger, M. Thül, W. Zimmermann
  Parallel CG-methods - Automatically Optimized for PC-Workstation Clusters High-Performance Computing Algorithms for Structured Matrix Problems, pp. 181-197, Nova Science Publishing, 1998.
• S. Glesner and W. Zimmermann
  Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis,
  Systems Implementation 2000, pp. 249--262. Chapman & Hall, IFIP, 1998.
• D. Genius, M. Trapp, and W. Zimmermann
  An Approach to improve Locality using Sandwich Types,
  Types in Compilation, LNCS 1473, pp. 194--204, 1998.
• 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.
• W. Zimmermann, M. Middendorf, and W. Löwe
  On Optimal k-linear Scheduling of Tree-like Task Graphs for LogP-Machines,
  Europar '98: Parallel Processing, LNCS 1470, pp. 328-336, 1998.
• J. Eisenbiegler, W. Löwe, and W. Zimmermann
  BSP, LogP, and Oblivious Algorithms,
  Europar '98: Parallel Processing, pp. 865-874, 1998.
• 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.
• T. Gaul, W. Goerigk, A. Heberle, U. Hoffmann, and W. Zimmermann
  Praktikable Konstruktion korrekter Übersetzer
  Softwaretechnik-Trends 18 (3), Softwaretechnik '98, pp. 26-33, 1998.
• 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.
• W. Löwe, R. Neumann, M. Trapp, and W. Zimmermann
  Robust Dynamic Exchange of Implementation Aspects,
  TOOLS 29 -- Technology of Object-Oriented Languages and Systems, IEEE, pp. 351-360, 1999.
• W. Goerigk, T. Gaul, and W. Zimmermann
  Correct Programs without Proof? On Checker Based Program Verification,
  Tool Support for System Specification and Verification, Springer Series Advances in Computing Science, pp. 108--123, 1999.
• T. Gaul, W. Goerigk, A. Heberle, and W. Zimmermann
  Construction of Verified Software Systems with Program Checking: An Application to Compiler Back-Ends,
  The Federated Logics Conference 99 Workshop on Runtime Result Verification, electronic proceedings, 1999.
• W. Löwe and W. Zimmermann
  Scheduling Iterative Programs onto LogP-Machines
  Europar '99: Parallel Processing, LNCS 1685, pp. 332-339, 1999.
• G. Goos and W. Zimmermann
  Verification of Compilers,
  Correct System Design, LNCS 1710, pp. 201-230, 1999.
• M. Schaarschmidt
  Bestimmung interessanter Projektionen für eine effiziente Clusteranalyse großer Datenmengen,
  GI-Nachwuchstagung 1999, Bad Schussenried, Konradin-Verlag, pp. 113-115
• T. Gaul, W. Goerigk, G. Goos, A. Heberle, and W. Zimmermann
  Construction of Verified Compiler Front-Ends with Program-Checking,
  Andrei Ershov 3rd International Conference on Perspectives of System Informatics PSI 99, LNCS 1755, pp. 493-502, 2000.
• W. Zimmermann, A. Frick, and R. Neumann
  The Construction Principles of the Class Library KARLA,
  Generic Programming, LNCS 1766, pp. 53-68, 2000
• G. Goos and W. Zimmermann
  Verifying Compilers and ASMs,
  Abstract State Machines, Theory and Applications, LNCS 1912, pp. 177-202, 2000.
• T. Gaul, W. Goerigk, and W. Zimmermann
  Practical Construction of Correct Compiler Implementations by Runtime Result Verification,
  Proceedings of SCI'2000, International Conference on Information Systems Analysis an Synthesis, 2000
• A. Heberle, W. Löwe, R. Neumann, and W. Zimmermann
  Weak Subtyping and Genericity,
  TOOLS 34 - Technology of Object-Oriented Languages and Systems, IEEE, pp. 149-158, 2000.
• M. Schaarschmidt
  Aspektweben auf Methodenebene,
  GI-Nachwuchstagung 2001, Bad Schussenried, Konradin-Verlag, 2001.
• 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.
• 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
• 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.
• 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
• 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.
• 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.
• 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.
• 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, S. 113-120, 2005
• Wolf Zimmermann:
  On the Correctness of Transformations in Compiler Back-Ends, In:  Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Lecture Notes in Computer Science 4313, Revised Selected Papers, S. 74-95, 2006.
• Wolf Zimmermann und Michael Schaarschmidt:
  Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers, Lecture Notes in Computer Science 4089, S. 1-17, 2006

Invited Papers

• G. Goos and W. Zimmermann
  Programmiersprachen,
  Handbuch der Informatik, Kapitel D2, 1997. 2. Auflage 1999
• S. Glesner and W. Zimmermann
  Using Many-Sorted Inference Rule to Generate Semantic Analysis,
  Promotion tut not: Innovationsmotor Graduiertenkolleg Aachener Beiträge zur Informatik, Band 21. Hrsg.: Otto Spaniol. 1997.

Editor of Proceedings/Special Issues

• 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.
• 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.
• J. Knoop and W. Zimmermann (Editors):
  Special Issue on on Compiler Optimization meets Compiler Verification. Journal of Universal Computer Science 9 (3), 2003
• W. Zimmermann and B. Thalheim (Editors):
  Abstract State Machines 2004, LNCS 3052, 2004.
• 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.
• W. Zimmermann (Editor):
  Special Issue on Reusable Software Libraries, IEE Proceedings Software 152 (1), 2005
• 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 141(2), 2005.
• Abraham Bernstein, Thomas Gschwind, Wolf Zimmermann (Herausgeber):
  4th IEEE European Conference on Web Services, ECOWS'06, 4-6 December 2006, IEEE Computer Society Press, 2006

Zum Seitenanfang