Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarWolf Zimmermann
Person information
- affiliation: Martin Luther University Halle Wittenberg, Institute of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[e5]Antonio Brogi
, Wolf Zimmermann, Kyriakos Kritikos:
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
- [c48]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
- [c47]Mandy Weißbach, Wolf Zimmermann:
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion. ESOCC 2017: 168-176 - 2016
- [c46]Benjamin Saul, Christian Berg, Wolf Zimmermann:
A domain specific language for optimal pumping systems. ITSLE@SPLASH 2016: 23-32 - [e4]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
- [e3]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
- [j19]Christian Heike, Wolf Zimmermann, Andreas Both:
On expanding protocol conformance checking to exception handling. Service Oriented Computing and Applications 8(4): 299-322 (2014) - [c45]Clemens Beckstein, Sebastian Böcker, Martin Bogdan, Helge Bruehlheide, 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:
Explorative Analysis of Heterogeneous, Unstructured, and Uncertain Data - A Computer Science Perspective on Biodiversity Research. DATA 2014: 251-257 - [c44]Uwe Aßmann, Jens Knoop, Wolf Zimmermann:
Model-Based Code-Generators and Compilers - Track Introduction. ISoLA (1) 2014: 386-390 - [c43]Christian Berg, Wolf Zimmermann:
DSL Implementation for Model-Based Development of Pumps. ISoLA (1) 2014: 391-406 - [c42]Christian Berg, Wolf Zimmermann:
Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen. Software Engineering (Workshops) 2014: 111-128 - [e2]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
- [j18]René Franke, Wolf Zimmermann:
Ausnutzung von Mehrkernpotenzialen durch asynchrone Iterationen. Softwaretechnik-Trends 33(2) (2013) - [c41]Wolf Zimmermann:
Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille? Software Engineering (Workshops) 2013: 23-25 - [c40]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
- [c39]Werner Gabrisch, Wolf Zimmermann:
A Hoare-style verification calculus for control state ASMs. BCI 2012: 205-210 - [c38]Christian Heike, Wolf Zimmermann, Andreas Both:
Protocol Conformance Checking of Services with Exceptions. ESOCC 2012: 122-137 - 2011
- [c37]Andreas Both, Wolf Zimmermann:
Robuste Komponentensysteme durch Protokollprüfung. GI-Jahrestagung 2011: 314 - 2010
- [j17]Andreas Both, Wolf Zimmermann, René Franke:
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. Electron. Notes Theor. Comput. Sci. 263: 67-94 (2010) - [c36]Mandy Weißbach, Wolf Zimmermann:
Termination analysis of business process workflows. WEWST 2010: 18-25 - [c35]Jens Knoop, Wolf Zimmermann:
On the Role of Non-functional Properties in Compiler Verification. ISoLA (2) 2010: 491-495
2000 – 2009
- 2009
- [c34]Andreas Both, Wolf Zimmermann:
On More Predictable Implementations of Reliable Workflows in Service-oriented Architectures. ECOWS 2009: 87-96 - [c33]Andreas Both, Wolf Zimmermann:
A Step Towards a More Practical Protocol Conformance Checking Algorithm. EUROMICRO-SEAA 2009: 458-465 - [c32]Dirk Richter, Wolf Zimmermann:
Variablenelimination für symbolische Modelle. GI Jahrestagung 2009: 2835-2844 - [c31]Andreas Both, Wolf Zimmermann:
Sicherstellung der Funktionalität in Komponentensystemen und Service-orientierten Architekturen. GI Jahrestagung 2009: 3336-3348 - 2008
- [c30]Andreas Both, Wolf Zimmermann:
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. CBSE 2008: 163-179 - [c29]Andreas Both, Wolf Zimmermann:
Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems. ECOWS 2008: 81-91 - 2007
- [j16]Jens Knoop, George C. Necula, Wolf Zimmermann:
Preface. Electron. Notes Theor. Comput. Sci. 176(3): 1-2 (2007) - 2006
- [c28]Wolf Zimmermann, Michael Schaarschmidt:
Automatic Checking of Component Protocols in Component-Based Systems. SC@ETAPS 2006: 1-17 - 2005
- [j15]Jens Knoop, George C. Necula, Wolf Zimmermann:
Preface. Electron. Notes Theor. Comput. Sci. 132(1): 1-3 (2005) - [j14]Jens Knoop, George C. Necula, Wolf Zimmermann:
Preface. Electron. Notes Theor. Comput. Sci. 141(2): 1-3 (2005) - [j13]Wolf Zimmermann:
Editorial reusable software libraries. IEE Proc. Softw. 152(1): 1 (2005) - [j12]Wolf Zimmermann, Welf Löwe:
Foundations for the integration of scheduling techniques into compilers for parallel languages. IJCSE 1(2/3/4): 99-109 (2005) - [c27]D. Pollmacher, Wolf Zimmermann, Hans-Michael Hanisch:
Translation validation for model-based code-generators for PLCs. ETFA 2005 - [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, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf:
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 2005 - 2004
- [j11]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) - [j10]Sabine Glesner, Wolf Zimmermann:
Natural semantics as a static program analysis framework. ACM Trans. Program. Lang. Syst. 26(3): 510-577 (2004) - [c26]Jesper Andersson, Morgan Ericsson, Welf Löwe, Wolf Zimmermann:
Lookahead Scheduling for Reconfigurable GRID Systems. Euro-Par 2004: 263-270 - [c25]Wolf Zimmermann:
On the Correctness of Transformations in Compiler Back-Ends. ISoLA (Preliminary proceedings) 2004: 10-17 - [c24]Wolf Zimmermann:
On the Correctness of Transformations in Compiler Back-Ends. ISoLA 2004: 74-95 - [e1]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] - 2003
- [j9]Jens Knoop, Wolf Zimmermann:
Preface. Electron. Notes Theor. Comput. Sci. 82(2): 343-344 (2003) - [c23]Wolf Zimmermann, Axel Dold:
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Abstract State Machines 2003: 391-406 - 2002
- [j8]Jens Knoop, Wolf Zimmermann:
Preface. Electron. Notes Theor. Comput. Sci. 65(2): 115-116 (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) - [c22]Welf Löwe, Wolf Zimmermann:
On Scheduling Task-Graphs to LogP-Machines with Disturbances. Euro-Par 2002: 189-196 - 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. UCS 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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 and opencitations.net 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 Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from 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 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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-06-27 01:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
