Generating Efficient Portable Code for a Strict Applicative Language. - Wolfram Schulte; Wolfgang Grieskamp (Declarative Programming, 1991)

Algebreic Programming in Opal. - Andreas Fett; Carola Gerke; Wolfgang Grieskamp; Peter Pepper (Bull. EATCS, 1993)

OPAL: Design and Implementation of an Algebraic Programming Language. - Klaus Didrich; Andreas Fett; Carola Gerke; Wolfgang Grieskamp; Peter Pepper (Programming Languages and System Architectures, 1994)

Korso Reference Languages - Concepts and Application Domains. - Hans-Dieter Ehrich; Franz Regensburger; Wolfgang Grieskamp; Carola Gerke; Rudolf Herzig; Martin Gogolla; Grit Denker; Ernst-Rüdiger Olderog (KORSO Book, 1995)

Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). - Klaus Didrich; Carola Gerke; Wolfgang Grieskamp; Christian Maeder; Peter Pepper (AMAST, 1996)

Communicating Functional Agents and Their Application to Graphical User Interfaces. - Thomas Frauenstein; Wolfgang Grieskamp; Peter Pepper; Mario Südholt (Ershov Memorial Conference, 1996)

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. - Pieter H. Hartel; Marc Feeley; Martin Helmut Alt; Lennart Augustsson; Peter Baumann; Marcel Beemster; Emmanuel Chailloux; Christine H. Flood; Wolfgang Grieskamp; John H. G. van Groningen; Kevin Hammond; Bogumil Hausman; et al. (J. Funct. Program., 1996)

Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. - Robert Büssow; Wolfgang Grieskamp (ASIAN, 1997)

Programming in the Large: The Algebraic-Functional Language Opal 2alpha. - Klaus Didrich; Wolfgang Grieskamp; Christian Maeder; Peter Pepper (Implementation of Functional Languages, 1997)

Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. - Wolfgang Grieskamp; Maritta Heisel; Heiko Dörr (FASE, 1998)

An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. - Robert Büssow; Wolfgang Grieskamp; Winfried Heicking; Stephan Herrmann 001 (FM-Trends, 1998)

Reflections in Opal - Meta Information in a Functional Programming Language. - Klaus Didrich; Wolfgang Grieskamp; Florian Schintke; Till Tantau; Baltasar Trancón y Widemann (IFL, 1999)

A Modular Framework for the Integration of Heterogeneous Notations and Tools. - Robert Büssow; Wolfgang Grieskamp (IFM, 1999)

A set based calculus and its implementation. - Wolfgang Grieskamp (1999)

Using Use Cases in Executable Z. - Wolfgang Grieskamp; Markus Lepper 001 (ICFEM, 2000)

Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. - Wolfgang Grieskamp; Markus Lepper 001 (LPAR, 2000)

A Computation Model for Z Based on Concurrent Constraint Resolution. - Wolfgang Grieskamp (ZB, 2000)

Testable Use Cases in the Abstract State Machine Language. - Wolfgang Grieskamp; Markus Lepper 001; Wolfram Schulte; Nikolai Tillmann (APAQS, 2001)

Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. - Wolfgang Grieskamp; Maritta Heisel; Heiko Dörr (Sci. Comput. Program., 2001)

Generating finite state machines from abstract state machines. - Wolfgang Grieskamp; Yuri Gurevich; Wolfram Schulte; Margus Veanes (ISSTA, 2002)

From program languages to software languages. - Peter Pepper; Michael Cebulla; Klaus Didrich; Wolfgang Grieskamp (J. Syst. Softw., 2002)

Test Case Generation from AsmL Specifications. - Wolfgang Grieskamp; Lev Nachmanson; Nikolai Tillmann; Margus Veanes (Abstract State Machines, 2003)

Towards a Tool Environment for Model-Based Testing with AsmL. - Michael Barnett 001; Wolfgang Grieskamp; Lev Nachmanson; Wolfram Schulte; Nikolai Tillmann; Margus Veanes (FATES, 2003)

Validating Use-Cases with the AsmL Test Tool. - Michael Barnett 001; Wolfgang Grieskamp; Wolfram Schulte; Nikolai Tillmann; Margus Veanes (QSIC, 2003)

04371 Summary - Perspectives of Model-Based Testing. - Ed Brinksma; Wolfgang Grieskamp; Jan Tretmans (Perspectives of Model-Based Testing, 2004)

04371 Abstracts Collection - Perspectives of Model-Based Testing. - Ed Brinksma; Wolfgang Grieskamp; Jan Tretmans (Perspectives of Model-Based Testing, 2004)

Optimal strategies for testing nondeterministic systems. - Lev Nachmanson; Margus Veanes; Wolfram Schulte; Nikolai Tillmann; Wolfgang Grieskamp (ISSTA, 2004)

Instrumenting scenarios in a model-driven development environment. - Wolfgang Grieskamp; Nikolai Tillmann; Margus Veanes (Inf. Softw. Technol., 2004)

Testing Concurrent Object-Oriented Systems with Spec Explorer. - Colin Campbell; Wolfgang Grieskamp; Lev Nachmanson; Wolfram Schulte; Nikolai Tillmann; Margus Veanes (FM, 2005)

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. - Wolfgang Grieskamp; Nikolai Tillmann; Colin Campbell; Wolfram Schulte; Margus Veanes (QSIC, 2005)

XRT- Exploring Runtime for .NET Architecture and Applications. - Wolfgang Grieskamp; Nikolai Tillmann; Wolfram Schulte (SoftMC@CAV, 2005)

Multi-paradigmatic Model-Based Testing. - Wolfgang Grieskamp (FATES/RV, 2006)

Model-Based Testing in the Field: Lessons Learned. - Wolfgang Grieskamp (GI Jahrestagung (2), 2006)

OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS). - Wolfgang Grieskamp; Debra J. Richardson; Clay E. Williams (OOPSLA Companion, 2006)

A schema language for coordinating construction and composition of partial behavior descriptions. - Wolfgang Grieskamp; Nicolas Kicillof (SCESM, 2006)

Action Machines: a Framework for Encoding and Composing Partial Behaviors. - Wolfgang Grieskamp; Nicolas Kicillof; Nikolai Tillmann (Int. J. Softw. Eng. Knowl. Eng., 2006)

Achieving both model and code coverage with automated gray-box testing. - Nicolas Kicillof; Wolfgang Grieskamp; Nikolai Tillmann; Víctor A. Braberman (A-MOST, 2007)

6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). - Wolfgang Grieskamp; Nicolas Kicillof (ICSE Companion, 2007)

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. - Margus Veanes; Colin Campbell; Wolfgang Grieskamp; Wolfram Schulte; Nikolai Tillmann; Lev Nachmanson (Formal Methods and Testing, 2008)

Model-Based Quality Assurance of Windows Protocol Documentation. - Wolfgang Grieskamp; Nicolas Kicillof; Dave MacDonald; Alok Nandan; Keith Stobie; Fred L. Wurden (ICST, 2008)

Model-Based Quality Assurance of the SMB2 Protocol Documentation. - Wolfgang Grieskamp; Nicolas Kicillof; Dave MacDonald; Alok Nandan; Keith Stobie; Fred L. Wurden; Danpo Zhang (QSIC, 2008)

Interaction Coverage Meets Path Coverage by SMT Constraint Solving. - Wolfgang Grieskamp; Xiao Qu; Xiangjun Wei; Nicolas Kicillof; Myra B. Cohen (TestCom/FATES, 2009)

Model-Based Testing for the Cloud. - Antonia Bertolino; Wolfgang Grieskamp; Robert M. Hierons; Yves Le Traon; Bruno Legeard; Henry Muccini; Amit M. Paradkar; David S. Rosenblum; Jan Tretmans (Practical Software Testing: Tool Automation and Human Factors, 2010)

10421 Abstracts Collection - Model-Based Testing in Practice. - Wolfgang Grieskamp; Robert M. Hierons; Alexander Pretschner (Model-Based Testing in Practice, 2010)

10421 Summary - Model-Based Testing in Practice. - Wolfgang Grieskamp; Robert M. Hierons; Alexander Pretschner (Model-Based Testing in Practice, 2010)

Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software. - Bo Jiang 001; T. H. Tse; Wolfgang Grieskamp; Nicolas Kicillof; Yiming Cao; Xiang Li (QSIC, 2010)

Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing. - Wolfgang Grieskamp (TAIC PART, 2010)

Assuring the model evolution of protocol software specifications by regression testing process improvement. - Bo Jiang 001; T. H. Tse; Wolfgang Grieskamp; Nicolas Kicillof; Yiming Cao; Xiang Li; W. K. Chan 001 (Softw. Pract. Exp., 2011)

Model-based quality assurance of protocol documentation: tools and methodology. - Wolfgang Grieskamp; Nicolas Kicillof; Keith Stobie; Víctor A. Braberman (Softw. Test. Verification Reliab., 2011)

An orchestrated survey of methodologies for automated software test case generation. - Saswat Anand; Edmund K. Burke; Tsong Yueh Chen; John A. Clark; Myra B. Cohen; Wolfgang Grieskamp; Mark Harman; Mary Jean Harrold; Phil McMinn (J. Syst. Softw., 2013)

Towards Federated Learning at Scale: System Design. - Kallista A. Bonawitz; Hubert Eichner; Wolfgang Grieskamp; Dzmitry Huba; Alex Ingerman; Vladimir Ivanov; Chloé Kiddon; Jakub Konecný; Stefano Mazzocchi; Brendan McMahan; Timon Van Overveldt; David Petrou; et al. (SysML, 2019)

The Move Prover. - Jingyi Emma Zhong; Kevin Cheang; Shaz Qadeer; Wolfgang Grieskamp; Sam Blackshear; Junkil Park; Yoni Zohar; Clark W. Barrett; David L. Dill (CAV (1), 2020)

Reasoning About Vectors Using an SMT Theory of Sequences. - Ying Sheng 007; Andres Nötzli; Andrew Reynolds 001; Yoni Zohar; David L. Dill; Wolfgang Grieskamp; Junkil Park; Shaz Qadeer; Clark W. Barrett; Cesare Tinelli (IJCAR, 2022)

Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. - David L. Dill; Wolfgang Grieskamp; Junkil Park; Shaz Qadeer; Meng Xu; Jingyi Emma Zhong (TACAS (1), 2022)

Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences. - Ying Sheng 007; Andres Nötzli; Andrew Reynolds 001; Yoni Zohar; David L. Dill; Wolfgang Grieskamp; Junkil Park; Shaz Qadeer; Clark W. Barrett; Cesare Tinelli (J. Autom. Reason., 2023)

Securing Aptos Framework with Formal Verification. - Junkil Park; Teng Zhang; Wolfgang Grieskamp; Meng Xu; Gerardo Di Giacomo; Kundu Chen; Yi Lu; Robert Chen (FMBC@CAV, 2024)

Is Formal Verification Practical? (Invited Talk). - Wolfgang Grieskamp (FMBC, 2025)