Ina Schaefer (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Ina Schaefer, Arnd Poetzsch-Heffter: Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM 2008: 95-104

6 Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter: Translation Validation of System Abstractions. RV 2007: 139-150

3 Ina Schaefer, Arnd Poetzsch-Heffter: Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS 2006: 584-585

2 Ina Schaefer, Arnd Poetzsch-Heffter: Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software 2006

Selection of 4 from 8 records - Ina Schaefer has 13 coauthors

8		Ina Schaefer, Arnd Poetzsch-Heffter: Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM 2008: 95-104
6		Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter: Translation Validation of System Abstractions. RV 2007: 139-150
3		Ina Schaefer, Arnd Poetzsch-Heffter: Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS 2006: 584-585
2		Ina Schaefer, Arnd Poetzsch-Heffter: Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software 2006