 | 2008 |
|---|
| 8 |       | Ina Schaefer,
Arnd Poetzsch-Heffter:
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems.
SEFM 2008: 95-104 |
| 2007 |
|---|
| 7 | | Rasmus Adler,
Ina Schaefer,
Tobias Schüle,
Eric Vecchié:
From Model-Based Design to Formal Verification of Adaptive Embedded Systems.
ICFEM 2007: 76-95 |
| 6 | | Jan Olaf Blech,
Ina Schaefer,
Arnd Poetzsch-Heffter:
Translation Validation of System Abstractions.
RV 2007: 139-150 |
| 5 | | Dieter Hutter,
Heiko Mantel,
Ina Schaefer,
Axel Schairer:
Security of multi-agent systems: A case study on comparison shopping.
J. Applied Logic 5(2): 303-332 (2007) |
| 2006 |
|---|
| 4 | | Jörg Bauer,
Ina Schaefer,
Tobe Toben,
Bernd Westphal:
Specification and Verification of Dynamic Communication Systems.
ACSD 2006: 189-200 |
| 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 |
| 2005 |
|---|
| 1 | | Andreas Podelski,
Ina Schaefer,
Silke Wagner:
Summaries for While Programs with Recursion.
ESOP 2005: 94-107 |
