Ina Schaefer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

8EEIna Schaefer, Arnd Poetzsch-Heffter: Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM 2008: 95-104
7EERasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié: From Model-Based Design to Formal Verification of Adaptive Embedded Systems. ICFEM 2007: 76-95
6EEJan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter: Translation Validation of System Abstractions. RV 2007: 139-150
5EEDieter 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)
4EEJörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal: Specification and Verification of Dynamic Communication Systems. ACSD 2006: 189-200
3EEIna Schaefer, Arnd Poetzsch-Heffter: Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS 2006: 584-585
2EEIna Schaefer, Arnd Poetzsch-Heffter: Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software 2006
1EEAndreas Podelski, Ina Schaefer, Silke Wagner: Summaries for While Programs with Recursion. ESOP 2005: 94-107

Coauthor Index

1Rasmus Adler [7]
2Jan Olaf Blech [6]
3Dieter Hutter [5]
4Jörg Kreiker (Jörg Bauer) [4]
5Heiko Mantel [5]
6Andreas Podelski [1]
7Arnd Poetzsch-Heffter [2] [3] [6] [8]
8Axel Schairer [5]
9Tobias Schüle [7]
10Tobe Toben [4]
11Eric Vecchié [7]
12Silke Wagner [1]
13Bernd Westphal [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)