default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWolfgang Grieskamp
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c39]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: 9:1-9:16- 2023
- [j10]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): 32 (2023) - 2022
- [c38]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: 125-143 - [c37]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: 183-200 - [i8]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 abs/2205.08095 (2022) - 2021
- [i7]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 abs/2110.08362 (2021) - 2020
- [c36]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: 137-150
2010 – 2019
- 2019
- [c35]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. SysML 2019 - [i6]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 abs/1902.01046 (2019) - 2013
- [j9]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): 1978-2001 (2013) - 2011
- [j8]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): 1073-1103 (2011) - [j7]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): 55-71 (2011) - 2010
- [c34]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: 62-71 - [c33]Wolfgang Grieskamp:
Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing. TAIC PART 2010: 7 - [e5]Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner:
Model-Based Testing in Practice, 17.10. - 22.10.2010. Dagstuhl Seminar Proceedings 10421, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i5]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 - [i4]Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner:
10421 Abstracts Collection - Model-Based Testing in Practice. Model-Based Testing in Practice 2010 - [i3]Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner:
10421 Summary - Model-Based Testing in Practice. Model-Based Testing in Practice 2010
2000 – 2009
- 2009
- [c32]Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen:
Interaction Coverage Meets Path Coverage by SMT Constraint Solving. TestCom/FATES 2009: 97-112 - 2008
- [c31]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: 39-76 - [c30]Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden:
Model-Based Quality Assurance of Windows Protocol Documentation. ICST 2008: 502-506 - [c29]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: 235-240 - 2007
- [c28]Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman:
Achieving both model and code coverage with automated gray-box testing. A-MOST 2007: 1-11 - [c27]Wolfgang Grieskamp, Nicolas Kicillof:
6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). ICSE Companion 2007: 129-130 - [e4]Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp:
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings. Lecture Notes in Computer Science 4581, Springer 2007, ISBN 978-3-540-73065-1 [contents] - 2006
- [j6]Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann:
Action Machines: a Framework for Encoding and Composing Partial Behaviors. Int. J. Softw. Eng. Knowl. Eng. 16(5): 705-726 (2006) - [c26]Wolfgang Grieskamp:
Multi-paradigmatic Model-Based Testing. FATES/RV 2006: 1-19 - [c25]Wolfgang Grieskamp:
Model-Based Testing in the Field: Lessons Learned. GI Jahrestagung (2) 2006: 189-196 - [c24]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: 621 - [c23]Wolfgang Grieskamp, Nicolas Kicillof:
A schema language for coordinating construction and composition of partial behavior descriptions. SCESM 2006: 59-66 - [e3]Wolfgang Grieskamp, Carsten Weise:
Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3997, Springer 2006, ISBN 3-540-34454-3 [contents] - 2005
- [c22]Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547 - [c21]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: 72-82 - [c20]Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte:
XRT- Exploring Runtime for .NET Architecture and Applications. SoftMC@CAV 2005: 3-26 - [e2]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
Perspectives of Model-Based Testing, 5.-10. September 2004. Dagstuhl Seminar Proceedings 04371, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 2004
- [j5]Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes:
Instrumenting scenarios in a model-driven development environment. Inf. Softw. Technol. 46(15): 1027-1036 (2004) - [c19]Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp:
Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64 - [i2]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004 - [i1]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004 - 2003
- [c18]Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes:
Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413 - [c17]Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266 - [c16]Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246 - 2002
- [j4]Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp:
From program languages to software languages. J. Syst. Softw. 60(2): 91-101 (2002) - [c15]Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes:
Generating finite state machines from abstract state machines. ISSTA 2002: 112-122 - 2001
- [j3]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): 31-57 (2001) - [c14]Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann:
Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172 - 2000
- [c13]Wolfgang Grieskamp, Markus Lepper:
Using Use Cases in Executable Z. ICFEM 2000: 111-120 - [c12]Wolfgang Grieskamp, Markus Lepper:
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. LPAR 2000: 43-53 - [c11]Wolfgang Grieskamp:
A Computation Model for Z Based on Concurrent Constraint Resolution. ZB 2000: 414-432 - [e1]Wolfgang Grieskamp, Thomas Santen, Bill Stoddart:
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings. Lecture Notes in Computer Science 1945, Springer 2000, ISBN 3-540-41196-8 [contents]
1990 – 1999
- 1999
- [b1]Wolfgang Grieskamp:
A set based calculus and its implementation. Technical University of Berlin, Germany, 1999 - [c10]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: 149-164 - [c9]Robert Büssow, Wolfgang Grieskamp:
A Modular Framework for the Integration of Heterogeneous Notations and Tools. IFM 1999: 211-230 - 1998
- [c8]Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr:
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. FASE 1998: 88-106 - [c7]Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann:
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. FM-Trends 1998: 184-195 - 1997
- [c6]Robert Büssow, Wolfgang Grieskamp:
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. ASIAN 1997: 46-56 - [c5]Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper:
Programming in the Large: The Algebraic-Functional Language Opal 2alpha. Implementation of Functional Languages 1997: 322-337 - 1996
- [j2]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): 621-655 (1996) - [c4]Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper:
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). AMAST 1996: 559-562 - [c3]Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt:
Communicating Functional Agents and Their Application to Graphical User Interfaces. Ershov Memorial Conference 1996: 386-397 - 1995
- [p1]Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog:
Korso Reference Languages - Concepts and Application Domains. KORSO Book 1995: 150-172 - 1994
- [c2]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: 228-244 - 1993
- [j1]Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper:
Algebreic Programming in Opal. Bull. EATCS 50: 171-181 (1993) - 1991
- [c1]Wolfram Schulte, Wolfgang Grieskamp:
Generating Efficient Portable Code for a Strict Applicative Language. Declarative Programming 1991: 239-252
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
