Wolfgang Grieskamp

According to our database, Wolfgang Grieskamp authored at least 56 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Securing Aptos Framework with Formal Verification.

Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, Robert Chen

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2023

Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences.

Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli

J. Autom. Reason., September, 2023

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Reasoning About Vectors Using an SMT Theory of Sequences.

Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2020

The Move Prover.

Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

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, Daniel Ramage, Jason Roselander

Proceedings of the Second Conference on Machine Learning and Systems, SysML 2019, 2019

2013

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

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

Assuring the model evolution of protocol software specifications by regression testing process improvement.

Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan

Softw. Pract. Exp., 2011

2010

Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing.

Wolfgang Grieskamp

Proceedings of the Testing, 2010

Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software.

Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li

Proceedings of the 10th International Conference on Quality Software, 2010

10421 Summary - Model-Based Testing in Practice.

Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner

Proceedings of the Model-Based Testing in Practice, 17.10. - 22.10.2010, 2010

10421 Abstracts Collection - Model-Based Testing in Practice.

Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner

Proceedings of the Model-Based Testing in Practice, 17.10. - 22.10.2010, 2010

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

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

Interaction Coverage Meets Path Coverage by SMT Constraint Solving.

Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen

Proceedings of the Testing of Software and Communication Systems, 2009

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

Proceedings of the Eighth International Conference on Quality Software, 2008

Model-Based Quality Assurance of Windows Protocol Documentation.

Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden

Proceedings of the First International Conference on Software Testing, 2008

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.

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

Proceedings of the Formal Methods and Testing, 2008

2007

6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07).

Wolfgang Grieskamp, Nicolas Kicillof

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Achieving both model and code coverage with automated gray-box testing.

Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

Action Machines: a Framework for Encoding and Composing Partial Behaviors.

Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann

Int. J. Softw. Eng. Knowl. Eng., 2006

A schema language for coordinating construction and composition of partial behavior descriptions.

Wolfgang Grieskamp, Nicolas Kicillof

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 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

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Model-Based Testing in the Field: Lessons Learned.

Wolfgang Grieskamp

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Multi-paradigmatic Model-Based Testing.

Wolfgang Grieskamp

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

XRT- Exploring Runtime for .NET Architecture and Applications.

Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte

Proceedings of the 3rd Workshop on Software Model Checking, 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

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Testing Concurrent Object-Oriented Systems with Spec Explorer.

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

Proceedings of the FM 2005: Formal Methods, 2005

2004

Instrumenting scenarios in a model-driven development environment.

Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes

Inf. Softw. Technol., 2004

Optimal strategies for testing nondeterministic systems.

Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

04371 Abstracts Collection - Perspectives of Model-Based Testing.

Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans

Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

04371 Summary - Perspectives of Model-Based Testing.

Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans

Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

2003

Validating Use-Cases with the AsmL Test Tool.

Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Towards a Tool Environment for Model-Based Testing with AsmL.

Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the Formal Approaches to Software Testing, 2003

Test Case Generation from AsmL Specifications.

Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes

Proceedings of the Abstract State Machines, 2003

2002

From program languages to software languages.

Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp

J. Syst. Softw., 2002

Generating finite state machines from abstract state machines.

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

Proceedings of the International Symposium on Software Testing and Analysis, 2002

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

Testable Use Cases in the Abstract State Machine Language.

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

A Computation Model for Z Based on Concurrent Constraint Resolution.

Wolfgang Grieskamp

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System.

Wolfgang Grieskamp, Markus Lepper

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Using Use Cases in Executable Z.

Wolfgang Grieskamp, Markus Lepper

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

1999

A set based calculus and its implementation.

Wolfgang Grieskamp

PhD thesis, 1999

A Modular Framework for the Integration of Heterogeneous Notations and Tools.

Robert Büssow, Wolfgang Grieskamp

Proceedings of the Integrated Formal Methods, 1999

Reflections in Opal - Meta Information in a Functional Programming Language.

Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón y Widemann

Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

1998

An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools.

Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann

Proceedings of the Applied Formal Methods, 1998

Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.

Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997

Programming in the Large: The Algebraic-Functional Language Opal 2alpha.

Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems.

Robert Büssow, Wolfgang Grieskamp

Proceedings of the Advances in Computing Science, 1997

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, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth

J. Funct. Program., 1996

Communicating Functional Agents and Their Application to Graphical User Interfaces.

Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt

Proceedings of the Perspectives of System Informatics, 1996

Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract).

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

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

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

Proceedings of the KORSO, 1995

1994

OPAL: Design and Implementation of an Algebraic Programming Language.

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

Proceedings of the Programming Languages and System Architectures, 1994

1993

Algebreic Programming in Opal.

Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper

Bull. EATCS, 1993

1991

Generating Efficient Portable Code for a Strict Applicative Language.

Wolfram Schulte, Wolfgang Grieskamp

Proceedings of the Declarative Programming, 1991