Ina Schaefer

Publications (12)
Projects (0)

Showing 12 publications

2011

Formal Methods in Software Product Line Engineering

Ina Schaefer, Reiner Hähnle

Computer. Vol. 44 (2), p. 82-85

Journal article

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 proceeding

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 proceeding

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 proceeding

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

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 proceeding

2010

Pure Delta-oriented Programming

Ina Schaefer, Ferruccio Damiani

Second International Workshop on Feature-oriented Software Development (FOSD 2010), p. 49-56

Paper in proceeding

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 proceeding

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 proceeding

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 proceeding

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 proceeding

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 proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.