Wolfgang Grieskamp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
13
Active years
1998–2022
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CADE | Reasoning About Vectors Using an SMT Theory of Sequences. | Ying Sheng, Andres Ntzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli |
| 2022 | TACAS | 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 |
| 2020 | CAV | The Move Prover. | Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill |
| 2008 | ICST | Model-Based Quality Assurance of Windows Protocol Documentation. | Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden |
| 2007 | ICSE | 6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). | Wolfgang Grieskamp, Nicolas Kicillof |
| 2006 | GI | Model-Based Testing in the Field: Lessons Learned. | Wolfgang Grieskamp |
| 2006 | OOPSLA | OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS). | Wolfgang Grieskamp, Debra J. Richardson, Clay E. Williams |
| 2005 | FM | Testing Concurrent Object-Oriented Systems with Spec Explorer. | Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
| 2004 | ISSTA | Optimal strategies for testing nondeterministic systems. | Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp |
| 2002 | ISSTA | Generating finite state machines from abstract state machines. | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
| 2000 | ICFEM | Using Use Cases in Executable Z. | Wolfgang Grieskamp, Markus Lepper |
| 2000 | LPAR | Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. | Wolfgang Grieskamp, Markus Lepper |
| 1999 | IFM | A Modular Framework for the Integration of Heterogeneous Notations and Tools. | Robert Bssow, Wolfgang Grieskamp |
| 1998 | FASE | Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. | Wolfgang Grieskamp, Maritta Heisel, Heiko Drr |
| 1998 | FM | An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. | Robert Bssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann |