default search action
Wolf Zimmermann
Person information
- affiliation: Martin Luther University Halle Wittenberg, Institute of Computer Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c58]Wolf Zimmermann, Thomas Kühn, Edward Sabinus, Mandy Weißbach:
Small Step Incremental Verification of Compilers. ABZ 2024: 262-269 - 2022
- [e12]Fabrizio Montesi
, George Angelos Papadopoulos
Service-Oriented and Cloud Computing - 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings. Lecture Notes in Computer Science 13226, Springer 2022, ISBN 978-3-031-04717-6 [contents] - 2021
- [c57]Wolf Zimmermann, Mandy Weißbach:
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. Logic, Computation and Rigorous Methods 2021: 326-352 - 2020
- [e11]Maria Fazio, Wolf Zimmermann:
Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2018, Como, Italy, September 12-14, 2018, Revised Selected Papers. Communications in Computer and Information Science 1115, Springer 2020, ISBN 978-3-030-63160-4 [contents] - [e10]Antonio Brogi
Service-Oriented and Cloud Computing - 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings. Lecture Notes in Computer Science 12054, Springer 2020, ISBN 978-3-030-44768-7 [contents]
2010 – 2019
- 2018
- [c56]Mandy Weißbach, Wolf Zimmermann:
On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems. ESOCC Workshops 2018: 79-90 - [c55]Benjamin Saul, Wolf Zimmermann:
Eine Softwarearchitektur für serviceorientierte Fragetypen in E-Learning-Systemen (A Software Architecture for Service-Oriented Assessments in E-Learning-Systems). Software Engineering (Workshops) 2018: 66-71 - 2017
- [c54]Mandy Weißbach, Wolf Zimmermann:
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion. ESOCC 2017: 168-176 - 2016
- [c53]Benjamin Saul, Christian Berg, Wolf Zimmermann:
A domain specific language for optimal pumping systems. ITSLE@SPLASH 2016: 23-32 - [e9]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:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016. CEUR Workshop Proceedings 1559, CEUR-WS.org 2016 [contents] - 2015
- [e8]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:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015. CEUR Workshop Proceedings 1337, CEUR-WS.org 2015 [contents] - 2014
- [j13]Christian Heike, Wolf Zimmermann, Andreas Both:
On expanding protocol conformance checking to exception handling. Serv. Oriented Comput. Appl. 8(4): 299-322 (2014) - [c52]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
Explorative Analysis of Heterogeneous, Unstructured, and Uncertain Data - A Computer Science Perspective on Biodiversity Research. DATA 2014: 251-257 - [c51]Benjamin Saul, Wolf Zimmermann:
Konvergenznachweis von asynchronen Algorithmen. Informatiktage 2014: 89-92 - [c50]Uwe Aßmann
Model-Based Code-Generators and Compilers - Track Introduction. ISoLA (1) 2014: 386-390 - [c49]Christian Berg, Wolf Zimmermann:
DSL Implementation for Model-Based Development of Pumps. ISoLA (1) 2014: 391-406 - [c48]Christian Berg, Wolf Zimmermann:
Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen. Software Engineering (Workshops) 2014: 111-128 - [e7]Massimo Villari, Wolf Zimmermann, Kung-Kiu Lau:
Service-Oriented and Cloud Computing - Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings. Lecture Notes in Computer Science 8745, Springer 2014, ISBN 978-3-662-44878-6 [contents] - 2013
- [j12]René Franke, Wolf Zimmermann:
Ausnutzung von Mehrkernpotenzialen durch asynchrone Iterationen. Softwaretechnik-Trends 33(2) (2013) - [c47]Wolf Zimmermann:
Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille? Software Engineering (Workshops) 2013: 23-25 - [c46]Dirk Schmalzried, Carina Cundius, René Franke, Christian Lambeck, Rainer Alt, Wolf Zimmermann, Rainer Groh:
In-Memory basierte Real-Time Supply Chain Planung. Wirtschaftsinformatik 2013: 13 - 2012
- [c45]Werner Gabrisch, Wolf Zimmermann:
A Hoare-style verification calculus for control state ASMs. BCI 2012: 205-210 - [c44]Christian Heike, Wolf Zimmermann, Andreas Both:
Protocol Conformance Checking of Services with Exceptions. ESOCC 2012: 122-137 - 2011
- [c43]Andreas Both, Wolf Zimmermann:
Robuste Komponentensysteme durch Protokollprüfung. GI-Jahrestagung 2011: 314 - 2010
- [c42]Mandy Weißbach, Wolf Zimmermann:
Termination analysis of business process workflows. WEWST 2010: 18-25 - [c41]Jens Knoop, Wolf Zimmermann:
On the Role of Non-functional Properties in Compiler Verification. ISoLA (2) 2010: 491-495
2000 – 2009
- 2009
- [c40]Andreas Both, Wolf Zimmermann:
On More Predictable Implementations of Reliable Workflows in Service-oriented Architectures. ECOWS 2009: 87-96 - [c39]Andreas Both, Wolf Zimmermann:
A Step Towards a More Practical Protocol Conformance Checking Algorithm. EUROMICRO-SEAA 2009: 458-465 - [c38]Dirk Richter, Wolf Zimmermann:
Variablenelimination für symbolische Modelle. GI Jahrestagung 2009: 2835-2844 - [c37]Andreas Both, Wolf Zimmermann:
Sicherstellung der Funktionalität in Komponentensystemen und Service-orientierten Architekturen. GI Jahrestagung 2009: 3336-3348 - [c36]Andreas Both, Wolf Zimmermann, René Franke:
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. FACS@FMWeek 2009: 67-94 - 2008
- [c35]Andreas Both, Wolf Zimmermann:
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. CBSE 2008: 163-179 - [c34]Andreas Both, Wolf Zimmermann:
Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems. ECOWS 2008: 81-91 - 2007
- [e6]Jens Knoop, George C. Necula, Wolf Zimmermann:
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006. Electronic Notes in Theoretical Computer Science 176(3), Elsevier 2007 [contents] - 2006
- [c33]Wolf Zimmermann, Michael Schaarschmidt:
Automatic Checking of Component Protocols in Component-Based Systems. SC@ETAPS 2006: 1-17 - [c32]Jens Knoop, George C. Necula, Wolf Zimmermann:
Preface. COCV@ETAPS 2006: 1-2 - 2005
- [j11]Wolf Zimmermann:
Editorial reusable software libraries. IEE Proc. Softw. 152(1): 1 (2005) - [j10]Wolf Zimmermann, Welf Löwe:
Foundations for the integration of scheduling techniques into compilers for parallel languages. Int. J. Comput. Sci. Eng. 1(2/3/4): 99-109 (2005) - [c31]D. Pollmacher, Wolf Zimmermann, Hans-Michael Hanisch:
Translation validation for model-based code-generators for PLCs. ETFA 2005 - [c30]Jens Knoop, George C. Necula, Wolf Zimmermann:
Preface. COCV@ETAPS 2005: 1-3 - [e5]Jens Knoop, George C. Necula, Wolf Zimmermann:
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 132(1), Elsevier 2005 [contents] - [e4]Jens Knoop, George C. Necula, Wolf Zimmermann:
Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005. Electronic Notes in Theoretical Computer Science 141(2), Elsevier 2005 [contents] - [i1]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
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 2005 - 2004
- [j9]Sabine Glesner, Gerhard Goos, Wolf Zimmermann:
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). it Inf. Technol. 46(5): 265-276 (2004) - [j8]Sabine Glesner, Wolf Zimmermann:
Natural semantics as a static program analysis framework. ACM Trans. Program. Lang. Syst. 26(3): 510-577 (2004) - [c29]Jesper Andersson, Morgan Ericsson
Lookahead Scheduling for Reconfigurable GRID Systems. Euro-Par 2004: 263-270 - [c28]Wolf Zimmermann:
On the Correctness of Transformations in Compiler Back-Ends. ISoLA (Preliminary proceedings) 2004: 10-17 - [c27]Wolf Zimmermann:
On the Correctness of Transformations in Compiler Back-Ends. ISoLA 2004: 74-95 - [c26]Jens Knoop, George C. Necula, Wolf Zimmermann:
Preface. COCV@ETAPS 2004: 1-3 - [e3]Wolf Zimmermann, Bernhard Thalheim
Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings. Lecture Notes in Computer Science 3052, Springer 2004, ISBN 3-540-22094-1 [contents] - [e2]Jens Knoop, Wolf Zimmermann:
Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003. Electronic Notes in Theoretical Computer Science 82(2), Elsevier 2004 [contents] - 2003
- [c25]Wolf Zimmermann, Axel Dold:
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Abstract State Machines 2003: 391-406 - [c24]Jens Knoop, Wolf Zimmermann:
Preface. COCV@ETAPS 2003: 343-344 - 2002
- [j7]Wolf Zimmermann, Welf Löwe, Denis Trystram:
On scheduling send-graphs and receive-graphs under the LogP-model. Inf. Process. Lett. 82(2): 83-92 (2002) - [c23]Welf Löwe, Wolf Zimmermann:
On Scheduling Task-Graphs to LogP-Machines with Disturbances. Euro-Par 2002: 189-196 - [c22]Jens Knoop, Wolf Zimmermann:
Preface. COCV@ETAPS 2002: 115-116 - [e1]Jens Knoop, Wolf Zimmermann:
Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002. Electronic Notes in Theoretical Computer Science 65(2), Elsevier 2002 [contents] - 2001
- [c21]Welf Löwe, Wolf Zimmermann, Sven Dickert, Jörn Eisenbiegler:
Source Code and Task Graphs in Program Optimization. HPCN Europe 2001: 273-282 - 2000
- [j6]Welf Löwe, Wolf Zimmermann:
Scheduling balanced task-graphs to LogP-machines. Parallel Comput. 26(9): 1083-1108 (2000) - [j5]Arne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann:
Construction of robust class hierarchies. Softw. Pract. Exp. 30(5): 481-543 (2000) - [c20]Gerhard Goos, Wolf Zimmermann:
Verifying Compilers and ASMs. Abstract State Machines 2000: 177-202 - [c19]Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann:
Weak Subtyping and Genericity. TOOLS (34) 2000: 149-158
1990 – 1999
- 1999
- [j4]Martin Middendorf, Welf Löwe, Wolf Zimmermann:
Scheduling Inverse Trees Under the Communication Model of the LogP-Machine. Theor. Comput. Sci. 215(1-2): 137-168 (1999) - [c18]Gerhard Goos, Wolf Zimmermann:
Verification of Compilers. Correct System Design 1999: 201-230 - [c17]Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann:
Construction of Verified Compiler Front-Ends with Program-Checking. Ershov Memorial Conference 1999: 481-492 - [c16]Welf Löwe, Wolf Zimmermann:
Scheduling Iterative Programs onto LogP-Machine. Euro-Par 1999: 332-339 - [c15]Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann:
Robust Dynamic Exchange of Implementation Aspects. TOOLS (29) 1999: 351-360 - 1998
- [c14]Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann:
ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines 1998: 50-67 - [c13]Wolf Zimmermann, Arne Frick, Rainer Neumann:
The Construction Principles of the Class Library KARLA. Generic Programming 1998: 53-68 - [c12]Wolf Zimmermann, Martin Middendorf, Welf Löwe:
On Optimal k-linear Scheduling of Tree-Like Graphs for LogP-Machines. Euro-Par 1998: 328-336 - [c11]Jörn Eisenbiegler, Welf Löwe, Wolf Zimmermann:
BSP, LogP, and Oblivious Programs. Euro-Par 1998: 865-874 - [c10]Sabine Glesner, Wolf Zimmermann:
Using many-sorted natural semantics to specify and generate semantic analysis. Systems Implementation 2000 1998: 249-262 - [c9]Daniela Genius, Martin Trapp, Wolf Zimmermann:
An Approach to Improve Locality Using Sandwich Types. Types in Compilation 1998: 194-214 - [c8]Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann:
Weak Subtyping - Yet Another Notion of Inheritance. TOOLS (26) 1998: 333-345 - [c7]Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann:
Correct Programs without Proof? On Checker-Based Program Verification. Tool Support for System Specification, Development and Verification 1998: 108-122 - 1997
- [j3]Arne Frick, Rainer Neumann, Wolf Zimmermann:
Eine Methode zur Konstruktion robuster Klassenhierarchien. Inform. Forsch. Entwickl. 12(4): 186-195 (1997) - [j2]Wolf Zimmermann, Thilo Gaul:
On the Construction of Correct Compiler Back-Ends: An ASM-Approach. J. Univers. Comput. Sci. 3(5): 504-567 (1997) - [c6]Welf Löwe, Wolf Zimmermann, Jörn Eisenbiegler:
On Linear Schedules of Task Graphs for Generalized LogP-Machines. Euro-Par 1997: 895-904 - [c5]József Frigó, Rainer Neumann, Wolf Zimmermann:
Mechanical Generation of Robust Class Hierarchies. TOOLS (23) 1997: 282- - 1996
- [j1]Arne Frick, Walter Zimmer, Wolf Zimmermann:
Konstruktion robuster und flexibler Klassenbibliotheken. Inform. Forsch. Entwickl. 11(4): 168-178 (1996) - [c4]Welf Löwe, Jörn Eisenbiegler, Wolf Zimmermann:
Optimization of Parallel Programs on Machines with Expensive Communication. Euro-Par, Vol. II 1996: 602-610 - 1995
- [c3]Welf Löwe, Wolf Zimmermann:
Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine. International Conference on Supercomputing 1995: 41-50 - 1994
- [c2]Wolf Zimmermann, Welf Löwe:
An Approach to Machine-Independent Parallel Programming. CONPAR 1994: 277-288 - [c1]Heinz W. Schmidt, Wolf Zimmermann:
Reasoning about Complexity of Object-Oriented Programs. PROCOMET 1994: 553-572 - 1990
- [b1]Wolf Zimmermann:
Automatische Komplexitätsanalyse funktionaler Programme. Karlsruhe Institute of Technology, Germany, Informatik-Fachberichte 261, Springer 1990, ISBN 3-540-53430-X, pp. 1-194
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-02 20:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: