Wolfgang Grieskamp

65 papers A 4B 5C 1Journal 13Unranked 36

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