Ina Schaefer

Publikationer (12)
Projekt (0)

Visar 12 publikationer

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 i proceeding

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 i proceeding

2011

Formal Methods in Software Product Line Engineering

Ina Schaefer, Reiner Hähnle

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

Artikel i vetenskaplig tidskrift

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 i proceeding

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 i proceeding

2010

Pure Delta-oriented Programming

Ina Schaefer, Ferruccio Damiani

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

Paper i 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

Artikel i vetenskaplig tidskrift

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 i 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 i 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 i 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 i 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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Ina Schaefer medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.