Ina Schaefer

Showing 12 publications

2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language

D. Clarke, Nikolay Diakov, Reiner Hähnle et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6659, p. 417-457
Paper in proceedings
2011

Verification of Software Product Lines with Delta-oriented Slicing

Daniel Bruns, Vladimir Klebanov, Ina Schaefer
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6528, p. 61-75
Paper in proceedings
2011

Formal Methods in Software Product Line Engineering

Ina Schaefer, Reiner Hähnle
Computer. Vol. 44 (2), p. 82-85
Journal article
2010

A Prototypical Java-like language with Records and Traits

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer et al
Proc. of Principles and Practice of Programming in JAVA (PPPJ 2010), p. 129-138
Paper in proceedings
2010

Delta-oriented Programming for Software Product Lines

Ina Schaefer, Lorenzo Bettini, Viviana Bono et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6287, p. 77-91
Paper in proceedings
2010

Pure Delta-oriented Programming

Ina Schaefer, Ferruccio Damiani
Second International Workshop on Feature-oriented Software Development (FOSD 2010), p. 49-56
Paper in proceedings
2010

Modeling and Analyzing Diversity Description of EternalS Task Force 1

Ina Schaefer
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6416 LNCS (Part 2), p. 23-25
Paper in proceedings
2010

Abstract delta modeling

D. Clarke, M. Helvensteijn, Ina Schaefer
9th International Conference on Generative Programming and Component Engineering, GPCE'10, Eindhoven, Netherlands, 10-13 October 2010, p. 13-22
Paper in proceedings
2010

Abstract Delta Modeling

D. Clarke, M. Helvensteijn, Ina Schaefer
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 46 (2), p. 13-22
Journal article
2009

Model-based Verification of Adaptive Embedded Systems under Environment Constraints

Ina Schaefer, Arnd Poetzsch-Heffter
2nd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2009)
Paper in proceedings
2009

Implementing Software Product Lines using Traits

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
Object Oriented Programming Languages and Systems (OOPS), 25th ACM Symposium on Applied Computing (SAC 2010)
Paper in proceedings
2009

Variability Modelling for Model-Driven Development of Software Product Lines

Ina Schaefer
Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010)
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Ina Schaefer participates, but you have to be logged in as a Chalmers employee to see them.