Homepage>Mitarbeiter> Dr.-Ing. Ina Schaefer

Dr.-Ing. Ina Schaefer

I am now a PostDoc in the Division of Software Engineering and Technology within the Department of Computer Science and Engineering at Chalmers University of Technology in Gothenburg, Sweden.

Please visit my new website http://www.cse.chalmers.se/~schaefer at Chalmers.


"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

Teaching

  • Summer Term 2009: Lecture Lecture "Compiler and Language-Processing Tools". My Office Hours for questions concerning the lecture are on Tuesdays in term time from 9 to 10 am. On June, 9, June, 23, July 14 and July 21 the office hour is canceled. Please make another appointment if necessary.

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. (accepted for publication)

  • 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.

  • 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.

  • 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 abstürzt - Größere Sicherheit für 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. Schüle: 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. Schüle, E. Vecchié: 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 Saarbrücken), September 2003. Download

Invited Talks:

  • Max-Planck-Institute for Software Systems, Saarbrücken, 17 July 2008, "Integrating Formal Verification into the Model-Based Development of Adaptive Embedded Systems".
  • TU München, 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, Università 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“

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)

Workshops for Prospective Students

Short CV

  • January 2009 - present: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 - present: Scientific Assistant at TU Kaiserslautern, Germany
  • October 2003 - December 2005: Scientific Assistant at Max-Planck-Institut für Informatik, Saarbrücken, 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

Photos