Automatische Komplexitätsanalyse funktionaler Programme - Wolf Zimmermann (Springer, 1990)

An Approach to Machine-Independent Parallel Programming. - Wolf Zimmermann; Welf Löwe (CONPAR, 1994)

Reasoning about Complexity of Object-Oriented Programs. - Heinz W. Schmidt; Wolf Zimmermann (PROCOMET, 1994)

Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine. - Welf Löwe; Wolf Zimmermann (International Conference on Supercomputing, 1995)

Optimization of Parallel Programs on Machines with Expensive Communication. - Welf Löwe; Jörn Eisenbiegler; Wolf Zimmermann (Euro-Par, Vol. II, 1996)

Konstruktion robuster und flexibler Klassenbibliotheken. - Arne Frick; Walter Zimmer; Wolf Zimmermann (Inform. Forsch. Entwickl., 1996)

On Linear Schedules of Task Graphs for Generalized LogP-Machines. - Welf Löwe; Wolf Zimmermann; Jörn Eisenbiegler (Euro-Par, 1997)

Mechanical Generation of Robust Class Hierarchies. - József Frigó; Rainer Neumann; Wolf Zimmermann (TOOLS (23), 1997)

Eine Methode zur Konstruktion robuster Klassenhierarchien. - Arne Frick; Rainer Neumann; Wolf Zimmermann (Inform. Forsch. Entwickl., 1997)

On the Construction of Correct Compiler Back-Ends: An ASM-Approach. - Wolf Zimmermann; Thilo Gaul (J. Univers. Comput. Sci., 1997)

ASM-based Mechanized Verification of Compiler Back-Ends. - Axel Dold; Thilo Gaul; Vincent Vialard; Wolf Zimmermann (Workshop on Abstract State Machines, 1998)

The Construction Principles of the Class Library KARLA. - Wolf Zimmermann; Arne Frick; Rainer Neumann (Generic Programming, 1998)

BSP, LogP, and Oblivious Programs. - Jörn Eisenbiegler; Welf Löwe; Wolf Zimmermann (Euro-Par, 1998)

On Optimal k-linear Scheduling of Tree-Like Graphs for LogP-Machines. - Wolf Zimmermann; Martin Middendorf; Welf Löwe (Euro-Par, 1998)

Using many-sorted natural semantics to specify and generate semantic analysis. - Sabine Glesner; Wolf Zimmermann (Systems Implementation 2000, 1998)

An Approach to Improve Locality Using Sandwich Types. - Daniela Genius; Martin Trapp 002; Wolf Zimmermann (Types in Compilation, 1998)

Weak Subtyping - Yet Another Notion of Inheritance. - Welf Löwe; Rainer Neumann; Martin Trapp 002; Wolf Zimmermann (TOOLS (26), 1998)

Correct Programs without Proof? On Checker-Based Program Verification. - Wolfgang Goerigk; Thilo Gaul; Wolf Zimmermann (Tool Support for System Specification, Development and Verification, 1998)

Verification of Compilers. - Gerhard Goos; Wolf Zimmermann (Correct System Design, 1999)

Construction of Verified Compiler Front-Ends with Program-Checking. - Andreas Heberle; Thilo Gaul; Wolfgang Goerigk; Gerhard Goos; Wolf Zimmermann (Ershov Memorial Conference, 1999)

Scheduling Iterative Programs onto LogP-Machine. - Welf Löwe; Wolf Zimmermann (Euro-Par, 1999)

Robust Dynamic Exchange of Implementation Aspects. - Welf Löwe; Rainer Neumann; Martin Trapp 002; Wolf Zimmermann (TOOLS (29), 1999)

Scheduling Inverse Trees Under the Communication Model of the LogP-Machine. - Martin Middendorf; Welf Löwe; Wolf Zimmermann (Theor. Comput. Sci., 1999)

Verifying Compilers and ASMs. - Gerhard Goos; Wolf Zimmermann (Abstract State Machines, 2000)

Weak Subtyping and Genericity. - Andreas Heberle; Welf Löwe; Rainer Neumann; Wolf Zimmermann (TOOLS (34), 2000)

Scheduling balanced task-graphs to LogP-machines. - Welf Löwe; Wolf Zimmermann (Parallel Comput., 2000)

Construction of robust class hierarchies. - Arne Frick; Gerhard Goos; Rainer Neumann; Wolf Zimmermann (Softw. Pract. Exp., 2000)

Source Code and Task Graphs in Program Optimization. - Welf Löwe; Wolf Zimmermann; Sven Dickert; Jörn Eisenbiegler (HPCN Europe, 2001)

On Scheduling Task-Graphs to LogP-Machines with Disturbances. - Welf Löwe; Wolf Zimmermann (Euro-Par, 2002)

Preface. - Jens Knoop; Wolf Zimmermann (COCV@ETAPS, 2002)

On scheduling send-graphs and receive-graphs under the LogP-model. - Wolf Zimmermann; Welf Löwe; Denis Trystram (Inf. Process. Lett., 2002)

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. - Wolf Zimmermann; Axel Dold (Abstract State Machines, 2003)

Lookahead Scheduling for Reconfigurable GRID Systems. - Jesper Andersson; Morgan Ericsson; Welf Löwe; Wolf Zimmermann (Euro-Par, 2004)

On the Correctness of Transformations in Compiler Back-Ends. - Wolf Zimmermann (ISoLA, 2004)

Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). - Sabine Glesner; Gerhard Goos; Wolf Zimmermann (it Inf. Technol., 2004)

Natural semantics as a static program analysis framework. - Sabine Glesner; Wolf Zimmermann (ACM Trans. Program. Lang. Syst., 2004)

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. - Manfred Broy; Matthias Jarke; Manfred Nagl; Hans Dieter Rombach; Armin B. Cremers; Jürgen Ebert; Sabine Glesner; Martin Glinz; Michael Goedicke; Gerhard Goos; Volker Gruhn; Wilhelm Hasselbring; et al. (Perspectives Workshop, 2005)

Translation validation for model-based code-generators for PLCs. - D. Pollmacher; Wolf Zimmermann; Hans-Michael Hanisch (ETFA, 2005)

Editorial reusable software libraries. - Wolf Zimmermann (IEE Proc. Softw., 2005)

Foundations for the integration of scheduling techniques into compilers for parallel languages. - Wolf Zimmermann; Welf Löwe (Int. J. Comput. Sci. Eng., 2005)

Automatic Checking of Component Protocols in Component-Based Systems. - Wolf Zimmermann; Michael Schaarschmidt (SC@ETAPS, 2006)

Preface. - Jens Knoop; George C. Necula; Wolf Zimmermann (COCV@ETAPS, 2006)

Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. - Andreas Both 001; Wolf Zimmermann (CBSE, 2008)

Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems. - Andreas Both 001; Wolf Zimmermann (ECOWS, 2008)

On More Predictable Implementations of Reliable Workflows in Service-oriented Architectures. - Andreas Both 001; Wolf Zimmermann (ECOWS, 2009)

A Step Towards a More Practical Protocol Conformance Checking Algorithm. - Andreas Both 001; Wolf Zimmermann (EUROMICRO-SEAA, 2009)

Sicherstellung der Funktionalität in Komponentensystemen und Service-orientierten Architekturen. - Andreas Both 001; Wolf Zimmermann (GI Jahrestagung, 2009)

Variablenelimination für symbolische Modelle. - Dirk Richter; Wolf Zimmermann (GI Jahrestagung, 2009)

Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. - Andreas Both 001; Wolf Zimmermann; René Franke (FACS@FMWeek, 2009)

Termination analysis of business process workflows. - Mandy Weißbach; Wolf Zimmermann (WEWST, 2010)

On the Role of Non-functional Properties in Compiler Verification. - Jens Knoop; Wolf Zimmermann (ISoLA (2), 2010)

Robuste Komponentensysteme durch Protokollprüfung. - Andreas Both 001; Wolf Zimmermann (GI-Jahrestagung, 2011)

A Hoare-style verification calculus for control state ASMs. - Werner Gabrisch; Wolf Zimmermann (BCI, 2012)

Protocol Conformance Checking of Services with Exceptions. - Christian Heike; Wolf Zimmermann; Andreas Both 001 (ESOCC, 2012)

Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille? - Wolf Zimmermann (Software Engineering (Workshops), 2013)

In-Memory basierte Real-Time Supply Chain Planung. - Dirk Schmalzried; Carina Cundius; René Franke; Christian Lambeck; Rainer Alt; Wolf Zimmermann; Rainer Groh 001 (Wirtschaftsinformatik, 2013)

Ausnutzung von Mehrkernpotenzialen durch asynchrone Iterationen. - René Franke; Wolf Zimmermann (Softwaretechnik-Trends, 2013)

Explorative Analysis of Heterogeneous, Unstructured, and Uncertain Data - A Computer Science Perspective on Biodiversity Research. - Clemens Beckstein; Sebastian Böcker; Martin Bogdan; Helge Bruelheide; H. Martin Bücker; Joachim Denzler; Peter Dittrich; Ivo Grosse; Alexander Hinneburg; Birgitta König-Ries; Felicitas Löffler; Manja Marz; et al. (DATA, 2014)

Konvergenznachweis von asynchronen Algorithmen. - Benjamin Saul; Wolf Zimmermann (Informatiktage, 2014)

Model-Based Code-Generators and Compilers - Track Introduction. - Uwe Aßmann; Jens Knoop; Wolf Zimmermann (ISoLA (1), 2014)

DSL Implementation for Model-Based Development of Pumps. - Christian Berg; Wolf Zimmermann (ISoLA (1), 2014)

Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen. - Christian Berg; Wolf Zimmermann (Software Engineering (Workshops), 2014)

On expanding protocol conformance checking to exception handling. - Christian Heike; Wolf Zimmermann; Andreas Both 001 (Serv. Oriented Comput. Appl., 2014)

A domain specific language for optimal pumping systems. - Benjamin Saul; Christian Berg; Wolf Zimmermann (ITSLE@SPLASH, 2016)

On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion. - Mandy Weißbach; Wolf Zimmermann (ESOCC, 2017)

On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems. - Mandy Weißbach; Wolf Zimmermann (ESOCC Workshops, 2018)

Eine Softwarearchitektur für serviceorientierte Fragetypen in E-Learning-Systemen (A Software Architecture for Service-Oriented Assessments in E-Learning-Systems). - Benjamin Saul; Wolf Zimmermann (Software Engineering (Workshops), 2018)

A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. - Wolf Zimmermann; Mandy Weißbach (Logic, Computation and Rigorous Methods, 2021)

Small Step Incremental Verification of Compilers. - Wolf Zimmermann; Thomas Kühn 001; Edward Sabinus; Mandy Weißbach (ABZ, 2024)

Workflow Net Compositions for the Analysis of Service-Oriented Systems. - Mandy Weißbach; Wolf Zimmermann; Thomas Kühn 001 (ESOCC, 2025)