Wolf Zimmermann

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 6

Top Topics

Automated Trust Negotiation

Successful Deployment

Software Architecture

Top Venues

Software Engineering (Workshops)

Serv. Oriented Comput. Appl.

Publications

Wolf Zimmermann, Thomas Kühn, Edward Sabinus, Mandy Weißbach
Small Step Incremental Verification of Compilers. ABZ (2024)
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)
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)
Mandy Weißbach, Wolf Zimmermann
On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems. ESOCC Workshops (2018)
Mandy Weißbach, Wolf Zimmermann
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion. ESOCC (2017)
Benjamin Saul, Christian Berg, Wolf Zimmermann
A domain specific language for optimal pumping systems. ITSLE@SPLASH (2016)
Christian Berg, Wolf Zimmermann
DSL Implementation for Model-Based Development of Pumps. ISoLA (1) (2014)
Christian Heike, Wolf Zimmermann, Andreas Both
On expanding protocol conformance checking to exception handling. Serv. Oriented Comput. Appl. 8 (4) (2014)
Benjamin Saul, Wolf Zimmermann
Konvergenznachweis von asynchronen Algorithmen. Informatiktage (2014)
Uwe Aßmann, Jens Knoop, Wolf Zimmermann
Model-Based Code-Generators and Compilers - Track Introduction. ISoLA (1) (2014)
Christian Berg, Wolf Zimmermann
Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen. Software Engineering (Workshops) (2014)
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)
Dirk Schmalzried, Carina Cundius, René Franke, Christian Lambeck, Rainer Alt, Wolf Zimmermann, Rainer Groh
In-Memory basierte Real-Time Supply Chain Planung. Wirtschaftsinformatik (2013)
René Franke, Wolf Zimmermann
Ausnutzung von Mehrkernpotenzialen durch asynchrone Iterationen. Softwaretechnik-Trends 33 (2) (2013)
Wolf Zimmermann
Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille? Software Engineering (Workshops) (2013)
Werner Gabrisch, Wolf Zimmermann
A Hoare-style verification calculus for control state ASMs. BCI (2012)
Christian Heike, Wolf Zimmermann, Andreas Both
Protocol Conformance Checking of Services with Exceptions. ESOCC (2012)
Andreas Both, Wolf Zimmermann
Robuste Komponentensysteme durch Protokollprüfung. GI-Jahrestagung (2011)
Mandy Weißbach, Wolf Zimmermann
Termination analysis of business process workflows. WEWST (2010)
Andreas Both, Wolf Zimmermann, René Franke
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. Electron. Notes Theor. Comput. Sci. 263 (2010)
Jens Knoop, Wolf Zimmermann
On the Role of Non-functional Properties in Compiler Verification. ISoLA (2) (2010)
Andreas Both, Wolf Zimmermann
On More Predictable Implementations of Reliable Workflows in Service-oriented Architectures. ECOWS (2009)
Andreas Both, Wolf Zimmermann
A Step Towards a More Practical Protocol Conformance Checking Algorithm. EUROMICRO-SEAA (2009)
Andreas Both, Wolf Zimmermann
Sicherstellung der Funktionalität in Komponentensystemen und Service-orientierten Architekturen. GI Jahrestagung (2009)
Dirk Richter, Wolf Zimmermann
Variablenelimination für symbolische Modelle. GI Jahrestagung (2009)
Andreas Both, Wolf Zimmermann
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. CBSE (2008)
Andreas Both, Wolf Zimmermann
Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems. ECOWS (2008)
Jens Knoop, George C. Necula, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 176 (3) (2007)
Wolf Zimmermann, Michael Schaarschmidt
Automatic Checking of Component Protocols in Component-Based Systems. SC@ETAPS (2006)
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)
D. Pollmacher, Wolf Zimmermann, Hans-Michael Hanisch
Translation validation for model-based code-generators for PLCs. ETFA (2005)
Wolf Zimmermann
Editorial reusable software libraries. IEE Proc. Softw. 152 (1) (2005)
Jens Knoop, George C. Necula, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 141 (2) (2005)
Jens Knoop, George C. Necula, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 132 (1) (2005)
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) (2005)
Sabine Glesner, Gerhard Goos, Wolf Zimmermann
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). it Inf. Technol. 46 (5) (2004)
Jesper Andersson, Morgan Ericsson, Welf Löwe, Wolf Zimmermann
Lookahead Scheduling for Reconfigurable GRID Systems. Euro-Par (2004)
Wolf Zimmermann
On the Correctness of Transformations in Compiler Back-Ends. ISoLA (2004)
Wolf Zimmermann
On the Correctness of Transformations in Compiler Back-Ends. ISoLA (Preliminary proceedings) (2004)
Sabine Glesner, Wolf Zimmermann
Natural semantics as a static program analysis framework. ACM Trans. Program. Lang. Syst. 26 (3) (2004)
Wolf Zimmermann, Axel Dold
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Abstract State Machines (2003)
Jens Knoop, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 82 (2) (2003)
Jens Knoop, Wolf Zimmermann
Preface. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)
Welf Löwe, Wolf Zimmermann
On Scheduling Task-Graphs to LogP-Machines with Disturbances. Euro-Par (2002)
Wolf Zimmermann, Welf Löwe, Denis Trystram
On scheduling send-graphs and receive-graphs under the LogP-model. Inf. Process. Lett. 82 (2) (2002)
Welf Löwe, Wolf Zimmermann, Sven Dickert, Jörn Eisenbiegler
Source Code and Task Graphs in Program Optimization. HPCN Europe (2001)
Arne Frick, Gerhard Goos, Rainer Neumann, Wolf Zimmermann
Construction of robust class hierarchies. Softw. Pract. Exp. 30 (5) (2000)
Andreas Heberle, Welf Löwe, Rainer Neumann, Wolf Zimmermann
Weak Subtyping and Genericity. TOOLS (34) (2000)
Gerhard Goos, Wolf Zimmermann
Verifying Compilers and ASMs. Abstract State Machines (2000)
Welf Löwe, Wolf Zimmermann
Scheduling balanced task-graphs to LogP-machines. Parallel Comput. 26 (9) (2000)
Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann
Construction of Verified Compiler Front-Ends with Program-Checking. Ershov Memorial Conference (1999)
Gerhard Goos, Wolf Zimmermann
Verification of Compilers. Correct System Design (1999)
Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann
Robust Dynamic Exchange of Implementation Aspects. TOOLS (29) (1999)
Martin Middendorf, Welf Löwe, Wolf Zimmermann
Scheduling Inverse Trees Under the Communication Model of the LogP-Machine. Theor. Comput. Sci. 215 (1-2) (1999)
Welf Löwe, Wolf Zimmermann
Scheduling Iterative Programs onto LogP-Machine. Euro-Par (1999)
Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann
ASM-based Mechanized Verification of Compiler Back-Ends. Workshop on Abstract State Machines (1998)
Wolf Zimmermann, Arne Frick, Rainer Neumann
The Construction Principles of the Class Library KARLA. Generic Programming (1998)
Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann
Correct Programs without Proof? On Checker-Based Program Verification. Tool Support for System Specification, Development and Verification (1998)
Sabine Glesner, Wolf Zimmermann
Using many-sorted natural semantics to specify and generate semantic analysis. Systems Implementation 2000 (1998)
Jörn Eisenbiegler, Welf Löwe, Wolf Zimmermann
BSP, LogP, and Oblivious Programs. Euro-Par (1998)
Welf Löwe, Rainer Neumann, Martin Trapp, Wolf Zimmermann
Weak Subtyping - Yet Another Notion of Inheritance. TOOLS (26) (1998)
Daniela Genius, Martin Trapp, Wolf Zimmermann
An Approach to Improve Locality Using Sandwich Types. Types in Compilation (1998)
Wolf Zimmermann, Martin Middendorf, Welf Löwe
On Optimal k-linear Scheduling of Tree-Like Graphs for LogP-Machines. Euro-Par (1998)
József Frigó, Rainer Neumann, Wolf Zimmermann
Mechanical Generation of Robust Class Hierarchies. TOOLS (23) (1997)
Arne Frick, Rainer Neumann, Wolf Zimmermann
Eine Methode zur Konstruktion robuster Klassenhierarchien. Inform. Forsch. Entwickl. 12 (4) (1997)
Wolf Zimmermann, Thilo Gaul
On the Construction of Correct Compiler Back-Ends: An ASM-Approach. J. Univers. Comput. Sci. 3 (5) (1997)
Welf Löwe, Wolf Zimmermann, Jörn Eisenbiegler
On Linear Schedules of Task Graphs for Generalized LogP-Machines. Euro-Par (1997)
Arne Frick, Walter Zimmer, Wolf Zimmermann
Konstruktion robuster und flexibler Klassenbibliotheken. Inform. Forsch. Entwickl. 11 (4) (1996)
Welf Löwe, Jörn Eisenbiegler, Wolf Zimmermann
Optimization of Parallel Programs on Machines with Expensive Communication. Euro-Par, Vol. II (1996)
Welf Löwe, Wolf Zimmermann
Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine. International Conference on Supercomputing (1995)
Wolf Zimmermann, Welf Löwe
An Approach to Machine-Independent Parallel Programming. CONPAR (1994)
Heinz W. Schmidt, Wolf Zimmermann
Reasoning about Complexity of Object-Oriented Programs. PROCOMET (1994)