Wolf Zimmermann

Affiliations:
  • Martin Luther University Halle Wittenberg, Institute of Computer Science, Germany


According to our database1, Wolf Zimmermann authored at least 69 papers between 1990 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Small Step Incremental Verification of Compilers.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

2021
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.
Proceedings of the Logic, Computation and Rigorous Methods, 2021

2018
Eine Softwarearchitektur für serviceorientierte Fragetypen in E-Learning-Systemen (A Software Architecture for Service-Oriented Assessments in E-Learning-Systems).
Proceedings of the Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018), 2018

On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2018

2017
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion.
Proceedings of the Service-Oriented and Cloud Computing, 2017

2016
A domain specific language for optimal pumping systems.
Proceedings of the 1st Industry Track on Software Language Engineering, 2016

2014
On expanding protocol conformance checking to exception handling.
Serv. Oriented Comput. Appl., 2014

Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische Sprachen.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

DSL Implementation for Model-Based Development of Pumps.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Model-Based Code-Generators and Compilers - Track Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Konvergenznachweis von asynchronen Algorithmen.
Proceedings of the Informatiktage 2014: Big (Data) is beautiful, 2014

Explorative Analysis of Heterogeneous, Unstructured, and Uncertain Data - A Computer Science Perspective on Biodiversity Research.
Proceedings of the DATA 2014, 2014

2013
Ausnutzung von Mehrkernpotenzialen durch asynchrone Iterationen.
Softwaretechnik-Trends, 2013

In-Memory basierte Real-Time Supply Chain Planung.
Proceedings of the 11. Internationale Tagung Wirtschaftsinformatik, 2013

Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - Zwei Seiten derselben Medaille?
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

2012
Protocol Conformance Checking of Services with Exceptions.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

A Hoare-style verification calculus for control state ASMs.
Proceedings of the Balkan Conference in Informatics, 2012, 2012

2011
Robuste Komponentensysteme durch Protokollprüfung.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2010
On the Role of Non-functional Properties in Compiler Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Termination analysis of business process workflows.
Proceedings of the 5th Workshop on Emerging Web Services Technology, 2010

2009
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives.
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Variablenelimination für symbolische Modelle.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Sicherstellung der Funktionalität in Komponentensystemen und Service-orientierten Architekturen.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

A Step Towards a More Practical Protocol Conformance Checking Algorithm.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

On More Predictable Implementations of Reliable Workflows in Service-oriented Architectures.
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009

2008
Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems.
Proceedings of the ECOWS 2008, 2008

Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2006
Preface.
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

Automatic Checking of Component Protocols in Component-Based Systems.
Proceedings of the Software Composition - 5th International Symposium, 2006

2005
Foundations for the integration of scheduling techniques into compilers for parallel languages.
Int. J. Comput. Sci. Eng., 2005

Editorial reusable software libraries.
IEE Proc. Softw., 2005

Translation validation for model-based code-generators for PLCs.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005


2004
Natural semantics as a static program analysis framework.
ACM Trans. Program. Lang. Syst., 2004

Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers).
it Inf. Technol., 2004

On the Correctness of Transformations in Compiler Back-Ends.
Proceedings of the Leveraging Applications of Formal Methods, 2004

Lookahead Scheduling for Reconfigurable GRID Systems.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.
Proceedings of the Abstract State Machines, 2003

2002
On scheduling send-graphs and receive-graphs under the LogP-model.
Inf. Process. Lett., 2002

Preface.
Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

On Scheduling Task-Graphs to LogP-Machines with Disturbances.
Proceedings of the Euro-Par 2002, 2002

2001
Source Code and Task Graphs in Program Optimization.
Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

2000
Construction of robust class hierarchies.
Softw. Pract. Exp., 2000

Scheduling balanced task-graphs to LogP-machines.
Parallel Comput., 2000

Weak Subtyping and Genericity.
Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Verifying Compilers and ASMs.
Proceedings of the Abstract State Machines, 2000

1999
Scheduling Inverse Trees Under the Communication Model of the LogP-Machine.
Theor. Comput. Sci., 1999

Robust Dynamic Exchange of Implementation Aspects.
Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

Scheduling Iterative Programs onto LogP-Machine.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

Construction of Verified Compiler Front-Ends with Program-Checking.
Proceedings of the Perspectives of System Informatics, 1999

Verification of Compilers.
Proceedings of the Correct System Design, 1999

1998
Correct Programs without Proof? On Checker-Based Program Verification.
Proceedings of the International Workshop Tool Support for System Specification, 1998

Weak Subtyping - Yet Another Notion of Inheritance.
Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

An Approach to Improve Locality Using Sandwich Types.
Proceedings of the Types in Compilation, Second International Workshop, 1998

Using many-sorted natural semantics to specify and generate semantic analysis.
Proceedings of the Systems Implementation 2000, 1998

On Optimal k-linear Scheduling of Tree-Like Graphs for LogP-Machines.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

BSP, LogP, and Oblivious Programs.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

The Construction Principles of the Class Library KARLA.
Proceedings of the Generic Programming, 1998

ASM-based Mechanized Verification of Compiler Back-Ends.
Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1997
On the Construction of Correct Compiler Back-Ends: An ASM-Approach.
J. Univers. Comput. Sci., 1997

Eine Methode zur Konstruktion robuster Klassenhierarchien.
Inform. Forsch. Entwickl., 1997

Mechanical Generation of Robust Class Hierarchies.
Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

On Linear Schedules of Task Graphs for Generalized LogP-Machines.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996
Konstruktion robuster und flexibler Klassenbibliotheken.
Inform. Forsch. Entwickl., 1996

Optimization of Parallel Programs on Machines with Expensive Communication.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine.
Proceedings of the 9th international conference on Supercomputing, 1995

1994
Reasoning about Complexity of Object-Oriented Programs.
Proceedings of the Programming Concepts, 1994

An Approach to Machine-Independent Parallel Programming.
Proceedings of the Parallel Processing: CONPAR 94, 1994

1990
Automatische Komplexitätsanalyse funktionaler Programme
PhD thesis, 1990


  Loading...