The SCEAS System
Navigation Menu

Search the dblp DataBase


Wolfgang Grieskamp: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (1, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:4, pp:621-655 [Journal]
  2. Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
    Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:559-562 [Conf]
  3. Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann
    Testable Use Cases in the Abstract State Machine Language. [Citation Graph (0, 0)][DBLP]
    APAQS, 2001, pp:167-172 [Conf]
  4. Robert Büssow, Wolfgang Grieskamp
    Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1997, pp:46-56 [Conf]
  5. Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
    Test Case Generation from AsmL Specifications. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:413- [Conf]
  6. Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
    04371 Summary - Perspectives of Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    Perspectives of Model-Based Testing, 2004, pp:- [Conf]
  7. Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
    04371 Abstracts Collection - Perspectives of Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    Perspectives of Model-Based Testing, 2004, pp:- [Conf]
  8. Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt
    Communicating Functional Agents and Their Application to Graphical User Interfaces. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:386-397 [Conf]
  9. Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
    Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:88-106 [Conf]
  10. Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Towards a Tool Environment for Model-Based Testing with AsmL. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:252-266 [Conf]
  11. Wolfgang Grieskamp
    Multi-paradigmatic Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    FATES/RV, 2006, pp:1-19 [Conf]
  12. Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann
    An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:184-195 [Conf]
  13. Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Testing Concurrent Object-Oriented Systems with Spec Explorer. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:542-547 [Conf]
  14. Wolfgang Grieskamp
    Model-Based Testing in the Field: Lessons Learned. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2006, pp:189-196 [Conf]
  15. Wolfgang Grieskamp, Markus Lepper
    Using Use Cases in Executable Z. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:111-120 [Conf]
  16. Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper
    Programming in the Large: The Algebraic-Functional Language Opal 2alpha. [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1997, pp:322-337 [Conf]
  17. Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón-y-Widemann
    Reflections in Opal - Meta Information in a Functional Programming Language. [Citation Graph (0, 0)][DBLP]
    IFL, 1999, pp:149-164 [Conf]
  18. Robert Büssow, Wolfgang Grieskamp
    A Modular Framework for the Integration of Heterogeneous Notations and Tools. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:211-230 [Conf]
  19. Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Generating finite state machines from abstract state machines. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:112-122 [Conf]
  20. Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
    Optimal strategies for testing nondeterministic systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:55-64 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:150-172 [Conf]
  22. Wolfgang Grieskamp, Markus Lepper
    Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:43-53 [Conf]
  23. Wolfgang Grieskamp, Debra Richardson, Clay E. Williams
    OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS). [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:621- [Conf]
  24. Wolfram Schulte, Wolfgang Grieskamp
    Generating Efficient Portable Code for a Strict Applicative Language. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:239-252 [Conf]
  25. Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper
    OPAL: Design and Implementation of an Algebraic Programming Language. [Citation Graph (0, 0)][DBLP]
    Programming Languages and System Architectures, 1994, pp:228-244 [Conf]
  26. Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Validating Use-Cases with the AsmL Test Tool. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:238-246 [Conf]
  27. 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. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:72-82 [Conf]
  28. Wolfgang Grieskamp, Nicolas Kicillof
    A schema language for coordinating construction and composition of partial behavior descriptions. [Citation Graph (0, 0)][DBLP]
    SCESM, 2006, pp:59-66 [Conf]
  29. Wolfgang Grieskamp
    A Computation Model for Z Based on Concurrent Constraint Resolution. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:414-432 [Conf]
  30. Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper
    Algebreic Programming in Opal. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1993, v:50, n:, pp:171-181 [Journal]
  31. Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte
    XRT- Exploring Runtime for .NET Architecture and Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:3-26 [Journal]
  32. Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann
    Action Machines: a Framework for Encoding and Composing Partial Behaviors. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:5, pp:705-726 [Journal]
  33. Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
    Instrumenting scenarios in a model-driven development environment. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2004, v:46, n:15, pp:1027-1036 [Journal]
  34. Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp
    From program languages to software languages. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:60, n:2, pp:91-101 [Journal]
  35. Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
    Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:40, n:1, pp:31-57 [Journal]
  36. Wolfgang Grieskamp, Nicolas Kicillof
    6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:129-130 [Conf]

  37. Interaction Coverage Meets Path Coverage by SMT Constraint Solving. [Citation Graph (, )][DBLP]

  38. Model-Based Quality Assurance of the SMB2 Protocol Documentation. [Citation Graph (, )][DBLP]

  39. Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing. [Citation Graph (, )][DBLP]

  40. Achieving both model and code coverage with automated gray-box testing. [Citation Graph (, )][DBLP]

  41. Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. [Citation Graph (, )][DBLP]

  42. Model-Based Quality Assurance of Windows Protocol Documentation. [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.006secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002