The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Heike Wehrheim: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Clemens Fischer, Heike Wehrheim
    Behavioural Subtyping Relations for Object-Oriented Formalisms. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:469-483 [Conf]
  2. John Derrick, Heike Wehrheim
    Model Transformations Incorporating Multiple Views. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:111-126 [Conf]
  3. Arend Rensink, Heike Wehrheim
    Weak Sequential Composition in Process Algebras. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:226-241 [Conf]
  4. Heike Wehrheim
    Refinement and Consistency in Multiview Models. [Citation Graph (0, 0)][DBLP]
    Language Engineering for Model-Driven Software Development, 2004, pp:- [Conf]
  5. Heike Wehrheim
    Refinement and Consistency in Component Models with Multiple Views. [Citation Graph (0, 0)][DBLP]
    Architecting Systems with Trustworthy Components, 2004, pp:84-102 [Conf]
  6. Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim
    A CSP View on UML-RT Structure Diagrams. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:91-108 [Conf]
  7. Heike Wehrheim
    Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:334-348 [Conf]
  8. Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
    A Process Algebra Semantics for MSC Including Conditions. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:185-196 [Conf]
  9. Heike Wehrheim
    Data Abstraction for CSP-OZ. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1028-1047 [Conf]
  10. Ernst-Rüdiger Olderog, Heike Wehrheim
    Specification and Inheritance in CSP-OZ. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:361-379 [Conf]
  11. Heike Wehrheim
    Preserving Properties Under Change. [Citation Graph (0, 0)][DBLP]
    FMCO, 2003, pp:330-343 [Conf]
  12. Holger Rasch, Heike Wehrheim
    Checking Consistency in UML Diagramms: Classes and State Machines. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:229-243 [Conf]
  13. Holger Rasch, Heike Wehrheim
    Checking the Validity of Scenarios in UML Models. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:67-82 [Conf]
  14. Heike Wehrheim
    Behavioural Subtyping and Property Preservation. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:213-232 [Conf]
  15. Heike Wehrheim
    Checking Behavioural Subtypes via Refinement. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:79-93 [Conf]
  16. Heike Wehrheim
    Inheritance of Temporal Logic Properties. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:79-93 [Conf]
  17. Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim
    An Algebraic Semantics for Message Sequence Chart Documents. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:3-18 [Conf]
  18. Heike Wehrheim
    Patterns and Rules for Behavioural Subtyping. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:335-352 [Conf]
  19. Michaela Huhn, Peter Niebert, Heike Wehrheim
    Partial Order Reductions for Bisimulation Checking. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:271-282 [Conf]
  20. Ingo Brückner, Heike Wehrheim
    Slicing an Integrated Formal Method for Verification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:360-374 [Conf]
  21. Heike Wehrheim
    Incremental Slicing. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:514-528 [Conf]
  22. Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
    Linking CSP-OZ with UML and Java: A Case Study. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:267-286 [Conf]
  23. Clemens Fischer, Heike Wehrheim
    Model-Checking CSP-OZ Specifications with FDR. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:315-334 [Conf]
  24. Ursula Goltz, Heike Wehrheim
    Causal Testing. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:394-406 [Conf]
  25. Arend Rensink, Heike Wehrheim
    Dependency-Based Action Refinement. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:468-477 [Conf]
  26. Heike Wehrheim
    Parametric Action Refinement. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:247-266 [Conf]
  27. John Derrick, Heike Wehrheim
    Using Coupled Simulations in Non-atomic Refinement. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:127-147 [Conf]
  28. John Derrick, Heike Wehrheim
    Non-atomic Refinement in Z and CSP. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:24-44 [Conf]
  29. Ingo Brückner, Heike Wehrheim
    Slicing Object-Z Specifications for Verification. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:414-433 [Conf]
  30. Arend Rensink, Heike Wehrheim
    Process algebra with action dependencies. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2001, v:38, n:3, pp:155-234 [Journal]
  31. Clemens Fischer, Heike Wehrheim
    Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2000, v:71, n:, pp:92-101 [Journal]
  32. Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim
    Jass - Java with Assertions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  33. Heike Wehrheim
    Partial order reductions for failures refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:27, n:, pp:- [Journal]
  34. Björn Metzler, Heike Wehrheim
    Extending a Component Specification Language with Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:47-67 [Journal]
  35. Heike Wehrheim
    Data Abstraction Techniques in the Validation of CSP-OZ Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:3, pp:147-164 [Journal]
  36. Heike Wehrheim
    Behavioral Subtyping Relations for Active Objects. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:23, n:2, pp:143-170 [Journal]
  37. Ursula Goltz, Heike Wehrheim
    Modelling Causality via Action Dependencies in Branching Time Semantics. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:59, n:4, pp:179-184 [Journal]
  38. Heike Wehrheim
    Relating State-based and Behaviour-oriented Subtyping. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:4, pp:405-435 [Journal]
  39. Ernst-Rüdiger Olderog, Heike Wehrheim
    Specification and (property) inheritance in CSP-OZ. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:227-257 [Journal]
  40. Heike Wehrheim
    Slicing techniques for verification re-use. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:343, n:3, pp:509-528 [Journal]
  41. Gregor Engels, Christian Soltenborn, Heike Wehrheim
    Analysis of UML Activities Using Dynamic Meta Modeling. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:76-90 [Conf]
  42. Thomas Ruhroth, Heike Wehrheim
    Refactoring Object-Oriented Specifications with Data and Processes. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:236-251 [Conf]
  43. John Derrick, Gerhard Schellhorn, Heike Wehrheim
    Proving Linearizability Via Non-atomic Refinement. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:195-214 [Conf]
  44. Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
    Slicing Abstractions. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:17-32 [Conf]
  45. John Derrick, Heike Wehrheim
    On using data abstractions for model checking refinements. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2007, v:44, n:1, pp:41-71 [Journal]
  46. H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim
    Modelchecking Correctness of Refactorings - Some Experiments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:3-17 [Journal]

  47. Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. [Citation Graph (, )][DBLP]


  48. From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. [Citation Graph (, )][DBLP]


  49. Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models. [Citation Graph (, )][DBLP]


  50. Three-Valued Spotlight Abstractions. [Citation Graph (, )][DBLP]


  51. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. [Citation Graph (, )][DBLP]


  52. Decomposition for Compositional Verification. [Citation Graph (, )][DBLP]


  53. Refinement-Preserving Co-evolution. [Citation Graph (, )][DBLP]


  54. The Challenges of Building Advanced Mechatronic Systems. [Citation Graph (, )][DBLP]


  55. Bounded Model Checking for Partial Kripke Structures. [Citation Graph (, )][DBLP]


  56. SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. [Citation Graph (, )][DBLP]


  57. Refinement in the Presence of Unknowns. [Citation Graph (, )][DBLP]


  58. Alloy as a Refactoring Checker? [Citation Graph (, )][DBLP]


  59. Compositional CSP Traces Refinement Checking. [Citation Graph (, )][DBLP]


  60. Static Class Elements for Object-Z. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.033secs
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