Wolfgang Grieskamp

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 9

Top Venues

CoRR

FMBC@CAV

CAV (1)

TACAS (1)

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, Robert Chen
Securing Aptos Framework with Formal Verification. FMBC@CAV (2024)
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences. J. Autom. Reason. 67 (3) (2023)
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors using an SMT Theory of Sequences. CoRR (2022)
David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. TACAS (1) (2022)
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors Using an SMT Theory of Sequences. IJCAR (2022)
David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. CoRR (2021)
Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill
The Move Prover. CAV (1) (2020)
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
Towards Federated Learning at Scale: System Design. MLSys (2019)
Kallista A. Bonawitz, Hubert Eichner, Wolfgang Grieskamp, Dzmitry Huba, Alex Ingerman, Vladimir Ivanov, Chloé Kiddon, Jakub Konecný, Stefano Mazzocchi, H. Brendan McMahan, Timon Van Overveldt, David Petrou, Daniel Ramage, Jason Roselander
Towards Federated Learning at Scale: System Design. CoRR (2019)
Saswat Anand, Edmund K. Burke, Tsong Yueh Chen, John A. Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn
An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86 (8) (2013)
Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan
Assuring the model evolution of protocol software specifications by regression testing process improvement. Softw. Pract. Exp. 41 (10) (2011)
Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman
Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test. Verification Reliab. 21 (1) (2011)
Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner
10421 Summary - Model-Based Testing in Practice. Model-Based Testing in Practice (2010)
Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner
10421 Abstracts Collection - Model-Based Testing in Practice. Model-Based Testing in Practice (2010)
Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li
Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software. QSIC (2010)
Wolfgang Grieskamp
Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing. TAIC PART (2010)
Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans
Model-Based Testing for the Cloud. Practical Software Testing: Tool Automation and Human Factors (2010)
Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen
Interaction Coverage Meets Path Coverage by SMT Constraint Solving. TestCom/FATES (2009)
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden, Danpo Zhang
Model-Based Quality Assurance of the SMB2 Protocol Documentation. QSIC (2008)
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden
Model-Based Quality Assurance of Windows Protocol Documentation. ICST (2008)
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing (2008)
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman
Achieving both model and code coverage with automated gray-box testing. A-MOST (2007)
Wolfgang Grieskamp, Nicolas Kicillof
6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). ICSE Companion (2007)
Wolfgang Grieskamp, Nicolas Kicillof
A schema language for coordinating construction and composition of partial behavior descriptions. SCESM (2006)
Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann
Action Machines: a Framework for Encoding and Composing Partial Behaviors. Int. J. Softw. Eng. Knowl. Eng. 16 (5) (2006)
Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte
XRT- Exploring Runtime for .NET Architecture and Applications. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)
Wolfgang Grieskamp
Multi-paradigmatic Model-Based Testing. FATES/RV (2006)
Wolfgang Grieskamp
Model-Based Testing in the Field: Lessons Learned. GI Jahrestagung (2) (2006)
Wolfgang Grieskamp, Debra J. Richardson, Clay E. Williams
OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS). OOPSLA Companion (2006)
Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. QSIC (2005)
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Testing Concurrent Object-Oriented Systems with Spec Explorer. FM (2005)
Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
Instrumenting scenarios in a model-driven development environment. Inf. Softw. Technol. 46 (15) (2004)
Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing (2004)
Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing (2004)
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
Optimal strategies for testing nondeterministic systems. ISSTA (2004)
Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
Test Case Generation from AsmL Specifications. Abstract State Machines (2003)
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Towards a Tool Environment for Model-Based Testing with AsmL. FATES (2003)
Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Validating Use-Cases with the AsmL Test Tool. QSIC (2003)
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
Generating finite state machines from abstract state machines. ISSTA (2002)
Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp
From program languages to software languages. J. Syst. Softw. 60 (2) (2002)
Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann
Testable Use Cases in the Abstract State Machine Language. APAQS (2001)
Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. Sci. Comput. Program. 40 (1) (2001)
Wolfgang Grieskamp
A Computation Model for Z Based on Concurrent Constraint Resolution. ZB (2000)
Wolfgang Grieskamp, Markus Lepper
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. LPAR (2000)
Wolfgang Grieskamp, Markus Lepper
Using Use Cases in Executable Z. ICFEM (2000)
Robert Büssow, Wolfgang Grieskamp
A Modular Framework for the Integration of Heterogeneous Notations and Tools. IFM (1999)
Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón y Widemann
Reflections in Opal - Meta Information in a Functional Programming Language. IFL (1999)
Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. FASE (1998)
Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. FM-Trends (1998)
Robert Büssow, Wolfgang Grieskamp
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. ASIAN (1997)
Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
Programming in the Large: The Algebraic-Functional Language Opal 2alpha. Implementation of Functional Languages (1997)
Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt
Communicating Functional Agents and Their Application to Graphical User Interfaces. Ershov Memorial Conference (1996)
Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). AMAST (1996)
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
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6 (4) (1996)
Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper
OPAL: Design and Implementation of an Algebraic Programming Language. Programming Languages and System Architectures (1994)
Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper
Algebreic Programming in Opal. Bull. EATCS 50 (1993)
Wolfram Schulte, Wolfgang Grieskamp
Generating Efficient Portable Code for a Strict Applicative Language. Declarative Programming (1991)

Wolfgang Grieskamp.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wolfgang Grieskamp