Zobrazeno 1 - 10 of 44 pro vyhledávání: '"Michael Lienhardt"'
1
Akademický článek
Refactoring Delta-Oriented Product Lines to achieve Monotonicity
Autor: Ferruccio Damiani, Michael Lienhardt
Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 206, Iss Proc. FMSPLE 2016, Pp 2-16 (2016)
Delta-oriented programming (DOP) is a flexible transformational approach to implement software product lines. In delta-oriented product lines, variants are generated by applying operations contained in delta modules to a (possibly empty) base program
Externí odkaz: https://doaj.org/article/ae31d6e3da4346e584ff079234b9855b
Zobrazit plný text záznamu
2
Efficient static analysis and verification of featured transition systems
Autor: Franco Mazzanti, Maurice H. ter Beek, Luca Paolini, Michael Lienhardt, Ferruccio Damiani
Publikováno v: Empirical software engineering (Online) 27 (2022). doi:10.1007/s10664-020-09930-8
info:cnr-pdr/source/autori:ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L./titolo:Efficient static analysis and verification of featured transition systems/doi:10.1007%2Fs10664-020-09930-8/rivista:Empirical software engineering (Online)/anno:2022/pagina_da:/pagina_a:/intervallo_pagine:/volume:27
A Featured Transition System (FTS) models the behaviour of all products of a Software Product Line (SPL) in a single compact structure, by associating action-labelled transitions with features that condition their presence in product behaviour. It ma
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aff399b0783eef5849edbc716de8c6c9
https://openportal.isti.cnr.it/doc?id=people______::b0fc0a1e270d834c9f969267700c3a48
Zobrazit plný text záznamu
4
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC
Autor: Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso
Publikováno v: Science of computer programming
224 (2022). doi:10.1016/j.scico.2022.102879
FTS4VMC is a publicly available front-end tool for the static analysis and family-based model checking of a Featured Transition System (FTS). It can detect ambiguities in an FTS, disambiguate an ambiguous FTS, transform an FTS into a Modal Transition
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f485529d2a65554360efcfbcdf36ab94
https://hdl.handle.net/2318/1882860
Zobrazit plný text záznamu
5
Variability modules
Autor: Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Publikováno v: Journal of Systems and Software. 195:111510
A Software Product Line (SPL) is a family of similar programs, called variants, generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs: each variant can depend on variants from other SPLs. MPLs are challenging to mod
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85f842870f9130bb29cd5a30ab433e17
https://doi.org/10.1016/j.jss.2022.111510
Zobrazit plný text záznamu
6
Static analysis and family-based model checking of featured transition systems with VMC
Autor: Franco Mazzanti, Luca Paolini, Michele Valfrè, Giordano Scarso, Michael Lienhardt, Ferruccio Damiani, Maurice H. ter Beek
Publikováno v: SPLC (B)
SPLC'21-25th ACM International Systems and Software Product Line Conference, pp. 24–27, Leicester, UK, 06-10/09/2021
info:cnr-pdr/source/autori:ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Valfrè M.; Lienhardt M./congresso_nome:SPLC'21-25th ACM International Systems and Software Product Line Conference/congresso_luogo:Leicester, UK/congresso_data:06-10%2F09%2F2021/anno:2021/pagina_da:24/pagina_a:27/intervallo_pagine:24–27
A Featured Transition System (FTS) is a formalism for modeling variability in configurable system behavior. The behavior of all variants (products) is modeled in a single compact FTS by associating the possibility to perform an action and transition
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2962abda4c9ab35f83e444467805007
https://doi.org/10.1145/3461002.3473071
Zobrazit plný text záznamu
7
Static analysis and family-based model checking with VMC
Autor: Maurice H. ter Beek, Franco Mazzanti, Giordano Scarso, Luca Paolini, Michael Lienhardt, Ferruccio Damiani
Publikováno v: SPLC '21: Proceedings of the 25th ACM International Systems and Software Product Line Conference-Volume A
SPLC '21: 25th ACM International Systems and Software Product Line Conference
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Sep 2021, Leicester, United Kingdom. pp.214-214, ⟨10.1145/3461001.3472732⟩
SPLC (A)
SPLC'21-25th International Systems and Software Product Line Conference, pp. 214–214, Leicester, UK, 06-10/09/2021
info:cnr-pdr/source/autori:ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Lienhardt M./congresso_nome:SPLC'21-25th International Systems and Software Product Line Conference/congresso_luogo:Leicester, UK/congresso_data:06-10%2F09%2F2021/anno:2021/pagina_da:214/pagina_a:214/intervallo_pagine:214–214
International audience; VMC is a research tool for model checking variability-rich behavioural models specified as a modal transition system (MTS) with variability constraints (MTSu). In this tutorial, we introduce a tool chain built on VMC that allo
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6c23ce26126805177def82eeba516dbb
https://hal.archives-ouvertes.fr/hal-03377758
Zobrazit plný text záznamu
8
Time analysis of actor programs
Autor: Ka I Pun, Cosimo Laneve, Guillermo Román-Díez, Michael Lienhardt
Publikováno v: Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, 2019, 105, pp.1-27. ⟨10.1016/j.jlamp.2019.02.007⟩
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019, 105, pp.1-27. ⟨10.1016/j.jlamp.2019.02.007⟩
This paper proposes a technique for estimating the computational time of programs in an actor model, which is intended to serve as a compiler target of a wide variety of actor-based programming languages. We define a compositional translation functio
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86d0a7b9010829bbe24f028477964027
https://doi.org/10.1016/j.jlamp.2019.02.007
Zobrazit plný text záznamu
9
Variability modules for Java-like languages
Autor: Michael Lienhardt, Reiner Hähnle, Eduard Kamburjan, Luca Paolini, Ferruccio Damiani
Publikováno v: SPLC (A)
A Software Product Line (SPL) is a family of similar programs (called variants) generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs (i.e., such that an SPL's variant can depend on variants from other SPLs). MPLs a
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1d7fb27d7de4d3795230264d77889ea6
https://hdl.handle.net/2318/1805865
Zobrazit plný text záznamu
10
On Slicing Software Product Line Signatures
Autor: Luca Paolini, Michael Lienhardt, Ferruccio Damiani
Publikováno v: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020
9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2020, Oct 2020, Rhodes, Greece. pp.81-102, ⟨10.1007/978-3-030-61362-4_5⟩
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles ISBN: 9783030613617
ISoLA (1)
International audience; A Software Product Line (SPL) is a family of similar programs (called variants) generated from a common artifact base. Variability in an SPL can be documented in terms of abstract description of functionalities (called feature
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::90c936842bfa5abf9ea22aa994383d27
https://hal.archives-ouvertes.fr/hal-03225006
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje