The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arnd Poetzsch-Heffter: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Arnd Poetzsch-Heffter
    Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:583-586 [Conf]
  2. Arnd Poetzsch-Heffter
    Reorganisieren von Basisblöcken für Pipeline-Prozessoren. [Citation Graph (0, 0)][DBLP]
    ARCS, 1988, pp:152-167 [Conf]
  3. Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter
    A Type System for Checking Applet Isolation in Java Card. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2004, pp:129-150 [Conf]
  4. Arnd Poetzsch-Heffter
    Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC. [Citation Graph (0, 0)][DBLP]
    CC, 1988, pp:190-203 [Conf]
  5. Arnd Poetzsch-Heffter
    Implementing High-Level Identification Specifications. [Citation Graph (0, 0)][DBLP]
    CC, 1992, pp:59-65 [Conf]
  6. Arnd Poetzsch-Heffter
    Developing Efficient Interpreters Based on Formal Language Specifications. [Citation Graph (0, 0)][DBLP]
    CC, 1994, pp:233-247 [Conf]
  7. Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2000, pp:41-54 [Conf]
  8. Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java-like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2002, pp:203-210 [Conf]
  9. Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java-Like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2003, pp:62-71 [Conf]
  10. Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:97-115 [Conf]
  11. Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2001, pp:30-40 [Conf]
  12. Peter Müller, Arnd Poetzsch-Heffter
    Alias Control Is Crucial for Modular Verification of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:154-156 [Conf]
  13. Arnd Poetzsch-Heffter, Peter Müller
    A Programming Logic for Sequential Java. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:162-176 [Conf]
  14. Arnd Poetzsch-Heffter, Jan Schäfer
    Modular Specification of Encapsulated Object-Oriented Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:313-341 [Conf]
  15. Wolfgang Goerigk, Arnd Poetzsch-Heffter
    Arbeitstagung Programmiersprachen - Vorwort. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1999, pp:349- [Conf]
  16. Peter Müller, Arnd Poetzsch-Heffter
    Formal Specification Techniques for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:602-611 [Conf]
  17. Arnd Poetzsch-Heffter
    From Structured Heaps to Encapsulated Runtime Components. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2004, pp:396- [Conf]
  18. Arnd Poetzsch-Heffter
    Deriving Partial Correctness Logics From Evolving Algebras. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:434-439 [Conf]
  19. Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter
    Making Executable Interface Specifications More Expressive. [Citation Graph (0, 0)][DBLP]
    Java-Informations-Tage, 1999, pp:243-252 [Conf]
  20. Peter Müller, Arnd Poetzsch-Heffter
    Kapselung und Methodenbindung: Javas Designprobleme und ihre Korrektur. [Citation Graph (0, 0)][DBLP]
    Java-Informations-Tage, 1998, pp:1-10 [Conf]
  21. K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou
    Using Data Groups to Specify and Check Side Effects. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:246-257 [Conf]
  22. Arnd Poetzsch-Heffter
    Logic-Based Specification of Visibility Rules. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:63-74 [Conf]
  23. Arnd Poetzsch-Heffter
    Programming Language Specification and Prototyping Using the MAX System. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:137-150 [Conf]
  24. Arnd Poetzsch-Heffter, Peter Müller
    Logical foundations for typed object-oriented languages. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:404-423 [Conf]
  25. Jörg Meyer, Arnd Poetzsch-Heffter
    An Architecture for Interactive Program Provers. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:63-77 [Conf]
  26. Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing
    MultiMedia Instruction in Safe and Secure Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:82-117 [Conf]
  27. Arnd Poetzsch-Heffter, Nicole Rauch
    Application and Formal Specification of Sorted Term-Position Algebras. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:201-217 [Conf]
  28. Arnd Poetzsch-Heffter
    Prototyping Realistic Programming Languages Based on Formal Specifications. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1997, v:34, n:10, pp:737-772 [Journal]
  29. Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
    Modular specification of frame properties in JML. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2003, v:15, n:2, pp:117-154 [Journal]
  30. Arnd Poetzsch-Heffter, Marek Gawkowski
    Towards Proof Generating Compilers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:37-51 [Journal]
  31. Ursula Scheben, Arnd Poetzsch-Heffter
    Concepts and Techniques simplifying the Assembly Process for Component Instances. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:5, pp:- [Journal]
  32. Jörg Meyer, Arnd Poetzsch-Heffter
    Interactive Verification Environments for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1999, v:5, n:3, pp:208-225 [Journal]
  33. Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
    Modular invariants for layered object structures. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:3, pp:253-286 [Journal]
  34. Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer
    Infering Ownership Types for Encapsulated Object-Oriented Program Components. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:120-144 [Conf]
  35. Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca
    Formal Techniques for Java-Like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2006, pp:53-58 [Conf]
  36. Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav
    Modular Shape Analysis for Dynamically Encapsulated Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:220-236 [Conf]
  37. Arnd Poetzsch-Heffter, Jan Schäfer
    A Representation-Independent Behavioral Semantics for Object-Oriented Components. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:157-173 [Conf]
  38. Ina Schaefer, Arnd Poetzsch-Heffter
    Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. [Citation Graph (0, 0)][DBLP]
    SSS, 2006, pp:584-585 [Conf]

  39. Using Abstraction in Modular Verification of Synchronous Adaptive Systems. [Citation Graph (, )][DBLP]


  40. Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes. [Citation Graph (, )][DBLP]


  41. Consistency Checking for Workflows with an Ontology-Based Data Perspective. [Citation Graph (, )][DBLP]


  42. JCoBox: Generalizing Active Objects to Concurrent Components. [Citation Graph (, )][DBLP]


  43. Formal Techniques for Java-Like Programs. [Citation Graph (, )][DBLP]


  44. CoBoxes: Unifying Active Objects and Structured Heaps. [Citation Graph (, )][DBLP]


  45. A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows. [Citation Graph (, )][DBLP]


  46. Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. [Citation Graph (, )][DBLP]


  47. Maintaining XML Data Integrity in Programs. [Citation Graph (, )][DBLP]


  48. Translation Validation of System Abstractions. [Citation Graph (, )][DBLP]


  49. A Certifying Code Generation Phase. [Citation Graph (, )][DBLP]


  50. Preface. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
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