Publications By Field

Model-Based Testing

Wolfgang Grieskamp:: Multi-paradigmatic Model-Based Testing in Klaus Havelund and Manuel N\'u\ nez and Grigore Rosu and Burkhart Wolff, FATES/RV, pages 1-19 , 2006.
online article
Wolfgang Grieskamp and Nicolas Kicillof:: A schema language for coordinating construction and composition of partial behavior descriptions in Jon Whittle and Leif Geiger and Michael Meisinger, SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006, pages 59-66 , 2006.
online article
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, Debra Richardson, and Clay E. Williams:: OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS) in OOPSLA Companion , 2006.
online article
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.
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
Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, and Margus Veanes:: Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation in QSIC 2005: Quality Software International Conference , September 2005, see here for a new extended version.
Wolfgang Grieskamp, Nikolai Tillmann, and Wolfram Schulte:: XRT - Exploring Runtime for .NET - Architecture and Applications in SoftMC 2005: Workshop on Software Model Checking , July 2005.
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, Nikolai Tillmann, and Margus Veanes:: Instrumenting scenarios in a model-driven development environment Information and Software Technology, 2004, In press, available online.
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, and Wolfgang Grieskamp:: Optimal strategies for testing nondeterministic systems in ISSTA'04, pages 55-64 , July 2004.
Mike Barnett, Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes:: Scenario-oriented Modeling in AsmL and its Instrumentation for Testing in SCESM 2003, 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools , May 2003.
online article
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes:: Model-Based Testing with AsmL.NET in 1st European Conference on Model-Driven Software Engineering , December 2003.
online article
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes:: Towards a Tool Environment for Model-Based Testing with AsmL in 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003) , October 2003.
online article
Mike Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes:: Validating Use Cases with the AsmL Test Tool in QSIC 2003: Proceedings of the Third International Conference on Quality Software , November 2003.
online article
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.
online article
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, extended version of this paper is found here.
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

High-Level Execution Models and Constraint Resolution

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
Wolfgang Grieskamp, Markus Lepper, and Jacob Wieland:: Constraint Programming in Z , March 2000, unfinished.
online article
Wolfgang Grieskamp:: The mZ Calculus and its Implementation in Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99) , September 1999, outdated by this paper.
Wolfgang Grieskamp:: A Set-Based Calculus and its Implementation PhD thesis , November 1999.
online article

Formal Methods

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.
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.
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
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
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
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.
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

Functional/Algebraic Programming

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.
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
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.
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.
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.
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
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.
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
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:: Ein Experiment zur Integration algebraischer Spezifikation und applikativer Programmierung Master's thesis , August 1991, in german.
Keywords: opal, algebraic specification, functional programming