LIENHARDT, Michael
LIENHARDT, Michael
INFORMATICA
A formal model for Multi Software Product Lines
2019-01-01 Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca
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
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form
2019-01-01 Damiani F.; Lienhardt M.; Paolini L.
Deltas for Functional Programs with Algebraic Data Types
2023-01-01 Damiani F.; Kamburjan E.; Lienhardt M.; Paolini L.
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC
2022-01-01 ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.; Scarso G.
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 checking delta-oriented product lines of statecharts
2018-01-01 Lienhardt, Michael; Damiani, Ferruccio*; Testa, Lorenzo; Turin, Gianluca
On logical and extensional characterizations of attributed feature models
2022-01-01 Damiani F.; Lienhardt M.; Paolini L.
On Type Checking Delta-Oriented Product Lines
2016-01-01 Damiani, Ferruccio; Lienhardt, Michael
Product lines of dataflows
2024-01-01 Lienhardt M.; ter Beek M.H.; Damiani F.
Product lines of dataflows Extended Abstract
2024-01-01 Lienhardt M.; ter Beek M.H.; Damiani F.
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
Variability modules
2023-01-01 Damiani F.; Hahnle R.; Kamburjan E.; Lienhardt M.; Paolini L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A formal model for Multi Software Product Lines | 2019 | Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca | |
| 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 | |
| Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form | 2019 | Damiani F.; Lienhardt M.; Paolini L. | |
| Deltas for Functional Programs with Algebraic Data Types | 2023 | Damiani F.; Kamburjan E.; Lienhardt M.; Paolini L. | |
| FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC | 2022 | ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.; Scarso G. | |
| 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 | |
| Product lines of dataflows | 2024 | Lienhardt M.; ter Beek M.H.; Damiani F. | |
| Product lines of dataflows Extended Abstract | 2024 | Lienhardt M.; ter Beek M.H.; Damiani F. | |
| 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 | |
| Variability modules | 2023 | Damiani F.; Hahnle R.; Kamburjan E.; Lienhardt M.; Paolini L. |