Wolf Zimmermann

86 papers A 2C 9Journal 13Unranked 51
YearRankTypeTitle / Venue / Authors
2025 — conf
Workflow Net Compositions for the Analysis of Service-Oriented Systems.
ESOCC
Mandy Weißbach, Wolf Zimmermann, Thomas Kühn
2024 C conf
Small Step Incremental Verification of Compilers.
ABZ
Wolf Zimmermann, Thomas Kühn, Edward Sabinus, Mandy Weißbach
2022 — ed.
Service-Oriented and Cloud Computing - 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings
ESOCC
Fabrizio Montesi, George Angelos Papadopoulos, Wolf Zimmermann
2021 — conf
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.
Logic, Computation and Rigorous Methods
Wolf Zimmermann, Mandy Weißbach
2020 — ed.
Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2018, Como, Italy, September 12-14, 2018, Revised Selected Papers
ESOCC Workshops
Maria Fazio, Wolf Zimmermann
2020 — ed.
Service-Oriented and Cloud Computing - 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings
ESOCC
Antonio Brogi, Wolf Zimmermann, Kyriakos Kritikos
2018 C conf
Eine Softwarearchitektur für serviceorientierte Fragetypen in E-Learning-Systemen (A Software Architecture for Service-Oriented Assessments in E-Learning-Systems).
Software Engineering (Workshops)
Benjamin Saul, Wolf Zimmermann
2018 — conf
On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems.
ESOCC Workshops
Mandy Weißbach, Wolf Zimmermann
2017 — conf
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion.
ESOCC
Mandy Weißbach, Wolf Zimmermann
2016 — conf
A domain specific language for optimal pumping systems.
ITSLE@SPLASH
Benjamin Saul, Christian Berg, Wolf Zimmermann
2016 C ed.
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016.
Software Engineering (Workshops)
Wolf Zimmermann, Lukas Alperowitz, Bernd Brügge, Jörn Fahsel, Andrea Herrmann, Anne Hoffmann, Andreas Krall, Dieter Landes, Horst Lichter, Dirk Riehle, Ina Schaefer, Constantin Scheuermann, Alexander Schlaefer, Sibylle Schupp, Andreas Seitz, Andreas Steffens, André Stollenwerk, Rüdiger Weißbach
2015 C ed.
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015.
Software Engineering (Workshops)
Wolf Zimmermann, Wolfgang Böhm, Clemens Grelck, Robert Heinrich, Reiner Jung, Marco Konersmann, Alexander Schlaefer, Eric Schmieders, Sibylle Schupp, Baltasar Trancón y Widemann, Thorsten Weyer
2014 — conf
DSL Implementation for Model-Based Development of Pumps.
ISoLA (1)
Christian Berg, Wolf Zimmermann
2014 C conf
Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen.
Software Engineering (Workshops)
Christian Berg, Wolf Zimmermann
2014 C conf
Explorative Analysis of Heterogeneous, Unstructured, and Uncertain Data - A Computer Science Perspective on Biodiversity Research.
DATA
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
2014 — conf
Konvergenznachweis von asynchronen Algorithmen.
Informatiktage
Benjamin Saul, Wolf Zimmermann
2014 — conf
Model-Based Code-Generators and Compilers - Track Introduction.
ISoLA (1)
Uwe Aßmann, Jens Knoop, Wolf Zimmermann
2014 J jnl
On expanding protocol conformance checking to exception handling.
Serv. Oriented Comput. Appl.
Christian Heike, Wolf Zimmermann, Andreas Both
2014 — ed.
Service-Oriented and Cloud Computing - Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings
ESOCC
Massimo Villari, Wolf Zimmermann, Kung-Kiu Lau
2013 J jnl
Ausnutzung von Mehrkernpotenzialen durch asynchrone Iterationen.
Softwaretechnik-Trends
René Franke, Wolf Zimmermann
2013 — conf
In-Memory basierte Real-Time Supply Chain Planung.
Wirtschaftsinformatik
Dirk Schmalzried, Carina Cundius, René Franke, Christian Lambeck, Rainer Alt, Wolf Zimmermann, Rainer Groh
2013 C conf
Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille?
Software Engineering (Workshops)
Wolf Zimmermann
2012 — conf
A Hoare-style verification calculus for control state ASMs.
BCI
Werner Gabrisch, Wolf Zimmermann
2012 — conf
Protocol Conformance Checking of Services with Exceptions.
ESOCC
Christian Heike, Wolf Zimmermann, Andreas Both
2011 — conf
Robuste Komponentensysteme durch Protokollprüfung.
GI-Jahrestagung
Andreas Both, Wolf Zimmermann
2010 — conf
On the Role of Non-functional Properties in Compiler Verification.
ISoLA (2)
Jens Knoop, Wolf Zimmermann
2010 — conf
Termination analysis of business process workflows.
WEWST
Mandy Weißbach, Wolf Zimmermann
2009 — conf
A Step Towards a More Practical Protocol Conformance Checking Algorithm.
EUROMICRO-SEAA
Andreas Both, Wolf Zimmermann
2009 — conf
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives.
FACS@FMWeek
Andreas Both, Wolf Zimmermann, René Franke
2009 — conf
On More Predictable Implementations of Reliable Workflows in Service-oriented Architectures.
ECOWS
Andreas Both, Wolf Zimmermann
2009 — conf
Sicherstellung der Funktionalität in Komponentensystemen und Service-orientierten Architekturen.
GI Jahrestagung
Andreas Both, Wolf Zimmermann
2009 — conf
Variablenelimination für symbolische Modelle.
GI Jahrestagung
Dirk Richter, Wolf Zimmermann
2008 — conf
Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems.
ECOWS
Andreas Both, Wolf Zimmermann
2008 — conf
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems.
CBSE
Andreas Both, Wolf Zimmermann
2007 — ed.
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006
COCV
Jens Knoop, George C. Necula, Wolf Zimmermann
2006 A conf
Automatic Checking of Component Protocols in Component-Based Systems.
SC
Wolf Zimmermann, Michael Schaarschmidt
2006 — conf
Preface.
COCV
Jens Knoop, George C. Necula, Wolf Zimmermann
2005 — conf
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.
Perspectives Workshop
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
2005 J jnl
Editorial reusable software libraries.
IEE Proc. Softw.
Wolf Zimmermann
2005 J jnl
Foundations for the integration of scheduling techniques into compilers for parallel languages.
Int. J. Comput. Sci. Eng.
Wolf Zimmermann, Welf Löwe
2005 — conf
Preface.
COCV
Jens Knoop, George C. Necula, Wolf Zimmermann
2005 — ed.
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004
COCV
Jens Knoop, George C. Necula, Wolf Zimmermann
2005 — ed.
Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005
COCV
Jens Knoop, George C. Necula, Wolf Zimmermann
2005 C conf
Translation validation for model-based code-generators for PLCs.
ETFA
D. Pollmacher, Wolf Zimmermann, Hans-Michael Hanisch
2004 — ed.
Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Abstract State Machines
Wolf Zimmermann, Bernhard Thalheim
2004 — ed.
Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003
COCV
Jens Knoop, Wolf Zimmermann
2004 — conf
Lookahead Scheduling for Reconfigurable GRID Systems.
Euro-Par
Jesper Andersson, Morgan Ericsson, Welf Löwe, Wolf Zimmermann
2004 J jnl
Natural semantics as a static program analysis framework.
ACM Trans. Program. Lang. Syst.
Sabine Glesner, Wolf Zimmermann
2004 C conf
On the Correctness of Transformations in Compiler Back-Ends.
ISoLA
Wolf Zimmermann
2004 — conf
On the Correctness of Transformations in Compiler Back-Ends.
ISoLA (Preliminary proceedings)
Wolf Zimmermann
2004 — conf
Preface.
COCV
Jens Knoop, George C. Necula, Wolf Zimmermann
2004 J jnl
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers).
it Inf. Technol.
Sabine Glesner, Gerhard Goos, Wolf Zimmermann
2003 — conf
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.
Abstract State Machines
Wolf Zimmermann, Axel Dold
2003 — conf
Preface.
COCV
Jens Knoop, Wolf Zimmermann
2002 — ed.
Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002
COCV
Jens Knoop, Wolf Zimmermann
2002 — conf
On Scheduling Task-Graphs to LogP-Machines with Disturbances.
Euro-Par
Welf Löwe, Wolf Zimmermann
2002 J jnl
On scheduling send-graphs and receive-graphs under the LogP-model.
Inf. Process. Lett.
Wolf Zimmermann, Welf Löwe, Denis Trystram
2002 — conf
Preface.
COCV
Jens Knoop, Wolf Zimmermann
2001 — conf
Source Code and Task Graphs in Program Optimization.
HPCN Europe
Welf Löwe, Wolf Zimmermann, Sven Dickert, Jörn Eisenbiegler
2000 J jnl
Construction of robust class hierarchies.
Softw. Pract. Exp.
Arne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann
2000 J jnl
Scheduling balanced task-graphs to LogP-machines.
Parallel Comput.
Welf Löwe, Wolf Zimmermann
2000 — conf
Verifying Compilers and ASMs.
Abstract State Machines
Gerhard Goos, Wolf Zimmermann
2000 — conf
Weak Subtyping and Genericity.
TOOLS (34)
Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann
1999 — conf
Construction of Verified Compiler Front-Ends with Program-Checking.
Ershov Memorial Conference
Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann
1999 — conf
Robust Dynamic Exchange of Implementation Aspects.
TOOLS (29)
Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann
1999 J jnl
Scheduling Inverse Trees Under the Communication Model of the LogP-Machine.
Theor. Comput. Sci.
Martin Middendorf, Welf Löwe, Wolf Zimmermann
1999 — conf
Scheduling Iterative Programs onto LogP-Machine.
Euro-Par
Welf Löwe, Wolf Zimmermann
1999 — conf
Verification of Compilers.
Correct System Design
Gerhard Goos, Wolf Zimmermann
1998 — conf
ASM-based Mechanized Verification of Compiler Back-Ends.
Workshop on Abstract State Machines
Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann
1998 — conf
An Approach to Improve Locality Using Sandwich Types.
Types in Compilation
Daniela Genius, Martin Trapp, Wolf Zimmermann
1998 — conf
BSP, LogP, and Oblivious Programs.
Euro-Par
Jörn Eisenbiegler, Welf Löwe, Wolf Zimmermann
1998 — conf
Correct Programs without Proof? On Checker-Based Program Verification.
Tool Support for System Specification, Development and Verification
Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann
1998 — conf
On Optimal k-linear Scheduling of Tree-Like Graphs for LogP-Machines.
Euro-Par
Wolf Zimmermann, Martin Middendorf, Welf Löwe
1998 — conf
The Construction Principles of the Class Library KARLA.
Generic Programming
Wolf Zimmermann, Arne Frick, Rainer Neumann
1998 — conf
Using many-sorted natural semantics to specify and generate semantic analysis.
Systems Implementation 2000
Sabine Glesner, Wolf Zimmermann
1998 — conf
Weak Subtyping - Yet Another Notion of Inheritance.
TOOLS (26)
Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann
1997 J jnl
Eine Methode zur Konstruktion robuster Klassenhierarchien.
Inform. Forsch. Entwickl.
Arne Frick, Rainer Neumann, Wolf Zimmermann
1997 — conf
Mechanical Generation of Robust Class Hierarchies.
TOOLS (23)
József Frigó, Rainer Neumann, Wolf Zimmermann
1997 — conf
On Linear Schedules of Task Graphs for Generalized LogP-Machines.
Euro-Par
Welf Löwe, Wolf Zimmermann, Jörn Eisenbiegler
1997 J jnl
On the Construction of Correct Compiler Back-Ends: An ASM-Approach.
J. Univers. Comput. Sci.
Wolf Zimmermann, Thilo Gaul
1996 J jnl
Konstruktion robuster und flexibler Klassenbibliotheken.
Inform. Forsch. Entwickl.
Arne Frick, Walter Zimmer, Wolf Zimmermann
1996 — conf
Optimization of Parallel Programs on Machines with Expensive Communication.
Euro-Par, Vol. II
Welf Löwe, Jörn Eisenbiegler, Wolf Zimmermann
1995 A conf
Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine.
International Conference on Supercomputing
Welf Löwe, Wolf Zimmermann
1994 — conf
An Approach to Machine-Independent Parallel Programming.
CONPAR
Wolf Zimmermann, Welf Löwe
1994 — conf
Reasoning about Complexity of Object-Oriented Programs.
PROCOMET
Heinz W. Schmidt, Wolf Zimmermann
1990 — —
Automatische Komplexitätsanalyse funktionaler Programme
Wolf Zimmermann