Wolf Zimmermann

According to our database, Wolf Zimmermann authored at least 69 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Small Step Incremental Verification of Compilers.

Wolf Zimmermann, Thomas Kühn, Edward Sabinus, Mandy Weißbach

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2021

A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.

Wolf Zimmermann, Mandy Weißbach

Proceedings of the Logic, Computation and Rigorous Methods, 2021

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

Proceedings of the Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018), 2018

On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems.

Mandy Weißbach, Wolf Zimmermann

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2018

2017

On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion.

Mandy Weißbach, Wolf Zimmermann

Proceedings of the Service-Oriented and Cloud Computing, 2017

2016

A domain specific language for optimal pumping systems.

Benjamin Saul, Christian Berg, Wolf Zimmermann

Proceedings of the 1st Industry Track on Software Language Engineering, 2016

2014

On expanding protocol conformance checking to exception handling.

Christian Heike, Wolf Zimmermann, Andreas Both

Serv. Oriented Comput. Appl., 2014

Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen.

Christian Berg, Wolf Zimmermann

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

DSL Implementation for Model-Based Development of Pumps.

Christian Berg, Wolf Zimmermann

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Model-Based Code-Generators and Compilers - Track Introduction.

Uwe Aßmann, Jens Knoop, Wolf Zimmermann

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Konvergenznachweis von asynchronen Algorithmen.

Benjamin Saul, Wolf Zimmermann

Proceedings of the Informatiktage 2014: Big (Data) is beautiful, 2014

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, Matthias Müller-Hannemann, Martin Winter, Wolf Zimmermann

Proceedings of the DATA 2014, 2014

2013

Ausnutzung von Mehrkernpotenzialen durch asynchrone Iterationen.

René Franke, Wolf Zimmermann

Softwaretechnik-Trends, 2013

In-Memory basierte Real-Time Supply Chain Planung.

Dirk Schmalzried, Carina Cundius, René Franke, Christian Lambeck, Rainer Alt, Wolf Zimmermann, Rainer Groh

Proceedings of the 11. Internationale Tagung Wirtschaftsinformatik, 2013

Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille?

Wolf Zimmermann

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

2012

Protocol Conformance Checking of Services with Exceptions.

Christian Heike, Wolf Zimmermann, Andreas Both

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

A Hoare-style verification calculus for control state ASMs.

Werner Gabrisch, Wolf Zimmermann

Proceedings of the Balkan Conference in Informatics, 2012, 2012

2011

Robuste Komponentensysteme durch Protokollprüfung.

Andreas Both, Wolf Zimmermann

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2010

On the Role of Non-functional Properties in Compiler Verification.

Jens Knoop, Wolf Zimmermann

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Termination analysis of business process workflows.

Mandy Weißbach, Wolf Zimmermann

Proceedings of the 5th Workshop on Emerging Web Services Technology, 2010

2009

Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives.

Andreas Both, Wolf Zimmermann, René Franke

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Variablenelimination für symbolische Modelle.

Dirk Richter, Wolf Zimmermann

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Sicherstellung der Funktionalität in Komponentensystemen und Service-orientierten Architekturen.

Andreas Both, Wolf Zimmermann

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

A Step Towards a More Practical Protocol Conformance Checking Algorithm.

Andreas Both, Wolf Zimmermann

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

On More Predictable Implementations of Reliable Workflows in Service-oriented Architectures.

Andreas Both, Wolf Zimmermann

Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

2008

Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems.

Andreas Both, Wolf Zimmermann

Proceedings of the ECOWS 2008, 2008

Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems.

Andreas Both, Wolf Zimmermann

Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2006

Preface.

Jens Knoop, George C. Necula, Wolf Zimmermann

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

Automatic Checking of Component Protocols in Component-Based Systems.

Wolf Zimmermann, Michael Schaarschmidt

Proceedings of the Software Composition - 5th International Symposium, 2006

2005

Foundations for the integration of scheduling techniques into compilers for parallel languages.

Wolf Zimmermann, Welf Löwe

Int. J. Comput. Sci. Eng., 2005

Editorial reusable software libraries.

Wolf Zimmermann

IEE Proc. Softw., 2005

Translation validation for model-based code-generators for PLCs.

D. Pollmacher, Wolf Zimmermann, Hans-Michael Hanisch

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

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, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf

Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005

2004

Natural semantics as a static program analysis framework.

Sabine Glesner, Wolf Zimmermann

ACM Trans. Program. Lang. Syst., 2004

Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers).

Sabine Glesner, Gerhard Goos, Wolf Zimmermann

it Inf. Technol., 2004

On the Correctness of Transformations in Compiler Back-Ends.

Wolf Zimmermann

Proceedings of the Leveraging Applications of Formal Methods, 2004

Lookahead Scheduling for Reconfigurable GRID Systems.

Jesper Andersson, Morgan Ericsson, Welf Löwe, Wolf Zimmermann

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.

Wolf Zimmermann, Axel Dold

Proceedings of the Abstract State Machines, 2003

2002

On scheduling send-graphs and receive-graphs under the LogP-model.

Wolf Zimmermann, Welf Löwe, Denis Trystram

Inf. Process. Lett., 2002

Preface.

Jens Knoop, Wolf Zimmermann

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

On Scheduling Task-Graphs to LogP-Machines with Disturbances.

Welf Löwe, Wolf Zimmermann

Proceedings of the Euro-Par 2002, 2002

2001

Source Code and Task Graphs in Program Optimization.

Welf Löwe, Wolf Zimmermann, Sven Dickert, Jörn Eisenbiegler

Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

2000

Construction of robust class hierarchies.

Arne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann

Softw. Pract. Exp., 2000

Scheduling balanced task-graphs to LogP-machines.

Welf Löwe, Wolf Zimmermann

Parallel Comput., 2000

Weak Subtyping and Genericity.

Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Verifying Compilers and ASMs.

Gerhard Goos, Wolf Zimmermann

Proceedings of the Abstract State Machines, 2000

1999

Scheduling Inverse Trees Under the Communication Model of the LogP-Machine.

Martin Middendorf, Welf Löwe, Wolf Zimmermann

Theor. Comput. Sci., 1999

Robust Dynamic Exchange of Implementation Aspects.

Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann

Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Scheduling Iterative Programs onto LogP-Machine.

Welf Löwe, Wolf Zimmermann

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

Construction of Verified Compiler Front-Ends with Program-Checking.

Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann

Proceedings of the Perspectives of System Informatics, 1999

Verification of Compilers.

Gerhard Goos, Wolf Zimmermann

Proceedings of the Correct System Design, 1999

1998

Correct Programs without Proof? On Checker-Based Program Verification.

Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann

Proceedings of the International Workshop Tool Support for System Specification, 1998

Weak Subtyping - Yet Another Notion of Inheritance.

Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann

Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

An Approach to Improve Locality Using Sandwich Types.

Daniela Genius, Martin Trapp, Wolf Zimmermann

Proceedings of the Types in Compilation, Second International Workshop, 1998

Using many-sorted natural semantics to specify and generate semantic analysis.

Sabine Glesner, Wolf Zimmermann

Proceedings of the Systems Implementation 2000, 1998

On Optimal k-linear Scheduling of Tree-Like Graphs for LogP-Machines.

Wolf Zimmermann, Martin Middendorf, Welf Löwe

Proceedings of the Euro-Par '98 Parallel Processing, 1998

BSP, LogP, and Oblivious Programs.

Jörn Eisenbiegler, Welf Löwe, Wolf Zimmermann

Proceedings of the Euro-Par '98 Parallel Processing, 1998

The Construction Principles of the Class Library KARLA.

Wolf Zimmermann, Arne Frick, Rainer Neumann

Proceedings of the Generic Programming, 1998

ASM-based Mechanized Verification of Compiler Back-Ends.

Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann

Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1997

On the Construction of Correct Compiler Back-Ends: An ASM-Approach.

Wolf Zimmermann, Thilo Gaul

J. Univers. Comput. Sci., 1997

Eine Methode zur Konstruktion robuster Klassenhierarchien.

Arne Frick, Rainer Neumann, Wolf Zimmermann

Inform. Forsch. Entwickl., 1997

Mechanical Generation of Robust Class Hierarchies.

József Frigó, Rainer Neumann, Wolf Zimmermann

Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

On Linear Schedules of Task Graphs for Generalized LogP-Machines.

Welf Löwe, Wolf Zimmermann, Jörn Eisenbiegler

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

Konstruktion robuster und flexibler Klassenbibliotheken.

Arne Frick, Walter Zimmer, Wolf Zimmermann

Inform. Forsch. Entwickl., 1996

Optimization of Parallel Programs on Machines with Expensive Communication.

Welf Löwe, Jörn Eisenbiegler, Wolf Zimmermann

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine.

Welf Löwe, Wolf Zimmermann

Proceedings of the 9th international conference on Supercomputing, 1995

1994

Reasoning about Complexity of Object-Oriented Programs.

Heinz W. Schmidt, Wolf Zimmermann

Proceedings of the Programming Concepts, 1994

An Approach to Machine-Independent Parallel Programming.

Wolf Zimmermann, Welf Löwe

Proceedings of the Parallel Processing: CONPAR 94, 1994

1990

Automatische Komplexitätsanalyse funktionaler Programme

Wolf Zimmermann

PhD thesis, 1990