Dr. Ina Schaefer

I was 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 from 1 September 2009 to 31 October 2010. Now I am at Technical University Braunschweig, replacing the Chair of Software Systems Engineering for the winter semester 2010/2011. You find my new coordinates here.

Research Interests

Formal Methods, Verification, Model-Based Verification of Self-Adaptive Embedded Systems, Integration of Formal Methods into Software Development Processes

Publications

Books and Edited Proceedings

• I. Schaefer, R. Carbon (editors): Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). Technical Report, University of Lancaster, U.K., September 2010.

Journals

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

• D. Hutter, H. Mantel, I. Schaefer, A. Schairer: Information Flow Control for Multiagent Systems, Journal of Applied Logic, 2007.

Conferences

• I. Schaefer: Modeling and Analysing Diversity - Description of EternalS Task Force 1. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Springer-Verlag, Oktober 2010.

• D. Clarke, M. Helvensteijn, I. Schaefer: Abstract Delta Modeling. Proc. of Generative Programming and Component Engineering (GPCE 2010), Eindhoven, October 2010. Download

• L. Bettini, F. Damiani, I. Schaefer, F. Strocco: A Prototypical Java-like language with Records and Traits. Proc. of Principles and Practice of Programming in JAVA (PPPJ 2010), Vienna, September 2010. Download

• I. Schaefer, M. Becker, R. Carbon, S. Apel: Formal Methods in Software Product Line Engineering. 15th Software Product Line Conference (SPLC 2010), Korea, Springer-Verlag, September 2010.

• I. Schaefer, L. Bettini, V. Bono, F. Damiani, N. Tanzarella: Delta-oriented Programming of Software Product Lines. Proc. of 15th Software Product Line Conference (SPLC 2010), Korea, September 2010. Download

• D. Bruns, V. Klebanov, I. Schaefer: Verification of Software Product Lines with Delta-oriented Slicing. International Conference on Formel Verification of Object-oriented Software (FoVeOOS 2010), Springer, LNCS, June 2010. (to appear). (This paper is a revised and extended version of the position paper that appeared in the preproeedings of FoVeOOS 2010.)

• 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

• 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

• 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

• 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

• 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, S. Wagner: Summaries for While-Programs with Recursion, European Symposium on Programming (ESOP'05), 2005.

Workshops

• I. Schaefer, L. Bettini, F. Damiani: Compositional Type-Checking of Delta-oriented Product Lines (Extended Abstract), 22nd Nordic Workshop on Programming Theory (NWPT2010) 10-12 November 2010, Turku, Finland

• D. Bruns, V. Klebanov, I. Schaefer: Verification of Software Product Lines: Reducing the Effort with Delta-oriented Slicing and Proof Reuse. Position Paper. Pre-proceedings of International Conference on Formel Verification of Object-oriented Software (FoVeOOS 2010), June 2010. (available online ).

• I. Schaefer, F. Damiani: Pure Delta-oriented Programming. Second International Workshop on Feature-oriented Software Development (FOSD 2010), Eindhoven, October 2010. Download

• 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

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

• 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

• 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

• A. Podelski, I. Schaefer: Local Reasoning for Termination, Workshop on Verification of Concurrent Systems with Dynamically Allocated Heaps (COSMICAH 2005), Lisbon, July 2005. Download

Technical Reports and Other Publications

• D. Clarke, M. Helvensteijn, I. Schaefer: "Abstract Delta Modeling". Technical Report CW592, Dept. Computer Sciences, Katholieke Universiteit Leuven, August 2010. Download

• I. Schaefer, A. Poetzsch-Heffter: Damit das ESP nicht abstuerzt - Groesere Sicherheit fuer Automobilsoftware, UniSpektrum 2/2008, TU Kaiserslautern, Mai 2008 Download

• J. O. Blech, I. Schaefer, A. Poetzsch-Heffter: "On Translation Validation of System Abstractions". Technical Report no. 361/07, TU Kaiserslautern, July 2007.

• A. Podelski, I. Schaefer, S. Wagner: "Summaries for While Programs with Recursion". Technical Report MPI-I-2004-2-007, Max-Planck-Institut fuer Informatik, Saarbruecken, December 2004.

• I. Schaefer: "Secure Mobile Multiagent Systems in Virtual Marketplaces - A Case Study on Comparison Shopping". DFKI Research Report RR-02-02, DFKI SaarbrŸcken, March 2002.

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

Activities

• since 03/10: Task Force Leader, Task Force "Diversity Management and Awareness", EternalS, Coordination Action of the EU-FP7 FET Projects HATS, SecureChange, LivingKnowledge, CONNECT
• Workshop Chair, 15th Software Product Line Conference (SPLC 2011), 22.8. - 26.8.2011, Munich, Germany

Program Committees

• 10th International Conference on Generative Programming and Component Engineering (GPCE'11). October 23-24, 2011, Portland, Oregon, USA.

• 5th International Workshop on Variability Modeling of Software-intensive Systems (VaMoS'11), January 2011, Namur, Belgium.

• 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010), September 13/14, 2010, in conjunction with SPLC 2010, Jeju Island, Korea.

• 2nd International Workshop on Feature-Oriented Software Development (FOSD), October 13, 2010, in conjunction with GPCE 2010 and SLE 2010 in Eindhoven, the Netherlands.

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“
• CWI, Amsterdam, The Netherlands, January 2010, “Reuse-based Verification of Software Product Lines“
• Fraunhofer IESE, Kaiserslautern, Germany, January 2010, “Reuse-based Verification of Software Product Lines“
• IFIP WG 2.11 (Program Generation), 8th Working Meeting, St. Andrews, U.K., March 2010, “Reuse-based Verification of Software Product Lines“
• DFKI Bremen, Germany, April 2010, “Reuse-based Verification of Software Product Lines“
• Universität Koblenz, Germany, May 2010, “Delta-oriented Development of Software Product Lines“
• Universität Passau, Germany, June 2010, “Reuse-based Verification of Software Product Lines“
• Oslo University, Norway, June 2010, “Delta-oriented Development of Software Product Lines“

Teaching

• Winter Term 2010/2011, TU Braunschweig, Germany: Lecture "Compiler II"

• Winter Term 2010/2011, TU Braunschweig, Germany: Lecture "Software Engineering 1"

• Winter Term 2010/2011, TU Braunschweig, Germany: Seminar "Modern Programming Paradigms"

• Summer Term 2009, Kaiserslautern University, Germany: Lecture "Compiler and Language-Processing Tools"

Short CV

• November 2010 - March 2011: Vertretungsprofessur (Visiting Professor), Software Systems Engineering, TU Braunschweig, Germany
• September 2009 - October 2010: 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