Wolfgang Grieskamp

Affiliations:
  • Microsoft Research


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Securing Aptos Framework with Formal Verification.
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2023
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences.
J. Autom. Reason., September, 2023

2022
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Reasoning About Vectors Using an SMT Theory of Sequences.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2020
The Move Prover.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Towards Federated Learning at Scale: System Design.
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.
J. Syst. Softw., 2013

2011
Model-based quality assurance of protocol documentation: tools and methodology.
Softw. Test. Verification Reliab., 2011

Assuring the model evolution of protocol software specifications by regression testing process improvement.
Softw. Pract. Exp., 2011

2010
Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing.
Proceedings of the Testing, 2010

Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software.
Proceedings of the 10th International Conference on Quality Software, 2010

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

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

Model-Based Testing for the Cloud.
Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009
Interaction Coverage Meets Path Coverage by SMT Constraint Solving.
Proceedings of the Testing of Software and Communication Systems, 2009

2008
Model-Based Quality Assurance of the SMB2 Protocol Documentation.
Proceedings of the Eighth International Conference on Quality Software, 2008

Model-Based Quality Assurance of Windows Protocol Documentation.
Proceedings of the First International Conference on Software Testing, 2008

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.
Proceedings of the Formal Methods and Testing, 2008

2007
6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07).
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Achieving both model and code coverage with automated gray-box testing.
Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006
Action Machines: a Framework for Encoding and Composing Partial Behaviors.
Int. J. Softw. Eng. Knowl. Eng., 2006

A schema language for coordinating construction and composition of partial behavior descriptions.
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).
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Model-Based Testing in the Field: Lessons Learned.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Multi-paradigmatic Model-Based Testing.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005
XRT- Exploring Runtime for .NET Architecture and Applications.
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.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Testing Concurrent Object-Oriented Systems with Spec Explorer.
Proceedings of the FM 2005: Formal Methods, 2005

2004
Instrumenting scenarios in a model-driven development environment.
Inf. Softw. Technol., 2004

Optimal strategies for testing nondeterministic systems.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

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

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

2003
Validating Use-Cases with the AsmL Test Tool.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Towards a Tool Environment for Model-Based Testing with AsmL.
Proceedings of the Formal Approaches to Software Testing, 2003

Test Case Generation from AsmL Specifications.
Proceedings of the Abstract State Machines, 2003

2002
From program languages to software languages.
J. Syst. Softw., 2002

Generating finite state machines from abstract state machines.
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.
Sci. Comput. Program., 2001

Testable Use Cases in the Abstract State Machine Language.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000
A Computation Model for Z Based on Concurrent Constraint Resolution.
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.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

Using Use Cases in Executable Z.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

1999
A set based calculus and its implementation.
PhD thesis, 1999

A Modular Framework for the Integration of Heterogeneous Notations and Tools.
Proceedings of the Integrated Formal Methods, 1999

Reflections in Opal - Meta Information in a Functional Programming Language.
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

1998
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools.
Proceedings of the Applied Formal Methods, 1998

Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.
Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997
Programming in the Large: The Algebraic-Functional Language Opal 2alpha.
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.
Proceedings of the Advances in Computing Science, 1997

1996
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program., 1996

Communicating Functional Agents and Their Application to Graphical User Interfaces.
Proceedings of the Perspectives of System Informatics, 1996

Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Korso Reference Languages - Concepts and Application Domains.
Proceedings of the KORSO, 1995

1994
OPAL: Design and Implementation of an Algebraic Programming Language.
Proceedings of the Programming Languages and System Architectures, 1994

1993
Algebreic Programming in Opal.
Bull. EATCS, 1993

1991
Generating Efficient Portable Code for a Strict Applicative Language.
Proceedings of the Declarative Programming, 1991


  Loading...