Publications By Kind

Journals

Wolfgang Grieskamp, Nicolas Kicillof, and Nikolai Tillmann:

Action Machines: a Framework for Encoding and Composing Partial Behaviors. International Journal of Software Engineering and Knowledge Engineering, pages 705-726, 2006.
online article

Wolfgang Grieskamp, Nikolai Tillmann, and Margus Veanes:

Instrumenting scenarios in a model-driven development environment Information and Software Technology, 2004, In press, available online.

P. Pepper, M. Cebulla, K. Didrich, and W. Grieskamp:

From Program Languages to Software Languages Journal of Systems and Software, pages 91-101, February 2002, extended version of Pepper, Cebulla, Didrich, Grieskamp '00.

Wolfgang Grieskamp, Maritta Heisel, and Heiko Doerr:

Specifying Safety-Critical Embedded systems with Statecharts and Z: An Agenda for Cyclic Software Components Science of Computer Programming, pages 31-57, 2001, extended version of Grieskamp, Heisel, Doerr '98.

P. H. Hartel, M. Feeley, M. Alt, L. Augustsson, P. Baumann, M. Beemster, E. Chailloux, C. H. Flood, W. Grieskamp, J. H. G.\ van Groningen, K. Hammond, B. Hausman, M. Y. Ivory, R. E. Jones, J. Kamperman, P. Lee, X. Leroy, R. D. Lins, S. Loosemore, N. R\"ojemo, M. Serrano, J.-P. Talpin, J. Thackray, S. Thomas, P. Walters, P. Weis, and P. Wentworth:

Benchmarking Implementations of Functional Languages with ``Pseudoknot'', a Float-Intensive Benchmark J. of Functional Programming, 1996.

Andreas Fett, Carola Gerke, Wolfgang Grieskamp, and P. Pepper:

Algebraic Programming in OPAL Bulletin of the European Association for Theoretical Computer Science (EATCS), pages 171-181, June 1993.
Keywords: algebraic, functional programming

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes:

Generating Finite State Machines from Abstract State Machines in ISSTA 2002, International Symposium on Software Testing and Analysis , July 2002.

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes:

Testing with Abstract State Machines in Roberto Moreno-Diaz and Alexis Quesada-Arencibia, Formal Methods and Tools for Computer Science - EUROCAST'01 - Extended Abstracts , February 2001.
online article

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, and Nikolai Tillmann:

Testable Use Cases in the Abstract State Machine Language in Proceedings of Asia-Pacific Conference on Quality Software (APAQS'01) , December 2001.
online article

Wolfgang Grieskamp:

A Computation Model for Z based on Concurrent Constraint Resolution in ZB2000 - International Conference of Z and B Users , September 2000.
online article

Wolfgang Grieskamp and Markus Lepper:

Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System in LPAR 2000 - 7th International Conference on Logic for Programming and Automated Reasoning , November 2000.
online article

Wolfgang Grieskamp and Markus Lepper:

Using Use Cases in Executable Z in ICFEM 2000 - IEEE Conference on Formal Engineering Methods , September 2000.
online article

Robert Buessow and Wolfgang Grieskamp:

A Modular Framework for the Integration of Heterogenous Notations and Tools in Keijiro Araki and Andy Galloway and Kenji Taguchi, Proc. of the 1st Intl. Conference on Integrated Formal Methods - IFM'99 , June 1999.
online article

Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, and Baltasar Trancon y Widemann:

Reflections in Opal in Proceedings of the 11th International Workshop on Implementation of Functional Languages (IFL'99) , September 1999.
online article

Robert Buessow, Wolfgang Grieskamp, Winfried Heicking, and Stephan Herrmann:

An Open Environment for the Integration of Heterogeneous Modelling Techniques and Tools in Proc. of Intl. Workshop on Current Trends in Applied Formal Methods , 1998.
online article

Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, and Peter Pepper:

Programming in the Large: the Algebraic-Functional Language Opal 2$\alpha$ in Proceedings of the 9th International Workshop on Implementation of Functional Languages, St Andrews, Scotland, September 1997 (IFL'97), Selected Papers, pages 323 - 338 , 1998.

Wolfgang Grieskamp, Maritta Heisel, and Heiko D\"orr:

Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components in Egidio Astesiano, Proc. of the 1st Intl. Conf. on Fundemantal Approaches to Software Engineering - FASE'98, pages 88-106 , 1998.
online article

Robert Buessow and Wolfgang Grieskamp:

Combinig Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems in R. K. Shyamasundar and K. Ueda, Advances in Computing Science - Asian '97, pages 46-56 , 1997.

Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, and Peter Pepper:

Towards Integrating Algebraic Programming and Functional Programming: the Opal System in Martin Wirsing and Maurice Nivat, Algebraic Methodology and Software Technology, pages 559-562 , 1996.

Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, and Mario S\"udholt:

Communicating Functional Agents and their Application to Graphical User Interfaces in Proceedings of the 2nd International Conference on Perspectives of System Informatics, Novosibirsk , Jun 1996.

Thomas Frauenstein, Wolfgang Grieskamp, and Mario S\"udholt:

Temporal Semantics of a Concurrency Monad with Choice and Services in Proceedings of the 2nd FUJI International Workshop on Functional and Logic Programming , Nov 1996.
online article

Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, and Peter Pepper:

OPAL: Design and Implementation of an Algebraic Programming Language in J\"urg Gutknecht, Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 1994, pages 228-244 , 1994.

Wolfram Schulte and Wolfgang Grieskamp:

Generating Efficient Portable Code for a Strict Applicative Language in Phoenix Seminar and Workshop on Declarative Programming , 1992.
Keywords: functional programming, code generation, Opal

Wolfgang Grieskamp:

A Set-Based Calculus and its Implementation PhD thesis , November 1999.
online article

Wolfgang Grieskamp:

Ein Experiment zur Integration algebraischer Spezifikation und applikativer Programmierung Master's thesis , August 1991, in german.
Keywords: opal, algebraic specification, functional programming

Wolfgang Grieskamp and Carsten Weise (editors):

Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers , Vol.3997, Series Lecture Notes in Computer Science, Springer, 2006.

Wolfgang Grieskamp, Thomas Santen, and Bill Stoddart (editors):

Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings , Vol.1945, Series Lecture Notes in Computer Science, Springer, 2000.

Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes:

Model-based Testing of Object-Oriented Reactive Systems with Spec Explorer Technical Report MSR-TR-2005-59, Microsoft Research , May 2005, to appear in ``Formal Methods and Testing'', LNCS.
online article

Nikolai Tillmann, Wolfram Schulte, and Wolfgang Grieskamp:

Parameterized Unit Tests Technical Report MSR-TR-2005-64, Microsoft Research , May 2005.
online article

Wolfgang Grieskamp, Markus Lepper, and Jacob Wieland:

Constraint Programming in Z , March 2000, unfinished.
online article

Robert B\"ussow, Robert Geisler, Wolfgang Grieskamp, and Marcus Klar:

Integrating Z with Dynamic Modeling Techniques for the Specification of Reactive Systems , 1998.
online article

Robert B\"ussow, Robert Geisler, Wolfgang Grieskamp, and Marcus Klar:

The mSZ Notation Version 1.0 Technical Report 97-26, TU Berlin, FB 13 , 1997.
online article

Robert B\"ussow, Wolfgang Grieskamp, Frank Lattemann, and Eckard Lehmann:

The Definition of Dynamic Z , May 1997, unfinished (one of my favorite papers).
online article

Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, and Mario S\"udholt:

Communicating Functional Agents and their Application to Graphical User Interfaces Technical Report TR95-19, TU Berlin , 1995, Revised version, April 1996. Extended version of this paper.
Keywords: functional programming, graphical user interface, Opal, gate
online article