Wolfgang Grieskamp - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Model-based quality assurance of protocol documentation: tools and methodologyWolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman. stvr, 21(1):55-71, 2011. [doi]

2010

Microsoft s Protocol Documentation Program: A Success Story for Model-Based TestingWolfgang Grieskamp. taicpart 2010: 7 [doi]

Regression Testing Process Improvement for Specification Evolution of Real-World Protocol SoftwareBo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li. qsic 2010: 62-71 [doi]

2009

Interaction Coverage Meets Path Coverage by SMT Constraint SolvingWolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen. pts 2009: 97-112 [doi]

2008

2007

6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07)Wolfgang Grieskamp, Nicolas Kicillof. ICSE 2007: 129-130 [doi]

Achieving both model and code coverage with automated gray-box testingNicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman. amost 2007: 1-11 [doi]

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, ProceedingsAlexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp, editors, Volume 4581 of Lecture Notes in Computer Science, Springer, 2007.

2006

Action Machines: a Framework for Encoding and Composing Partial BehaviorsWolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann. ijseke, 16(5):705-726, 2006. [doi]

A schema language for coordinating construction and composition of partial behavior descriptionsWolfgang Grieskamp, Nicolas Kicillof. scesm 2006: 59-66 [doi]

Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected PapersWolfgang Grieskamp, Carsten Weise, editors, Volume 3997 of Lecture Notes in Computer Science, Springer, 2006.

XRT- Exploring Runtime for .NET Architecture and ApplicationsWolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte. ENTCS, 144(3):3-26, 2006. [doi]

OOPSLA 06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS)Wolfgang Grieskamp, Debra Richardson, Clay E. Williams. OOPSLA 2006: 621 [doi]

Multi-paradigmatic Model-Based TestingWolfgang Grieskamp. fates 2006: 1-19 [doi]

Model-Based Testing in the Field: Lessons LearnedWolfgang Grieskamp. gi 2006: 189-196

2005

Perspectives of Model-Based Testing, 5.-10. September 2004Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans, editors, Volume 04371 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, 2005.

Testing Concurrent Object-Oriented Systems with Spec ExplorerColin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. fm 2005: 542-547 [doi]

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic ComputationWolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes. ehci 2005: 72-82 [doi]

2004

2003

2002

Generating finite state machines from abstract state machinesWolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes. ISSTA 2002: 112-122 [doi]

From program languages to software languagesPeter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp. jss, 60(2):91-101, 2002. [doi]

2001

Specifying embedded systems with statecharts and Z: an agenda for cyclic software componentsWolfgang Grieskamp, Maritta Heisel, Heiko Dörr. SCP, 40(1):31-57, 2001.

Testable Use Cases in the Abstract State Machine LanguageWolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann. apaqs 2001: 167-172 [doi]

2000

Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, ProceedingsWolfgang Grieskamp, Thomas Santen, Bill Stoddart, editors, Volume 1945 of Lecture Notes in Computer Science, Springer, 2000.

Using Use Cases in Executable ZWolfgang Grieskamp, Markus Lepper. icfem 2000: 111-120 [doi]

Encoding Temporal Logics in Executable Z: A Case Study for the ZETA SystemWolfgang Grieskamp, Markus Lepper. lpar 2000: 43-53 [doi]

A Computation Model for Z Based on Concurrent Constraint ResolutionWolfgang Grieskamp. zum 2000: 414-432 [doi]

1999

A Modular Framework for the Integration of Heterogeneous Notations and ToolsRobert Büssow, Wolfgang Grieskamp. IFM 1999: 211-230

Reflections in Opal - Meta Information in a Functional Programming LanguageKlaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón-y-Widemann. IFL 2000: 149-164

1998

An Open Environment for the Integration of Hetereogenous Modelling Techniques and ToolsRobert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann. fm 1999: 184-195

Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software ComponentsWolfgang Grieskamp, Maritta Heisel, Heiko Dörr. FASE 1998: 88-106 [doi]

1997

Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded SystemsRobert Büssow, Wolfgang Grieskamp. asian 1997: 46-56

Programming in the Large: The Algebraic-Functional Language Opal 2alphaKlaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper. IFL 1998: 322-337 [doi]

1996

Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract)Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper. amast 1996: 559-562

Communicating Functional Agents and Their Application to Graphical User InterfacesThomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt. ershov 1996: 386-397

1995

Korso Reference Languages - Concepts and Application DomainsHans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog. korso 1995: 150-172

1994

OPAL: Design and Implementation of an Algebraic Programming LanguageKlaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper. plsa 1994: 228-244

1993

Algebreic Programming in OpalAndreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper. eatcs, 50:171-181, 1993.

1991

Generating Efficient Portable Code for a Strict Applicative LanguageWolfram Schulte, Wolfgang Grieskamp. phoenix 1992: 239-252