Wolfgang Grieskamp

	2009
45		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
44		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
43		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
42		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
41		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 Springer 2007
40		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
39		Wolfgang Grieskamp, Nicolas Kicillof: 6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). ICSE Companion 2007: 129-130
	2006
38		Wolfgang Grieskamp, Carsten Weise: Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers Springer 2006
37		Wolfgang Grieskamp: Multi-paradigmatic Model-Based Testing. FATES/RV 2006: 1-19
36		Wolfgang Grieskamp: Model-Based Testing in the Field: Lessons Learned. GI Jahrestagung (2) 2006: 189-196
35		Wolfgang Grieskamp, Debra Richardson, Clay E. Williams: OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS). OOPSLA Companion 2006: 621
34		Wolfgang Grieskamp, Nicolas Kicillof: A schema language for coordinating construction and composition of partial behavior descriptions. SCESM 2006: 59-66
33		Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte: XRT- Exploring Runtime for .NET Architecture and Applications. Electr. Notes Theor. Comput. Sci. 144(3): 3-26 (2006)
32		Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann: Action Machines: a Framework for Encoding and Composing Partial Behaviors. International Journal of Software Engineering and Knowledge Engineering 16(5): 705-726 (2006)
	2005
31		Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: Perspectives of Model-Based Testing, 5.-10. September 2004 IBFI, Schloss Dagstuhl, Germany 2005
30		Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547
29		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
	2004
28		Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp: Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64
27		Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
26		Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
25		Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes: Instrumenting scenarios in a model-driven development environment. Information & Software Technology 46(15): 1027-1036 (2004)
	2003
24		Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes: Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413
23		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
22		Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246
	2002
21		Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes: Generating finite state machines from abstract state machines. ISSTA 2002: 112-122
20		Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp: From program languages to software languages. Journal of Systems and Software 60(2): 91-101 (2002)
	2001
19		Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann: Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172
18		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)
	2000
17		Wolfgang Grieskamp, Thomas Santen, Bill Stoddart: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings Springer 2000
16		Wolfgang Grieskamp, Markus Lepper: Using Use Cases in Executable Z. ICFEM 2000: 111-120
15		Wolfgang Grieskamp, Markus Lepper: Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. LPAR 2000: 43-53
14		Wolfgang Grieskamp: A Computation Model for Z Based on Concurrent Constraint Resolution. ZB 2000: 414-432
	1999
13		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
12		Robert Büssow, Wolfgang Grieskamp: A Modular Framework for the Integration of Heterogeneous Notations and Tools. IFM 1999: 211-230
	1998
11		Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr: Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. FASE 1998: 88-106
10		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
9		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
8		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
7		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
6		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
5		Pieter H. Hartel, Marc Feeley, Martin 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)
	1995
4		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
3		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
2		Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper: Algebreic Programming in Opal. Bulletin of the EATCS 50: 171-181 (1993)
	1991
1		Wolfram Schulte, Wolfgang Grieskamp: Generating Efficient Portable Code for a Strict Applicative Language. Declarative Programming 1991: 239-252

Coauthor Index

1	Martin Alt	[5]
2	Lennart Augustsson	[5]
3	Michael Barnett	[22] [23]
4	Peter Baumann	[5]
5	Marcel Beemster	[5]
6	Víctor A. Braberman	[40]
7	Ed Brinksma	[26] [27] [31]
8	Robert Büssow	[9] [10] [12]
9	Colin Campbell	[29] [30] [44]
10	Michael Cebulla	[20]
11	Emmanuel Chailloux	[5]
12	Myra B. Cohen	[45]
13	Grit Denker	[4]
14	Klaus Didrich	[3] [7] [8] [13] [20]
15	Heiko Dörr	[11] [18]
16	Hans-Dieter Ehrich	[4]
17	Marc Feeley	[5]
18	Andreas Fett	[2] [3]
19	Christine H. Flood	[5]
20	Thomas Frauenstein	[6]
21	Carola Gerke	[2] [3] [4] [7]
22	Martin Gogolla	[4]
23	John H. G. van Groningen	[5]
24	Yuri Gurevich	[21]
25	Kevin Hammond	[5]
26	Pieter H. Hartel	[5]
27	Bogumil Hausman	[5]
28	Winfried Heicking	[10]
29	Maritta Heisel	[11] [18]
30	Stephan Herrmann	[10]
31	Rudolf Herzig	[4]
32	Melody Y. Ivory	[5]
33	Richard E. Jones	[5]
34	Jasper Kamperman	[5]
35	Nicolas Kicillof	[32] [34] [39] [40] [42] [43] [45]
36	Peter Lee	[5]
37	Markus Lepper	[15] [16] [19]
38	Xavier Leroy	[5]
39	Rafael Dueire Lins	[5]
40	Sandra Loosemore	[5]
41	Dave MacDonald	[42] [43]
42	Christian Maeder	[7] [8]
43	Lev Nachmanson	[23] [24] [28] [30] [44]
44	Alok Nandan	[42] [43]
45	Ernst-Rüdiger Olderog	[4]
46	Peter Pepper	[2] [3] [6] [7] [8] [20]
47	Alexandre Petrenko	[41]
48	Xiao Qu	[45]
49	Franz Regensburger	[4]
50	Debra Richardson	[35]
51	Niklas Röjemo	[5]
52	Thomas Santen	[17]
53	Florian Schintke	[13]
54	Wolfram Schulte	[1] [19] [21] [22] [23] [28] [29] [30] [33] [44]
55	Manuel Serrano	[5]
56	Keith Stobie	[42] [43]
57	Bill Stoddart	[17]
58	Mario Südholt	[6]
59	Jean-Pierre Talpin	[5]
60	Till Tantau	[13]
61	Jon Thackray	[5]
62	Stephen Thomas	[5]
63	Nikolai Tillmann	[19] [22] [23] [24] [25] [28] [29] [30] [32] [33] [40] [44]
64	Baltasar Trancón-y-Widemann	[13]
65	Jan Tretmans	[26] [27] [31] [41]
66	Margus Veanes	[21] [22] [23] [24] [25] [28] [29] [30] [41] [44]
67	Pum Walters	[5]
68	Xiangjun Wei	[45]
69	Pierre Weis	[5]
70	Carsten Weise	[38]
71	Peter Wentworth	[5]
72	Clay E. Williams	[35]
73	Fred L. Wurden	[42] [43]
74	Danpo Zhang	[42]

Colors in the list of coauthors