LIENHARDT, Michael

LIENHARDT, Michael  

INFORMATICA  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
A Formal Model for Multi SPLs 2017 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
Abstraction refinement for the analysis of software product lines 2017 Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form 2019 Damiani F.; Lienhardt M.; Paolini L.
An extension of the ABS toolchain with a mechanism for type checking SPLs 2017 Damiani, Ferruccio; Lienhardt, Michael; Muschevici, Radu; Schaefer, Ina
A formal model for Multi Software Product Lines 2019 Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca
Interoperability of software product line variants 2018 Damiani F.; Hahnle R.; Kamburjan E.; Lienhardt M.
Multi software product lines in the wild 2018 Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca
On checking delta-oriented product lines of statecharts 2018 Lienhardt, Michael; Damiani, Ferruccio*; Testa, Lorenzo; Turin, Gianluca
On logical and extensional characterizations of attributed feature models 2022 Damiani F.; Lienhardt M.; Paolini L.
On Type Checking Delta-Oriented Product Lines 2016 Damiani, Ferruccio; Lienhardt, Michael
Refactoring Delta-Oriented Product Lines to achieve Monotonicity 2016 Damiani, Ferruccio; Lienhardt, Michael
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking 2016 Damiani, Ferruccio; Lienhardt, Michael
A unified and formal programming model for deltas and traits 2017 Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael