PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Poetzsch-Heffter, Arnd"

Author of the publication

copydeleteadd this publication to your clipboard
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems.

, , , and . ACM Trans. Embedded Comput. Syst., 10 (2): 20:1-20:39 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Arnd Heyer University of Stuttgart

Arnd Nitschke University of Stuttgart

Christoph Arndt University of Stuttgart

Marco Arndt University of Stuttgart

 

Other publications of authors with the same name

Informatik und Gesellschaft: Ansätze zur Verbesserung einer schwierigen Beziehung., and . Informatik Spektrum, 36 (3): 242-250 (2013)Interactive Verification Environments for Object-Oriented Programs., and . J. UCS, 5 (3): 208-225 (1999)Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems., and . SEFM, page 95-104. IEEE Computer Society, (2008)Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems., , , and . ACM Trans. Embedded Comput. Syst., 10 (2): 20:1-20:39 (2010)CoBoxes: Unifying Active Objects and Structured Heaps., and . FMOODS, volume 5051 of Lecture Notes in Computer Science, page 201-219. Springer, (2008)Modular Shape Analysis for Dynamically Encapsulated Programs., , , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 220-236. Springer, (2007)Application of Architecture Implementation Patterns by Incremental Code Generation., and . VikingPLoP, page 11:1-11:12. ACM, (2016)Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools.. AMAST, volume 1101 of Lecture Notes in Computer Science, page 583-586. Springer, (1996)Formal Techniques for Java Programs., , , , , and . ECOOP Workshops, volume 1964 of Lecture Notes in Computer Science, page 41-54. Springer, (2000)A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It)., , , and . Programming Logics, volume 7797 of Lecture Notes in Computer Science, page 72-89. Springer, (2013)