Wolf Zimmermann

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

Werner Gabrisch, Wolf Zimmermann: A Hoare-style verification calculus for control state ASMs. BCI 2012: 205-210

Christian Heike, Wolf Zimmermann, Andreas Both: Protocol Conformance Checking of Services with Exceptions. ESOCC 2012: 122-137

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)

Mandy Weißbach, Wolf Zimmermann: Termination analysis of business process workflows. WEWST 2010: 18-25

Jens Knoop, Wolf Zimmermann: On the Role of Non-functional Properties in Compiler Verification. ISoLA (2) 2010: 491-495

Andreas Both, Wolf Zimmermann: On More Predictable Implementations of Reliable Workflows in Service-oriented Architectures. ECOWS 2009: 87-96

Andreas Both, Wolf Zimmermann: A Step Towards a More Practical Protocol Conformance Checking Algorithm. EUROMICRO-SEAA 2009: 458-465

Dirk Richter, Wolf Zimmermann: Variablenelimination für symbolische Modelle. GI Jahrestagung 2009: 2835-2844

Andreas Both, Wolf Zimmermann: Sicherstellung der Funktionalität in Komponentensystemen und Service-orientierten Architekturen. GI Jahrestagung 2009: 3336-3348

Andreas Both, Wolf Zimmermann: Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. CBSE 2008: 163-179

Andreas Both, Wolf Zimmermann: Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems. ECOWS 2008: 81-91

Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 176(3): 1-2 (2007)

Wolf Zimmermann, Michael Schaarschmidt: Automatic Checking of Component Protocols in Component-Based Systems. Software Composition 2006: 1-17

Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 132(1): 1-3 (2005)

Jens Knoop, George C. Necula, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 141(2): 1-3 (2005)

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)

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)

Sabine Glesner, Wolf Zimmermann: Natural semantics as a static program analysis framework. ACM Trans. Program. Lang. Syst. 26(3): 510-577 (2004)

Jesper Andersson, Morgan Ericsson, Welf Löwe, Wolf Zimmermann: Lookahead Scheduling for Reconfigurable GRID Systems. Euro-Par 2004: 263-270

Wolf Zimmermann: On the Correctness of Transformations in Compiler Back-Ends. ISoLA (Preliminary proceedings) 2004: 10-17

Wolf Zimmermann: On the Correctness of Transformations in Compiler Back-Ends. ISoLA 2004: 74-95

Wolf Zimmermann, Bernhard Thalheim (Eds.): 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

Jens Knoop, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 82(2): 343-344 (2003)

Wolf Zimmermann, Axel Dold: A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Abstract State Machines 2003: 391-406

Jens Knoop, Wolf Zimmermann: Preface. Electr. Notes Theor. Comput. Sci. 65(2): 115-116 (2002)

Welf Löwe, Wolf Zimmermann: On Scheduling Task-Graphs to LogP-Machines with Disturbances. Euro-Par 2002: 189-196

Welf Löwe, Wolf Zimmermann, Sven Dickert, Jörn Eisenbiegler: Source Code and Task Graphs in Program Optimization. HPCN Europe 2001: 273-282

Welf Löwe, Wolf Zimmermann: Scheduling balanced task-graphs to LogP-machines. Parallel Computing 26(9): 1083-1108 (2000)

Arne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann: Construction of robust class hierarchies. Softw., Pract. Exper. 30(5): 481-543 (2000)

Gerhard Goos, Wolf Zimmermann: Verifying Compilers and ASMs. Abstract State Machines 2000: 177-202

Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann: Weak Subtyping and Genericity. TOOLS (34) 2000: 149-158

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)

Gerhard Goos, Wolf Zimmermann: Verification of Compilers. Correct System Design 1999: 201-230

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

Welf Löwe, Wolf Zimmermann: Scheduling Iterative Programs onto LogP-Machine. Euro-Par 1999: 332-339

Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann: Robust Dynamic Exchange of Implementation Aspects. TOOLS (29) 1999: 351-360

Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann: ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines 1998: 50-67

Wolf Zimmermann, Arne Frick, Rainer Neumann: The Construction Principles of the Class Library KARLA. Generic Programming 1998: 53-68

Wolf Zimmermann, Martin Middendorf, Welf Löwe: On Optimal k-linear Scheduling of Tree-Like Graphs for LogP-Machines. Euro-Par 1998: 328-336

Jörn Eisenbiegler, Welf Löwe, Wolf Zimmermann: BSP, LogP, and Oblivious Programs. Euro-Par 1998: 865-874

Sabine Glesner, Wolf Zimmermann: Using many-sorted natural semantics to specify and generate semantic analysis. Systems Implementation 2000 1998: 249-262

Daniela Genius, Martin Trapp, Wolf Zimmermann: An Approach to Improve Locality Using Sandwich Types. Types in Compilation 1998: 194-214

Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann: Weak Subtyping - Yet Another Notion of Inheritance. TOOLS (26) 1998: 333-345

Arne Frick, Rainer Neumann, Wolf Zimmermann: Eine Methode zur Konstruktion robuster Klassenhierarchien. Inform., Forsch. Entwickl. 12(4): 186-195 (1997)

Wolf Zimmermann, Thilo Gaul: On the Construction of Correct Compiler Back-Ends: An ASM-Approach. J. UCS 3(5): 504-567 (1997)

Welf Löwe, Wolf Zimmermann, Jörn Eisenbiegler: On Linear Schedules of Task Graphs for Generalized LogP-Machines. Euro-Par 1997: 895-904

József Frigó, Rainer Neumann, Wolf Zimmermann: Mechanical Generation of Robust Class Hierarchies. TOOLS (23) 1997: 282-

Arne Frick, Walter Zimmer, Wolf Zimmermann: Konstruktion robuster und flexibler Klassenbibliotheken. Inform., Forsch. Entwickl. 11(4): 168-178 (1996)

Welf Löwe, Jörn Eisenbiegler, Wolf Zimmermann: Optimization of Parallel Programs on Machines with Expensive Communication. Euro-Par, Vol. II 1996: 602-610

Welf Löwe, Wolf Zimmermann: Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine. International Conference on Supercomputing 1995: 41-50

Wolf Zimmermann, Welf Löwe: An Approach to Machine-Independent Parallel Programming. CONPAR 1994: 277-288

Heinz W. Schmidt, Wolf Zimmermann: Reasoning about Complexity of Object-Oriented Programs. PROCOMET 1994: 553-572

Wolf Zimmermann: Automatische Komplexitätsanalyse funktionaler Programme. Informatik-Fachberichte 261, Springer 1990, isbn 3-540-53430-X