Search the dblp DataBase
Arnd Poetzsch-Heffter :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Arnd Poetzsch-Heffter Reorganisieren von Basisblöcken für Pipeline-Prozessoren. [Citation Graph (0, 0)][DBLP ] ARCS, 1988, pp:152-167 [Conf ] 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 ] Arnd Poetzsch-Heffter Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC. [Citation Graph (0, 0)][DBLP ] CC, 1988, pp:190-203 [Conf ] Arnd Poetzsch-Heffter Implementing High-Level Identification Specifications. [Citation Graph (0, 0)][DBLP ] CC, 1992, pp:59-65 [Conf ] Arnd Poetzsch-Heffter Developing Efficient Interpreters Based on Formal Language Specifications. [Citation Graph (0, 0)][DBLP ] CC, 1994, pp:233-247 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Arnd Poetzsch-Heffter , Peter Müller A Programming Logic for Sequential Java. [Citation Graph (0, 0)][DBLP ] ESOP, 1999, pp:162-176 [Conf ] Arnd Poetzsch-Heffter , Jan Schäfer Modular Specification of Encapsulated Object-Oriented Components. [Citation Graph (0, 0)][DBLP ] FMCO, 2005, pp:313-341 [Conf ] Wolfgang Goerigk , Arnd Poetzsch-Heffter Arbeitstagung Programmiersprachen - Vorwort. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung, 1999, pp:349- [Conf ] 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 ] Arnd Poetzsch-Heffter From Structured Heaps to Encapsulated Runtime Components. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung (2), 2004, pp:396- [Conf ] Arnd Poetzsch-Heffter Deriving Partial Correctness Logics From Evolving Algebras. [Citation Graph (0, 0)][DBLP ] IFIP Congress (1), 1994, pp:434-439 [Conf ] 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 ] 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 ] 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 ] Arnd Poetzsch-Heffter Logic-Based Specification of Visibility Rules. [Citation Graph (0, 0)][DBLP ] PLILP, 1991, pp:63-74 [Conf ] Arnd Poetzsch-Heffter Programming Language Specification and Prototyping Using the MAX System. [Citation Graph (0, 0)][DBLP ] PLILP, 1993, pp:137-150 [Conf ] Arnd Poetzsch-Heffter , Peter Müller Logical foundations for typed object-oriented languages. [Citation Graph (0, 0)][DBLP ] PROCOMET, 1998, pp:404-423 [Conf ] Jörg Meyer , Arnd Poetzsch-Heffter An Architecture for Interactive Program Provers. [Citation Graph (0, 0)][DBLP ] TACAS, 2000, pp:63-77 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Using Abstraction in Modular Verification of Synchronous Adaptive Systems. [Citation Graph (, )][DBLP ] Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes. [Citation Graph (, )][DBLP ] Consistency Checking for Workflows with an Ontology-Based Data Perspective. [Citation Graph (, )][DBLP ] JCoBox: Generalizing Active Objects to Concurrent Components. [Citation Graph (, )][DBLP ] Formal Techniques for Java-Like Programs. [Citation Graph (, )][DBLP ] CoBoxes: Unifying Active Objects and Structured Heaps. [Citation Graph (, )][DBLP ] A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows. [Citation Graph (, )][DBLP ] Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. [Citation Graph (, )][DBLP ] Maintaining XML Data Integrity in Programs. [Citation Graph (, )][DBLP ] Translation Validation of System Abstractions. [Citation Graph (, )][DBLP ] A Certifying Code Generation Phase. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.307secs