Martin-Luther-Universität Halle-Wittenberg

Logo des Lehrstuhls Software-Engineering und Progammiersprachen

Weiteres

Login für Redakteure

Publikationen

Journals

  • Heike, Christian; Zimmermann, Wolf; Both, Andreas: On Expanding Protocol Conformance Checking to Exception Handling, Journal on Service Oriented Computing and Applications, (2014) 8:299–322, DOI 10.1007/s11761-013-0146-2.
  • Both, Andreas ; Zimmermann, Wolf ; Franke, Renè: Model checking ofcomponent protocol conformance optimizations by reducing false negatives, Electronic Notes in Theoretical Computer Science 263, S. 67-94, 2010.
  • W. Zimmermann and W. Löwe: Foundations for the integration of scheduling techniques  into compilers for parallel languages. International Journal of Computational Science and Engineering 1(3/4), 2005.
  • Wolf Zimmermann,  Welf Löwe: Foundations for the integration of scheduling techniques into compilers for parallel languages, International Journal of Computational Science and Engineering 2005 -Vol. 1, No.2/3/4, S. 99 - 109, 2005.
  • S. Glesner and W. Zimmermann: Natural Semantics as a Static Analysis Framework, ACM Transactions on Programming Languages and Systems, 26(3), pp. 510-577,2004.
  • S. Glesner, G. Goos, and W. Zimmermann: Verifix: Konstruktion und Architektur verifizierender Übersetzer, IT Information Technology 46(5), pp. 265-276, 2004.
  • W. Zimmermann, W. Löwe and D. Trystram: On Scheduling Send-Graphs and Receive-Graphs under the LogP-Model, Information Processing Letters, 82 (2), pp. 83-92, 2002.
  • W. Zimmermann, W. Löwe and D. Trystram: On Scheduling Send-Graphs and Receive-Graphs under the LogP-Model, Information Processing Letters, 82 (2), pp. 83-92, 2002.
  • A. Frick, G. Goos, R. Neumann, and W. Zimmermann: Construction of Robust Class Hierarchies, Software Practice and Experience, 30 (5), pp. 481-543, 2000.
  • W. Löwe and W. Zimmermann: Scheduling Balanced Task Graphs onto LogP-Machines, Parallel Computing26 (9), pp. 1083-1108, 2000.
  • M. Middendorf, W. Löwe, and W. Zimmermann: Scheduling Inverse Trees under the Communication Model of the LogP-Machine, Theoretical Computer Science, 125 , pp. 137-168, 1999.
  • W. Zimmermann and T. Gaul: On the Construction of Correct Compiler Back-Ends: An ASM-Approach, Journal of Universal Computer Science 3 (5), pp. 504-567, 1997.
  • A. Frick, R. Neumann, and W. Zimmermann: Eine Methode zur Konstruktion robuster und flexibler Klassenbibliotheken, Informatik - Forschung und Entwicklung 12 (4) , pp. 186-195, 1997.
  • A. Frick, W. Zimmer and W. Zimmermann: Konstruktion robuster und flexibler Klassenbibliotheken, Informatik - Forschung und Entwicklung, 11 (4), pp. 168-178, 1996.
  • H.W. Schmidt and W. Zimmermann: A Complexity Calculus for Object-Oriented Programs, Journal of Object-Oriented Systems, 1 (2), pp. 117--147, 1994.

Books

  • G. Goos and W. Zimmermann: Vorlesungen über Informatik Band 2: Algorithmen und objekt-orientiertes Programmieren, 4. Auflage 2006.
  • G. Goos and W. Zimmermann: Programmiersprachen. In: Handbuch der Informatik, Kapitel D2, 1997. 2. Auflage 1999, 4. Auflage 2005.
  • G. Goos and W. Zimmermann: Vorlesungen über Informatik Band 1: Grundlagen und funktionales Programmieren, 4. Auflage 2005.
  • W. Zimmermann: Planbare Algorithmen - Eine Methode zum maschinenunabhängigen parallelen Programmieren, Shaker-Verlag, 1999.
  • W. Zimmermann: Automatische Komplexitätsanalyse funktionaler Programme, Informatik Fachberichte 261, 1990.

Conferences, Workshops, and Contributions in Books

2016

  • Benjamin Saul, Christian Berg, Wolf Zimmermann:   A domain specific language fpr optimal pumping systems. In: Proceedings of the 1st Industry Track on Software Language Engineering. ACM ITSLE 2016.
  • B. Saul, P. Pöttgen, W. Zimmermann, and P. Pelz: SHEP: An innovative language to create and evaluate optimization programs for pump systems, 3rd International  Rotating Equipment Conference, Pump Users International Forum, Pumps + Systems Associoation within VDMA e.V., 2016


2015

  • Sebastian Wendt und Wolf Zimmermann: Typprüfung und Namensanalyse für      textuelle Anforderungsbeschreibungen, 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2015
  • Mandy Weißbach und Wolf Zimmermann: Terminierungsanalyse in Service-orientierten Systemen, 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2015
  • Christian Berg und Wolf Zimmermann: Typische Muster bei der Entwicklung Domänen-spezifischer Sprachen mit Attributgrammatiken. 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2015
  • Benjamin Saul und Wolf Zimmermann: Eine Sprache zur Planung optimaler Pumpensysteme. 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2015

2014

  • Christian Berg, Wolf Zimmermann: DSL Implementation for Model-Based Development of Pumps, Konferenzbeitrag, Leveraging Applications of Formal Methods, Verification and Validation- Technologies for Mastering Change (6th International Symposium, ISoLA 2014), Lecture Notes in Computer Science 8802, 2014
  • Christian Berg, Wolf Zimmermann: Evaluierung von Möglichkeiten zur Implementierung von Semantischen Analysen für Domänenspezifische   Sprachen. In: SE-WS 2014 Software-Engineering  Workshops (elektronische Publikation: http://ceur-ws.org/Vol-1129/    bzw. http://ceur-ws.org/Vol-1129/paper43.pdf   ).
  • Christian Berg, Wolf Zimmermann: Konsistenzfindung bei der Anforderungsfindung für hydromechatronische Systeme, 17. Kolloquium Programmiersprachen und Grundlagen der Programmierung, S. 19-30
  • Sebastian Wendt, Wolf Zimmermann: Typprüfung mittels Attributgrammatiken auf natürlichsprachlichen Anforderungs-Beschreibungen technischer Systeme, 17. Kolloquium Programmiersprachen und Grundlagen der Programmierung, S. 141-150
  • Beckstein, C; Böcker, S.; Bogdan, M; Bruehlheide, H; Bücker , H.; Denzler, J.; Dittrich, P. ; Grosse, I.; Hinneburg, A.; König-Ries, B.; Löffler, F.; Marz, M.; Müller-Hannemann, M.; Winter, M.; Zimmermann, W. : Explorative Analysis of Heterorgeneous, Unstructured, and Uncertain Data. Proceedings of 3rd International Conference on Data Management Technologies and Applications, DATA 2014, pp. 251--257, 2014


2013

  • Franke, Rene; Zimmermann, Wolf: Ausnutzung von Mehrkernpotenzialen durch asynchrone Iterationen. 15. Workshop Software-Reengineering. In: Softwaretechnik-Trends 33(2), S. 41-42, 2013
  • Weißbach, Mandy; Zimmermann, Wolf; Löwe, Welf: Context-Aware Data-Flow Analysis in the Cloud,  In: The Fourth International Conference on Cloud Computing, GRIDs, and Virtualization. CLOUD COMPUTING 2013, S. 81-86, IARIA, 2013
  • Schmalzried, Dirk; Cundius, Carina; Franke, Rene; Lambeck, Christian; Alt, Rainer; Zimmermann, Wolf; Groh, Rainer: In-Memory basierte Real-Time Supply Chain Plaung: In: Proceedings of the 11th International Conference  on Wirtschaftsinformatik (WI2013) ; Vol. 1., 2013
  • Zimmermann, Wolf: Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus - zwei Seiten der Medallie? Impulsreferat in der Arbeitstagung Programmiersprachen 2013,
    In: Software Engineering 2013 - Workshopband (inkl.  Doktorandensymposium). - Bonn : Ges. für Informatik, S. 23-26, 2013
  • Gabrisch, Werner: Decomposition of Verification of Machine Programs base on control-state Abstract State Machines, Proceedings of the Sixth Balkan Conference in Informatics, 2013

2012

  • Christian Heike, Wolf Zimmermann, Andreas Both: Protocol Conformance Checking of Services with Exceptions, First European Conference on Service-Oriented and Cloud Computing, ESOCC 2012, Lecture Notes in Computer Science 7592, S. 122-137, Springer, 2012
  • Mandy Weißbach: Termination Analysis of Service-oriented Systems, Proceedings of the PhD Symposium at the 1st European Conference on Service-Oriented and Cloud Computing, S. 23-29, Technischer Bericht 2012-03 des Instituts für Informatik der Martin-Luther-Universität Halle Wittenberg. 2012
  • Werner Gabrisch, Wolf Zimmermann: A Hoare-style verification calculus for control state ASMs,    Proceedings of the Fifth Balkan Conference in Informatics, S. 205-210,  ACM, 2012
  • Mandy Weißbach, Wolf Zimmermann: Controlling Data-Flow in the Cloud. In: The Third International Conference on Cloud Computing, GRIDs, and Virtualization . p. 24- 29- Wilmington : IARIA, 2012.
  • Antonina Danylenko, Wolf Zimmermann, Welf Löwe: Decision Algebra: Parameterized Specification of Decision Models, Preliminary Proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, S.40-43, 2012
  • Dirk Richter, Christian Berg: Exact Gap Computation for Code Coverage Metrics in ISO-C. In: Proceedings 7th Workshop on Model-Based Testing, S. 43-57. 2012
  • Dirk Richter, Roberto Hoffmann: Fehlalarmfreie Abstraktion in ISO-C  konformer Semantik, in:  Software Engineering 2012  Workshopband, GI-Edition - Lecture Notes in Informatics (LNI), *P-199,  *S. 89-104, 201


2011

  • Weissbach, Mandy; Zimmermann, Wolf: A service-level agreement approach towards termination analysis of service-oriented systems, In: The Second International Conference on Cloud Computing, GRIDs, and Virtualization . p. 26-31- Wilmington : IARIA, 2011.
  • Both, Andreas; Zimmermann, Wolf: Robuste Komponentensysteme durch Protokollprüfung n: Informatik 2011 . - Bonn : Ges. für Informatik, 2011.
  • Richter, Dirk; Hoffmann, Roberto: Spezifikationsgetriebene Abstraktion für Kellersysteme. 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung, 2011.

2010

  • Weißbach, Mandy; Checking of Liveness Properties in Component- based Systems and Service-oriented  Architectures. In: Proceedings of the PhD Symposium at  the 8th IEEE  European  Conference on Web Services Herausgeber: Wolf Zimmermann,Publikation in: Technischer Bericht 2010-04 des Instituts für Informatik der Martin-Luther-Universität Halle Wittenberg.
  • Weißbach, Mandy; Zimmermann, Wolf: Termination analysis of business  process workflows In: Proceedings of the 5th International Workshop on  Enhanced Web Service Technologies (WEWST 2010), Ayia Napa, Cyprus,  December 01 - 01, - New York : ACM, S. 18-25,  2010 .
  • Richter, Dirk; Both, Andreas: Automatic component protocol generation and verification of components.In: Proceedings of the 36th EUROMICRO Conference Software Engineering and Advanced Applications,  S. 94-1061 IEEE, 2010.
  • Knoop, Jens; Zimmermann, Wolf: On the Role of Non-functional Properties in Compiler Verification. In: Leveraging Applications of Formal Methods, Verification, and Validation, 4th International Symposium on Leveraging Applications, ISoLA 2010, Lecture Notes in Computer Science 6416, S 491-94, 2010.

2009

  • Both, Andreas; Zimmermann, Wolf:  A step towards a more practical protocol conformance checking algorithm. In: Proceedings of the 35th EUROMICRO Conference Software Engineering and Advanced Applications . - Los Alamitos, California : IEEE, ISBN 978-0-7695-3784-9, S. 458-465, 2009,
  • Both, Andreas; Zimmermann, Wolf: Model checking of component protocol conformance - optimization by reducing false negatives. In: Formal aspects of component software . - Amsterdam : Centrum voor Wiskunde en Informatica, S. 65-84, 2009.
  • Both, Andreas; Zimmermann, Wolf: On more predictable implementations of reliable workflows in service-oriented architectures. In: Proceedings of the 7th IEEE European Conference on Web Services . - Los Alamitos, CA, ISBN 978-0-7695-3854-9, S. 87-96, 2009.
  • Both, Andreas; Zimmermann, Wolf: Sicherstellung der Funktionalität in Komponentensystemen und service-orientierten Architekturen. In: Informatik 2009 . - Bonn : Ges. für Informatik, ISBN 978-3-88579-248-2, S. 3336-3348
  • Kirner, Raimund; Zimmermann, Wolf; Richter, Dirk: On undecidability results of real programming languages. In: Programmiersprachen und Grundlagen der Programmierung . - Wien : TU, S. 141-154,  2009.
  • Richter, Dirk; Zimmermann, Wolf: Variablenelimination für symbolische Modelle. In: Informatik 2009 . - Bonn : Ges. für Informatik, ISBN 978-3-88579-248-2, S. 2835-2844

2008

  • Both, Andreas; Zimmermann, Wolf:  Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems. In: ECOWS 2008, Dublin: ECOWS '08, European Conference on Web Services, IEEE S. 81-91, 2008.
  • Both, Andreas; Zimmermann, Wolf : Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. In: Component-based software engineering . - Berlin [u.a.] : Springer, ISBN 3-540-87890-4, S. 163-179, 2008.

2007

  • Richter, Dirk; Zimmermann, Wolf: Slicing zur Modellreduktion von symbolischen Kellersystemen. In: Programmiersprachen und Rechenkonzepte. - Kiel : Inst. für Informatik, Univ., S. 61-70, 2007.

2006

  • Wolf Zimmermann: On the Correctness of Transformations in Compiler Back-Ends, In:  Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Lecture Notes in Computer Science 4313, Revised Selected Papers, S. 74-95, 2006.
  • Wolf Zimmermann und Michael Schaarschmidt: Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers, Lecture Notes in Computer Science 4089, S. 1-17, 2006.

2005

  • D. Pollmächer, W. Zimmermann:  On the Correctness of Code-Generators for PLCs. Proc. of the 9th World Multiconference on Systemics, Cybernetics and Informatics, 2005.
  • W. Zimmermann, D. Pollmächer, and H.-M. Hanisch: Translation Validation of Model-Based Code-Generators for PLCs. In: Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation, S. 113-120, 2005.

2004

  • J. Andersson, M. Ericsson, W. Löwe, and W. Zimmermann:  Lookahead Scheduling for Reconfigurable Grid Systems. In Europar 2004: Parallel Processing, LNCS 3149, pp. 263-270, 2004.

2003

  • W. Zimmermann and A. Dold: A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. Abstract State Machines 2003, LNCS 2589, pp. 391-406, 2003.
  • W. Zimmermann and M.Schaarschmidt:  Model Checking of Client-Component Conformance. 2nd Nordic Conference on Web Services. Mathematical Modelling in Physics, Engineering and Cognitive Sciences 008, pp. 63-74, 2003.

2002

  • W. Löwe and W. Zimmermann: On Scheduling Task-Graphs to LogP-Machines with Disturbances, In: Europar 2002: Parallel Processing, LNCS 2400, pp. 189-196, 2002.

2001

  • W. Löwe, W. Zimmermann, S. Dickert, and J. Eisenbiegler: Source Code and Task Graphs in Programm Optimization, In: High-Performance Computing and Networking, HPCN Europe 2001, LNCS 2110, pp. 273--282, 2001.
  • D. Trystram and W. Zimmermann: On Multi-Broadcast and Scheduling Receive-Graphs under LogP with Long Messages Proceedings of the 4th International Workshop on Advanced Parallel Processing Technologies APPT'01, pp. 37-48, 2001.
  • M. Schaarschmidt: Aspektweben auf Methodenebene, GI-Nachwuchstagung 2001, Bad Schussenried, Konradin-Verlag, 2001.
  • W. Löwe, W. Zimmermann, S. Dickert, and J. Eisenbiegler :  Source Code and Task Graphs in Programm Optimization, In: High-Performance Computing and Networking, HPCN Europe 2001,   LNCS 2110, pp.  273-282, 2001.

2000

  • T. Gaul, W. Goerigk, G. Goos, A. Heberle, and W. Zimmermann:  Construction of Verified Compiler Front-Ends with Program-Checking, Andrei Ershov 3rd International Conference on Perspectives of System Informatics PSI 99, LNCS 1755, pp. 493-502, 2000.
  • W. Zimmermann, A. Frick, and R. Neumann: The Construction Principles of the Class Library KARLA, Generic Programming, LNCS 1766, pp. 53-68, 2000.
  • G. Goos and W. Zimmermann: Verifying Compilers and ASMs, Abstract State Machines, Theory and Applications, LNCS 1912, pp. 177-202, 2000.
  • T. Gaul, W. Goerigk, and W. Zimmermann: Practical Construction of Correct Compiler Implementations by Runtime Result Verification, Proceedings of SCI'2000, International Conference on Information Systems Analysis an Synthesis, 2000.
  • A. Heberle, W. Löwe, R. Neumann, and W. Zimmermann: Weak Subtyping and Genericity, TOOLS 34 - Technology of Object-Oriented Languages and Systems, IEEE, pp. 149-158, 2000.

1999

  • W. Löwe, R. Neumann, M. Trapp, and W. Zimmermann: Robust Dynamic Exchange of Implementation Aspects, TOOLS 29 - Technology of Object-Oriented Languages and Systems, IEEE, pp. 351-360, 1999.
  • W. Goerigk, T. Gaul, and W. Zimmermann: Correct Programs without Proof? On Checker Based Program Verification, Tool Support for System Specification and Verification, Springer Series Advances in Computing Science, pp. 108--123, 1999.
  • T. Gaul, W. Goerigk, A. Heberle, and W. Zimmermann: Construction of Verified Software Systems with Program Checking: An Application to Compiler Back-Ends, The Federated Logics Conference 99 Workshop on Runtime Result Verification, electronic proceedings, 1999.
  • W. Löwe and W. Zimmermann: Scheduling Iterative Programs onto LogP-Machines Europar '99: Parallel Processing, LNCS 1685, pp. 332-339, 1999.
  • G. Goos and W. Zimmermann: Verification of Compilers, Correct System Design, LNCS 1710, pp. 201-230, 1999.
  • M. Schaarschmidt: Bestimmung interessanter Projektionen für eine effiziente Clusteranalyse großer Datenmengen, GI-Nachwuchstagung 1999, Bad Schussenried, Konradin-Verlag, pp. 113-115.

1998

  • J. Eisenbiegler, J. Gottlieb, W. Löwe, S. Schlaeger, M. Thül, W. Zimmermann: Parallel CG-methods - Automatically Optimized for PC-Workstation Clusters High-Performance Computing Algorithms for Structured Matrix Problems, pp. 181-197, Nova Science Publishing, 1998.
  • S. Glesner and W. Zimmermann: Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis, Systems Implementation 2000, pp. 249-262. Chapman & Hall, IFIP, 1998.
  • D. Genius, M. Trapp, and W. Zimmermann: An Approach to improve Locality using Sandwich Types, Types in Compilation, LNCS 1473, pp. 194-204, 1998.
  • R. Neumann, W. Löwe, M. Trapp, and W. Zimmermann: Weak Subtyping - Yet another Notation for Subtying, TOOLS 26 - Technology of Object-Oriented Languages and Systems, IEEE, pp. 333-345, 1998.
  • W. Zimmermann, M. Middendorf, and W. Löwe: On Optimal k-linear Scheduling of Tree-like Task Graphs for LogP-Machines, Europar '98: Parallel Processing, LNCS 1470, pp. 328-336, 1998.
  • J. Eisenbiegler, W. Löwe, and W. Zimmermann: BSP, LogP, and Oblivious Algorithms, Europar '98: Parallel Processing, pp. 865-874, 1998.
  • A.Dold, T. Gaul, V. Vialard, and W. Zimmermann: ASM-based Mechanical Verification of Compiler Back-Ends, Proceedings of the International Workshop on Software Tools for Technology Transfer STTT '98, pp. 13-24, 1998.
  • T. Gaul, W. Goerigk, A. Heberle, U. Hoffmann, and W. Zimmermann: Praktikable Konstruktion korrekter Übersetzer Softwaretechnik-Trends 18 (3), Softwaretechnik '98, pp. 26-33, 1998.
  • A. Dold, T. Gaul, V.Vialard, and W. Zimmermann: ASM-based Mechanized Verification of Compiler Back-Ends, Proceedings of the 5th International Workshop on Abstract State Machines, pp. 50-67, 1998.

1997

  • W. Zimmermann and W. Löwe: Summation and Prefix Summation on LogP-Meshes, Proceedings of the 4th PASA-Workshop on Parallel Systems and Algorithms, pp. 229-246, 1997.
  • A. Heberle, T. Gaul, G. Goos, and W. Zimmermann: An Architecture for Verified Compiler Construction, Joint Modular Languages Conference (Poster Session), 1997.
  • W. Löwe, W. Zimmermann, and J. Eisenbiegler: On Linear Schedules of Task Graphs on Generalized LogP-Machines, Europar '97: Parallel Processing, LNCS 1300, pp. 895-904, 1997.
  • J. Frigo, R. Neumann, and W. Zimmermann: Generation of Robust Class Hierarchies,
  • TOOLS 23 - Technology of Object-Oriented Languages and Systems, IEEE, pp. 282-291, 1997.
  • T. Gaul, G. Goos, A. Heberle, and W. Zimmermann: Zur Konstruktion korrekter Übersetzer, GI-Arbeitstagung Programmiersprachen (Workshop), 1997.

1996

  • W. Zimmermann, W. Löwe and J. Gottlieb: On the Design and Implementation of Parallel Algorithms for Solving Inverse Problems, Parameter Identification and Inverse Problems in Hydrology, Geology, and Ecology, pp. 283-300, 1996.
  • W. Goerigk, A. Dold, T. Gaul, G. Goos, A. Heberle, F. v. Henke, U. Hoffmann, H. Langmaack, H. Pfeiffer, and W. Zimmermann: Compiler Construction CC'96 (Poster Session), 1996.
  • W. Löwe, J. Eisenbiegler, and W. Zimmermann: Optimizing Parallel Programs on Machines with Expensive Communications, Europar '96 Parallel Processing. LNCS 1124, pp. 602-610, 1996.
  • J. Eisenbiegler, W. Löwe, and W. Zimmermann: Optimizing Parallel Programs on Machines with Fast Communication, Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems, pp. 100-103, 1996.
  • A. Frick, R. Neumann, and W. Zimmermann: Eine Methode zur Konstruktion robuster Klassenhierarchien, Softwaretechnik-Trends 16 (3), Softwaretechnik '96, pp. 16-23, 1996.
  • A. Frick, R. Neumann, and W. Zimmermann: A Method for the Construction of Robust Class Hierarchies, WOON '96, 1996.

1995

  • A. Frick, W. Zimmer, and W. Zimmermann: Über den Entwurf robuster objekt-orientierter Klassenbibliotheken, Softwaretechnik-Trends15 (3), Softwaretechnik '95, pp. 35-46, 1995.
  • A. Frick, W. Zimmer, and W. Zimmermann: On the Design of Reliable Libraries, TOOLS 17 - Technology of Object-Oriented Programming, pp. 13-23, 1995.
  • W. Löwe and W. Zimmermann: On Finding Optimal Clusterings of Task Graphs, Parallel Algorithms/Architecture Synthesis pAs '95, pp. 241-247, 1995.
  • W. Löwe and W. Zimmermann: Programming Data-Parallel - Executing Process-Parallel, Parallel Programming and Applications, pp. 50-64, 1995.
  • W. Löwe and W. Zimmermann: Upper Time Bounds for Executing PRAM-Programs on the LogP-Machine, Proceedings of the 9th ACM International Conference on Supercomputing, pp. 41-50, 1995.

1994

  • H.W. Schmidt and W. Zimmermann: Reasoning about Complexity of Object-Oriented Programs, Programming Concepts, Methods, and Calculi. IFIP Transactions A-56, pp. 553-572, 1994.
  • W. Zimmermann and W. Löwe: An Approach to Machine-Independent Parallel Programming, Parallel Processing: CONPAR 94 - VAPP VI, LNCS 854, pp. 277-288, 1994.

1993

  • W. Zimmermann and H. Kumm: Implementierungen von PRAM Simulationen, PARS-Mitteilungen 11 (3) , pp. 40-44, 3. PASA Workshop, 1993.
  • W. Zimmermann and H. Kumm: On the Implementation of Virtual Shared Memory, Programming Models for Massively Parallel Computers, pp. 172-178, 1993.

1992

  • W. Zimmermann: Complexity Issues in the Design of Functional Languages, Proceedings of the 1992 International Conference on Computer Languages, pp. 34-43, 1992.

1991

  • P. Zimmermann and W. Zimmermann: Automatic Complexity Analysis of Divide-and-Conquer Algorithms, Proceedings of the Sixth International Symposium on Computer and Information Sciences, pp. 395-404, 1991.

1988

  • W. Zimmermann: The Use of Many-Valued and Non-Monotonic Logics for Program Construction, System Design: Concepts, Methods, and Tools (COMPEURO 88), pp. 71-81, 1988.

Invited Papers

  • G. Goos and W. Zimmermann
    Programmiersprachen,
    Handbuch der Informatik, Kapitel D2, 1997. 2. Auflage 1999
  • S. Glesner and W. Zimmermann
    Using Many-Sorted Inference Rule to Generate Semantic Analysis,
    Promotion tut not: Innovationsmotor Graduiertenkolleg Aachener Beiträge zur Informatik, Band 21. Hrsg.: Otto Spaniol. 1997.

Editor of Proceedings/Special Issues

  • Gianluigi Zavattaro and Wolf Zimmermann: Proceedings of the PhD Symposium at the 5th European Conference on Service-Oriented and Cloud Computing, Halle (Saale): Martin-Luther-Universität Halle-Wittenberg, 2016
  • W. Zimmermann et. al: Software Engineering Workshops 2016, CEUR Proceedings Vol-1559, 2016
  • Gianluigi Zavattaro and Wolf Zimmermann
    Proceedings of the PhD Symposium at the 4th European Conference on Service-Oriented and Cloud ComputingHalle (Saale): Martin-Luther-Universität Halle-Wittenberg, 2015
  • W. Zimmermann et. al: Software Engineering Workshops 2015, CEUR Proceedings Vol-1337, 2015
  • Villari, Massimo, Zimmermann,Wolf,Lau,     Kung-Kiu: Service-Oriented and  Cloud Computing - Third European Conference ESOCC 2014, Proceedings, Lecture Notes in Computer Science 8745, Springer, 2014
  • Roswitha Picht, Wolf Zimmermann: Tagungsband 17. Kolloquium   Programmiersprachen und Grundlagen der Programmierung,   Institut für Informatik, Technical Report 2014/02
  • Wolf Zimmermann: Proceedings of the PhD Symposium at the 2nd European  Conference on Service-Oriented and Cloud Computing, Halle (Saale):  Martin-Luther-Universität Halle-Wittenberg, 2013
  • Wolf Zimmermann: Proceedings of the PhD Symposium at the 1st European  Conference on Service-Oriented and Cloud Computing, Halle (Saale):  Martin-Luther-Universität Halle-Wittenberg, 2012
  • Villari, Massimo; Król, Dariusz; Lee, Yong Woo; Zimmermann, Wolf: The Second International Conference on Cloud Computing, GRIDs, and Virtualization - Rome, 2011.
  • Zimmermann, Wolf: Proceedings of the PhD Symposium at the 9th IEEE European Conference on Web Services, Halle (Saale): Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011.
  • Zimmermann, Wolf: Proceedings of the PhD Symposium at the 8th IEEE European Conference on Web Services. Publikation als Technischer Bericht 2010-04 des Instituts für Informatik   der Martin-Luther-Universität Halle Wittenberg.
  • Zimmermann, Wolf   ; König-Ries, Birgitta; Pahl, Claus: Proceedings of the fifth IEEE European Conference on Web Services - 26-28 November 2007  ECOWS'07; (Halle, Germany), IEEE Computer Society, 2007.
  • Knoop, Jens; Necula, G. C.; Zimmermann, Wolf:    Proceedings of the 5th    International Workshop on Compiler Optimization meets Compiler   Verification (COCV 2006) Vienna, Austria, 02 April 2006 International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006)$j5; (Wien): 2006.04.02. - Amsterdam [u.a.]: Elsevier Science, 2007 - (Electronic notes in theoretical computer science; 176.2007, 3).
  • Bernstein, Abraham; Gschwind, Thomas; Zimmermann, Wolf   : Proceedings of the forth IEEE European Conference on Web Services - 4-6 Dezember 2006 ECOWS'06; (Zürich, Switzerland): IEEE Computer Society, 2006.
  • J. Knoop, G. Necula, and W. Zimmermann (Editors):
    Proceedings on the 4th Workshop on Compiler Optimization meets Compiler  Verification. Electronic Notes on Theoretical Computer Science 141(2),  2005.
  • W. Zimmermann (Editor): Special Issue on Reusable Software Libraries, IEE Proceedings Software 152 (1), 2005
  • J. Knoop, G. Necula, and W. Zimmermann (Editors): Proceedings on the 3rd Workshop on Compiler Optimization meets Compiler  Verification. Electronic Notes on Theoretical Computer Science 132 (1), 2004.
  • W. Zimmermann and B. Thalheim (Editors): Abstract State Machines 2004, LNCS 3052, 2004.
  • J. Knoop and W. Zimmermann (Editors): Special Issue on on Compiler Optimization meets Compiler Verification. Journal of Universal Computer Science 9 (3), 2003
  • J.Knoop and W. Zimmermann (Editors): Proceedings on the 2nd Workshop on Compiler Optimization meets Compiler Verification. Electronic Notes on Theoretical Computer Science 82 (2),    2003.
  • J. Knoop and W. Zimmermann (Editors): Proceedings on the 1st Workshop on Compiler Optimization meets Compiler  Verification. Electronic Notes on Theoretical Computer Science 65 (2),   2002.

Mitgliedschaften in Editorial Boards

Zum Seitenanfang