Wolf 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
showing all ?? records
2010 – today
- 2018
- [c47]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
- [c46]Mandy Weißbach, Wolf Zimmermann:
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion. ESOCC 2017: 168-176 - 2016
- [c45]Benjamin Saul, Christian Berg, Wolf Zimmermann:
A domain specific language for optimal pumping systems. ITSLE@SLASH 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) - [c44]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 - [c43]Uwe Aßmann, Jens Knoop, Wolf Zimmermann:
Model-Based Code-Generators and Compilers - Track Introduction. ISoLA (1) 2014: 386-390 - [c42]Christian Berg, Wolf Zimmermann:
DSL Implementation for Model-Based Development of Pumps. ISoLA (1) 2014: 391-406 - [c41]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) - [c40]Wolf Zimmermann:
Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille? Software Engineering (Workshops) 2013: 23-25 - [c39]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
- [c38]Werner Gabrisch, Wolf Zimmermann:
A Hoare-style verification calculus for control state ASMs. BCI 2012: 205-210 - [c37]Christian Heike, Wolf Zimmermann, Andreas Both:
Protocol Conformance Checking of Services with Exceptions. ESOCC 2012: 122-137 - 2011
- [c36]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. Electr. Notes Theor. Comput. Sci. 263: 67-94 (2010) - [c35]Mandy Weißbach, Wolf Zimmermann:
Termination analysis of business process workflows. WEWST 2010: 18-25 - [c34]Jens Knoop, Wolf Zimmermann:
On the Role of Non-functional Properties in Compiler Verification. ISoLA (2) 2010: 491-495
2000 – 2009
- 2009
- [c33]Andreas Both, Wolf Zimmermann:
On More Predictable Implementations of Reliable Workflows in Service-oriented Architectures. ECOWS 2009: 87-96 - [c32]Andreas Both, Wolf Zimmermann:
A Step Towards a More Practical Protocol Conformance Checking Algorithm. EUROMICRO-SEAA 2009: 458-465 - [c31]Dirk Richter, Wolf Zimmermann:
Variablenelimination für symbolische Modelle. GI Jahrestagung 2009: 2835-2844 - [c30]Andreas Both, Wolf Zimmermann:
Sicherstellung der Funktionalität in Komponentensystemen und Service-orientierten Architekturen. GI Jahrestagung 2009: 3336-3348 - 2008
- [c29]Andreas Both, Wolf Zimmermann:
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. CBSE 2008: 163-179 - [c28]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. Electr. Notes Theor. Comput. Sci. 176(3): 1-2 (2007) - 2006
- [c27]Wolf Zimmermann, Michael Schaarschmidt:
Automatic Checking of Component Protocols in Component-Based Systems. Software Composition 2006: 1-17 - 2005
- [j15]Jens Knoop, George C. Necula, Wolf Zimmermann:
Preface. Electr. Notes Theor. Comput. Sci. 132(1): 1-3 (2005) - [j14]Jens Knoop, George C. Necula, Wolf Zimmermann:
Preface. Electr. Notes Theor. Comput. Sci. 141(2): 1-3 (2005) - [j13]
- [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) - [c26]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 - Information Technology 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) - [c25]Jesper Andersson, Morgan Ericsson, Welf Löwe, Wolf Zimmermann:
Lookahead Scheduling for Reconfigurable GRID Systems. Euro-Par 2004: 263-270 - [c24]Wolf Zimmermann:
On the Correctness of Transformations in Compiler Back-Ends. ISoLA (Preliminary proceedings) 2004: 10-17 - [c23]
- [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]
- [c22]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]
- [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) - [c21]Welf Löwe, Wolf Zimmermann:
On Scheduling Task-Graphs to LogP-Machines with Disturbances. Euro-Par 2002: 189-196 - 2001
- [c20]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 Computing 26(9): 1083-1108 (2000) - [j5]Arne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann:
Construction of robust class hierarchies. Softw., Pract. Exper. 30(5): 481-543 (2000) - [c19]
- [c18]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) - [c17]
- [c16]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 - [c15]
- [c14]Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann:
Robust Dynamic Exchange of Implementation Aspects. TOOLS (29) 1999: 351-360 - 1998
- [c13]Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann:
ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines 1998: 50-67 - [c12]Wolf Zimmermann, Arne Frick, Rainer Neumann:
The Construction Principles of the Class Library KARLA. Generic Programming 1998: 53-68 - [c11]Wolf Zimmermann, Martin Middendorf, Welf Löwe:
On Optimal k-linear Scheduling of Tree-Like Graphs for LogP-Machines. Euro-Par 1998: 328-336 - [c10]Jörn Eisenbiegler, Welf Löwe, Wolf Zimmermann:
BSP, LogP, and Oblivious Programs. Euro-Par 1998: 865-874 - [c9]Sabine Glesner, Wolf Zimmermann:
Using many-sorted natural semantics to specify and generate semantic analysis. Systems Implementation 2000 1998: 249-262 - [c8]Daniela Genius, Martin Trapp, Wolf Zimmermann:
An Approach to Improve Locality Using Sandwich Types. Types in Compilation 1998: 194-214 - [c7]Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann:
Weak Subtyping - Yet Another Notion of Inheritance. TOOLS (26) 1998: 333-345 - 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. Informatik-Fachberichte 261, Springer 1990, ISBN 3-540-53430-X, pp. 1-194
Coauthor Index
last updated on 2019-01-09 01:06 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint