LIENHARDT, Michael
LIENHARDT, Michael
INFORMATICA
A Formal Model for Multi SPLs
2017-01-01 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
A unified and formal programming model for deltas and traits
2017-01-01 Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael
Abstraction refinement for the analysis of software product lines
2017-01-01 Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
An extension of the ABS toolchain with a mechanism for type checking SPLs
2017-01-01 Damiani, Ferruccio; Lienhardt, Michael; Muschevici, Radu; Schaefer, Ina
Deltas for Functional Programs with Algebraic Data Types
2023-01-01 Damiani F.; Kamburjan E.; Lienhardt M.; Paolini L.
Interoperability of software product line variants
2018-01-01 Damiani F.; Hahnle R.; Kamburjan E.; Lienhardt M.
Multi software product lines in the wild
2018-01-01 Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca
On Type Checking Delta-Oriented Product Lines
2016-01-01 Damiani, Ferruccio; Lienhardt, Michael
Refactoring Delta-Oriented Product Lines to achieve Monotonicity
2016-01-01 Damiani, Ferruccio; Lienhardt, Michael
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking
2016-01-01 Damiani, Ferruccio; Lienhardt, Michael
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Model for Multi SPLs | 2017 | Damiani Ferruccio; Michael LIENHARDT; Luca Paolini | |
| A unified and formal programming model for deltas and traits | 2017 | Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael | |
| Abstraction refinement for the analysis of software product lines | 2017 | Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael | |
| An extension of the ABS toolchain with a mechanism for type checking SPLs | 2017 | Damiani, Ferruccio; Lienhardt, Michael; Muschevici, Radu; Schaefer, Ina | |
| Deltas for Functional Programs with Algebraic Data Types | 2023 | Damiani F.; Kamburjan E.; Lienhardt M.; Paolini L. | |
| 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 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 |