The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rolf Hennicker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin Wirsing, Rolf Hennicker, Robert Stabl
    MENU - An Example for the Systematic Reuse of Specifications. [Citation Graph (1, 0)][DBLP]
    ESEC, 1989, pp:20-41 [Conf]
  2. Rolf Hennicker, Martin Wirsing
    Observational Specification: A Birkhoff Theorem. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:119-135 [Conf]
  3. Rolf Hennicker
    An Implementation Concept for Observational Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  4. Michel Bidoit, Rolf Hennicker
    Proving Behavioural Theorems with Standard First-Order Logic. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:41-58 [Conf]
  5. Michel Bidoit, Rolf Hennicker
    Glass Box and Black Box Views of State-Based System Specifications.. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:19- [Conf]
  6. Michel Bidoit, Rolf Hennicker
    Proving the Correctness of Behavioural Implementations. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:152-168 [Conf]
  7. Rolf Hennicker, Michel Bidoit
    Observational Logic. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:263-277 [Conf]
  8. Rolf Hennicker, Christoph Schmitz II
    Object-Oriented Implementation of Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:163-179 [Conf]
  9. Michel Bidoit, Rolf Hennicker
    Proving Behavioral Refinements of COL-specifications. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:333-354 [Conf]
  10. Rolf Hennicker, Martin Wirsing
    A Formal Method for the Systematic Reuse of Specification Components. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:49-75 [Conf]
  11. Michel Bidoit, Rolf Hennicker
    Behavioural Theories. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:153-169 [Conf]
  12. Rolf Hennicker, Friederike Nickl
    A Behavioural Algebraic Framework for Modular System Design with Reuse. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:220-234 [Conf]
  13. Bernhard Bauer, Rolf Hennicker
    Proving the Correctness of Algebraic Implementations by the ISAR System. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:2-16 [Conf]
  14. Rolf Hennicker
    Context Induction: a Proof Principle for Behavioural Abstractions. [Citation Graph (0, 0)][DBLP]
    DISCO, 1990, pp:101-110 [Conf]
  15. Michel Bidoit, Rolf Hennicker, Martin Wirsing
    Characterizing Behavioural Semantics and Abstractor Semantics. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:105-119 [Conf]
  16. Bernhard Reus, Martin Wirsing, Rolf Hennicker
    A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:300-317 [Conf]
  17. Rolf Hennicker, Martin Wirsing
    Proof Systems for Struvtured Algebraic Specifications: An Overview. [Citation Graph (0, 0)][DBLP]
    FCT, 1997, pp:19-37 [Conf]
  18. Rolf Hennicker, Matthias Ludwig
    Property-Driven Development of a Coordination Model for Distributed Simulations. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:290-305 [Conf]
  19. Michel Bidoit, Rolf Hennicker
    On the Integration of Observability and Reachability Concepts. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:21-36 [Conf]
  20. Michel Bidoit, Rolf Hennicker, Alexander Kurz
    On the Duality between Observability and Reachability. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:72-87 [Conf]
  21. Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing
    Specifying Component Invariants with OCL. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2001, pp:600-607 [Conf]
  22. Michel Bidoit, Rolf Hennicker
    Externalized and Internalized Notions of Behavioral Refinement. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:334-350 [Conf]
  23. Stefan Gastinger, Rolf Hennicker, Robert Stabl
    Design of Modular Software Systems with Reuse. [Citation Graph (0, 0)][DBLP]
    KORSO Book, 1995, pp:112-127 [Conf]
  24. Michel Bidoit, Rolf Hennicker
    How to Prove Observational Theorems with LP. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:18-35 [Conf]
  25. Bernhard Bauer, Rolf Hennicker
    ISAR: An Interactive System for Algebraic Implementation Proofs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:451-453 [Conf]
  26. Martin Wirsing, Rolf Hennicker, Ruth Breu
    Reusable Specification Components. [Citation Graph (0, 0)][DBLP]
    MFCS, 1988, pp:121-137 [Conf]
  27. Rolf Hennicker, Matthias Ludwig
    Design and Implementation of a Coordination Model for Distributed Simulations. [Citation Graph (0, 0)][DBLP]
    Modellierung, 2006, pp:83-97 [Conf]
  28. Rolf Hennicker, Heinrich Hußmann, Michel Bidoit
    On the Precise Meaning of OCL Constraints. [Citation Graph (0, 0)][DBLP]
    Object Modeling with the OCL, 2002, pp:69-84 [Conf]
  29. Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister
    Glass-Box and Black-Box Views on Object-Oriented Specifications. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:208-217 [Conf]
  30. Rolf Hennicker
    Observational Implementations. [Citation Graph (0, 0)][DBLP]
    STACS, 1989, pp:59-71 [Conf]
  31. Michel Bidoit, Rolf Hennicker
    A General Framework for Modular Implementations of Modular System Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:199-214 [Conf]
  32. Rolf Hennicker
    Implementation of Parameterized Observational Specifications. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:290-305 [Conf]
  33. Rolf Hennicker, Nora Koch
    A UML-based Methodology for Hypermedia Design. [Citation Graph (0, 0)][DBLP]
    UML, 2000, pp:410-424 [Conf]
  34. Rolf Hennicker, Nora Koch
    Modeling the User Interface of Web Applications with UML. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:158-172 [Conf]
  35. Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing
    Correct Realization of Interface Constraints with OCL. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:399-415 [Conf]
  36. Michel Bidoit, Rolf Hennicker
    Modular Correctness Proofs of Behavioural Implementations. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:11, pp:951-1005 [Journal]
  37. Rolf Hennicker
    Observational Implementation of Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1991, v:28, n:3, pp:187-230 [Journal]
  38. Michael Barth, Rolf Hennicker, Andreas Kraus, Matthias Ludwig
    DANUBIA: An Integrative Simulation System for Global Change Research in the Upper Danube Basin. [Citation Graph (0, 0)][DBLP]
    Cybernetics and Systems, 2004, v:35, n:7-8, pp:639-666 [Journal]
  39. Rolf Hennicker, Alexander Kurz
    (Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
  40. Rolf Hennicker, Alexander Knapp, Hubert Baumeister
    Semantics of OCL Operation Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:102, n:, pp:111-132 [Journal]
  41. Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing
    A Component Model for Architectural Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:75-96 [Journal]
  42. Rolf Hennicker
    Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1991, v:3, n:4, pp:326-345 [Journal]
  43. Michel Bidoit, Rolf Hennicker
    Constructor-based observational logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:3-51 [Journal]
  44. Michel Bidoit, Rolf Hennicker, Martin Wirsing
    Behavioural and Abstractor Specifications. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:25, n:2-3, pp:149-186 [Journal]
  45. Michel Bidoit, Rolf Hennicker
    Behavioural Theories and the Proof of Behavioural Properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:165, n:1, pp:3-55 [Journal]
  46. Michel Bidoit, Rolf Hennicker, Alexander Kurz
    Observational logic, constructor-based logic, and their duality. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:3, n:298, pp:471-510 [Journal]
  47. Rolf Hennicker
    A Semi-Algorithm for Algebraic Implementation Proofs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:104, n:1, pp:53-87 [Journal]
  48. Rolf Hennicker, Martin Wirsing, Michel Bidoit
    Proof Systems for Structured Specifications with Observability Operators. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:2, pp:393-443 [Journal]
  49. Alexander Kurz, Rolf Hennicker
    On institutions for modular coalgebraic specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:280, n:1-2, pp:69-103 [Journal]
  50. Rolf Hennicker, Alexander Knapp
    Activity-Driven Synthesis of State Machines. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:87-101 [Conf]

  51. Service Specification and Matchmaking Using Description Logic. [Citation Graph (, )][DBLP]


  52. An Algebraic Semantics for Contract-Based Software Components. [Citation Graph (, )][DBLP]


  53. Views on Behaviour Protocols and Their Semantic Foundation. [Citation Graph (, )][DBLP]


  54. Modelling the CoCoME with the Java/AComponent Model. [Citation Graph (, )][DBLP]


  55. On Weak Modal Compatibility, Refinement, and the MIO Workbench. [Citation Graph (, )][DBLP]


  56. Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. [Citation Graph (, )][DBLP]


  57. On the Observable Behaviour of Composite Components. [Citation Graph (, )][DBLP]


  58. Behaviour Protocols for Interacting Stateful Components. [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.018secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002