Dr.-Ing. Ina Schaefer
"If we knew what we were doing, it wouldn't be called research, would it?" (Albert Einstein)
Research Interests
Formal Methods, Verification, Model-Based Verification of Self-Adaptive
Embedded Systems, Integration of Formal Methods into Software
Development Processes
Publications
- L. Bettini, F. Damiani, I. Schaefer:
Implementing Software Product Lines using Traits. Object Oriented
Programming Languages and Systems (OOPS), 25th ACM Symposium on Applied
Computing (SAC 2010), Sierre, Switzerland, March 22- 26, 2010. Download (accepted for publication)
- I. Schaefer:Variability Modelling for Model-Driven Development of Software Product Lines. Fourth International Workshop on
Variability Modelling of Software-intensive Systems (VaMoS 2010), Linz, Austria, January 27-29, 2010. Download
- R. Adler, I. Schaefer, M. Trapp, A. Poetzsch-Heffter:
Component-Based Modeling and Verification of Dynamic Adaptation in
Safety-Critical Embedded Systems, ACM Transactions on Embedded
Computing Systems, 2009. (to appear)
- I. Schaefer, A. Poetzsch-Heffter: Model-based Verification of
Adaptive Embedded Systems under Environment Constraints, 2nd Workshop
on Adaptive and Reconfigurable Embedded Systems (APRES 2009), Grenoble,
October 2009. Download
- I. Schaefer, A. Worret, A. Poetzsch-Heffter: A Model-Based
Framework for Automated Product Derivation, International Workshop on
Model-driven Approaches in Software Product Line Engineering (MAPLE
2009), San Francisco, August 2009. Download
- I. Schaefer, A. Poetzsch-Heffter: Compositional Reasoning in
Model-Based Verification of Adaptive Embedded Systems, 6th IEEE Intl.
Conference on Software Engineering and Formal Methods (SEFM 2008), Cape
Town, November 12-14, 2008. Download
- I. Schaefer, A. Poetzsch-Heffter: Damit das ESP nicht abstuerzt -
Groesere Sicherheit fuer Automobilsoftware, UniSpektrum 2/2008, TU
Kaiserslautern, Mai 2008 Download
- I. Schaefer, A. Poetzsch-Heffter: Slicing for Model Reduction in
Adaptive Embedded Systems Development. Software Engineering for
Adaptive and Self-Managing Systems (SEAMS 2008), Leipzig, Germany, May
12-13, 2008 Download
- R. Adler, I. Schaefer, T. Schuele: Model-based Development of an
Adaptive Vehicle Stability Control System. Workshop "Modellbasierte
Entwicklung von eingebetteten Fahrzeugfunktionen", Modellierung 2008,
Berlin, March 2008 Download
- R. Adler, I.Schaefer, T. Schuele, E. Vecchie: From Model-Based
Design to Formal Verification of Adaptive Embedded Systems. 9th Intl.
Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL,
November 13-15, 2007, Lecture Notes in Computer Science, Vol. 4789,
2007 Download or available at Springer
- J. O. Blech, I. Schaefer, A. Poetzsch-Heffter: Translation
Validation for System Abstractions. 7th Workshop on Runtime
Verification (RV'07), Vancouver, Canada, March 13, Lecture Notes in
Computer Science, Vol. 4839, 2007 Download or available at Springer, an extended verision of this work can be found in Technical Report 361/07
- D. Hutter, H. Mantel, I. Schaefer, A. Schairer: Information Flow
Control for Multiagent Systems, Journal of Applied Logic, 2007.
- I. Schaefer, A. Poetzsch-Heffter: Towards Modular Verification of
Stabilisation in Self-Adaptive Embedded Systems. Brief Announcement at
Eighth International Symposium on Stabilization, Safety, and Security
of Distributed Systems. Dallas, Texas, November 17 - 19, 2006, Lecture
Notes in Computer Science, Vol. 4280, 2006 Download or available at Springer
- I. Schaefer, A. Poetzsch-Heffter: Using Abstraction in Modular
Verification of Synchronous Adaptive Systems. Proceedings of "Workshop
on Trustworthy Software", Saarbrücken, May 18-19, 2006 Download
- J. Bauer, I. Schaefer, T. Toben, B. Westphal: Specification and
Verification of Dynamic Communication Systems. Sixth Intl. Conference
of Application of Concurrency to System Design (ACSD2006), Turku,
Finland, IEEE Computer Society, 2006.
- A. Podelski, I. Schaefer: Local Reasoning for Termination,
Workshop on Verification of Concurrent Systems with Dynamically
Allocated Heaps (COSMICAH 2005), Lisbon, July 2005. Download
- A. Podelski, I. Schaefer, S. Wagner: Summaries for While-Programs
with Recursion, European Symposium on Programming (ESOP'05), 2005.
Theses
- "Integrating Formal Verification into the Model-based Development
of Adaptive Embedded Systems", PhD thesis, TU Kaiserslautern, Verlag Dr. Hut, ISBN 978-3-89963-862-2, October 2008, Download
- "Information Flow Control for Multiagent Systems - A Case
Study on Comparison Shopping" Master's thesis (Diplomarbeit), Rostock
University (in co-operation with DFKI Saarbruecken), September 2003. Download
Invited Talks
- Max-Planck-Institute for Software Systems, Saarbruecken, 17 July
2008, "Integrating Formal Verification into the Model-Based Development
of Adaptive Embedded Systems".
- TU Muenchen, 15 October 2008, "Integrating Formal Verification into the Model-Based Development of Adaptive Embedded Systems".
- TU Darmstadt, 4 November 2008, "Integrating Formal Verification into the Model-Based Development of Adaptive Embedded Systems".
- Dipartimento di Informatica, Universita di Torino, Italy,
March 2009, “Feature-oriented Verification of Software Product Lines“
- Fraunhofer Center for Experimental Software Engineering,
College Park, MD, USA, April 2009, “Feature-oriented Verification of
Software Product Lines“
- McMaster University, Hamilton, ON, Canada, April 2009,
“Integrating Formal Verification into the Model-based Development of
Adaptive Embedded Systems”
- Chalmers University of Technology, Gothenburg, Sweden, May 2009, “Feature-oriented Verification of Software Product Lines“
- Dipartimento di Informatica, Universita di Torino, Italy,
November 2009, “Implementing Program Deltas by Records and Traits“
Some Presentations
- Presentation on "Compositional Reasoning in Model-Based
Verification of Adaptive Embedded Systems" held at "Software
Engineering and Formal Methods" (SEFM'08) in Cape Town, South Africa,
November 11 2008 (Slides)
- Presentation on "Slicing for Model-Reduction in Adaptive
Embedded Systems Development" held at "Software Engineering for
Self-Managing and Adaptive Systems" (SEMAS'08) in Leipzig, May 12 2008 (Slides)
- Presentation on "Model-based Development of an Adaptive
Vehicle Stability Control System" held at Workshop "Modellbasierte
Entwicklung eingebetteter Fahrzeugfunktionen" jointly with Modellierung 2008 in Berlin, March 14 2008 (Slides)
- Presentation on "From Model-Based Design to Formal
Verification of Adaptive Embedded Systems" at 9th Intl. Conference on
Formal Engineering Methods (ICFEM'07) in Boca Raton, FL, on November
14-15, 2007 (Slides)
- Presentation on "From Model-based Development to Formal Verification of Adaptive Embedded Systems" held at VerAS Workshop on September 14th 2007 in Kaiserslautern (Slides)
Teaching
Short CV
- September 2009 - present: PostDoc, Department of Computer Science
and Engineering, Chalmers University of Technology, Gothenburg, Sweden,
funded by a Forschungsstipendium of the Deutsche Forschungsgemeinschaft.
- January 2009 - August 2009:Young Researchers Representative for
Computer Science, “Center for Mathematical and Computational Modeling”,
Cluster of Excellency, TU Kaiserslautern, Germany
- October 2008: PhD (Dr.-Ing.), TU Kaiserslautern, Germany
- January 2006 - August 2009: Scientific Assistant at TU Kaiserslautern, Germany
- October 2003 - December 2005: Scientific Assistant at Max-Planck-Institute for Computer Science, Saarbruecken, Germany
- September 2003: Diploma in Computer Science at Rostock University, Germany
- 2000-2001: Visiting Student at Oxford University, United Kingdom
- 1997-2003: Student of Computer Science at Rostock University, Germany
