BERARDINELLI, LUCA
BERARDINELLI, LUCA
Dipartimento di Ingegneria e scienze dell'informazione e matematica
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) - ASYDE 2022 Organizers' Message
2022-01-01 Autili, Marco; Berardinelli, Luca; Bucaioni, Alessio; Pompilio, Claudio
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey
2021-01-01 Ameller, D.; Franch, X.; Gomez, C.; Martinez-Fernandez, S.; Araujo, J.; Biffl, S.; Cabot, J.; Cortellessa, V.; Fernandez, D. M.; Moreira, A.; Muccini, H.; Vallecillo, A.; Wimmer, M.; Amaral, V.; Bohm, W.; Bruneliere, H.; Burgueno, L.; Goulao, M.; Teufl, S.; Berardinelli, L.
Performance antipattern detection through fUML model library
2015-01-01 Arcelli, D.; Berardinelli, L.; Trubiani, C.
Energy consumption analysis and design of energy-aware wsn agents in fuml
2015-01-01 Berardinelli, Luca; Marco, Antinisca Di; Pace, Stefano; Pomante, Luigi; Tiberti, Walter
Model-driven engineering of middleware-based ubiquitous services
2014-01-01 Autili, Marco; Caporuscio, Mauro; Issarny, Valérie; Berardinelli, Luca
fUML-Driven Performance Analysis through the MOSES Model Library
2014-01-01 Berardinelli, Luca; Cortellessa, Vittorio
Resource Contention Analysis of Cloud-based System through fUML-driven Model Execution
2013-01-01 Fleck, Martin; Berardinelli, Luca; Langer, Philip; Mayerhofer, Tanja; Cortellessa, Vittorio
Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML
2013-01-01 Berardinelli, Luca; DI MARCO, Antinisca; Pace, S; Marchesani, S; Pomante, Luigi
Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture
2013-01-01 Dominguez Gouvêa, D; de A. Assis D., Muniz C; Pinto, G. A.; Avritzer, A; Meri Leão, R. M.; de Souza e., Silva E; Diniz, M. C.; Cortellessa, Vittorio; Berardinelli, Luca; Leite, J. C. B.; Mossé, D; Cai, Y; Dalton, M; Happe, L; Koziolek, A.
Resilience in mobile networks: a need and a challenge
2012-01-01 Avritzer, A; Berardinelli, Luca; Cortellessa, Vittorio; Kloul, L; Rosa, C; Wolter, K.
MICE: Monitoring and ModelIng the Context Evolution.
2012-01-01 Berardinelli, Luca; DI MARCO, Antinisca; Di Paolo, Flavia
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) - ASYDE 2022 Organizers' Message | 1-gen-2022 | Autili, Marco; Berardinelli, Luca; Bucaioni, Alessio; Pompilio, Claudio | |
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey | 1-gen-2021 | Ameller, D.; Franch, X.; Gomez, C.; Martinez-Fernandez, S.; Araujo, J.; Biffl, S.; Cabot, J.; Cortellessa, V.; Fernandez, D. M.; Moreira, A.; Muccini, H.; Vallecillo, A.; Wimmer, M.; Amaral, V.; Bohm, W.; Bruneliere, H.; Burgueno, L.; Goulao, M.; Teufl, S.; Berardinelli, L. | |
Performance antipattern detection through fUML model library | 1-gen-2015 | Arcelli, D.; Berardinelli, L.; Trubiani, C. | |
Energy consumption analysis and design of energy-aware wsn agents in fuml | 1-gen-2015 | Berardinelli, Luca; Marco, Antinisca Di; Pace, Stefano; Pomante, Luigi; Tiberti, Walter | |
Model-driven engineering of middleware-based ubiquitous services | 1-gen-2014 | Autili, Marco; Caporuscio, Mauro; Issarny, Valérie; Berardinelli, Luca | |
fUML-Driven Performance Analysis through the MOSES Model Library | 1-gen-2014 | Berardinelli, Luca; Cortellessa, Vittorio | |
Resource Contention Analysis of Cloud-based System through fUML-driven Model Execution | 1-gen-2013 | Fleck, Martin; Berardinelli, Luca; Langer, Philip; Mayerhofer, Tanja; Cortellessa, Vittorio | |
Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML | 1-gen-2013 | Berardinelli, Luca; DI MARCO, Antinisca; Pace, S; Marchesani, S; Pomante, Luigi | |
Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture | 1-gen-2013 | Dominguez Gouvêa, D; de A. Assis D., Muniz C; Pinto, G. A.; Avritzer, A; Meri Leão, R. M.; de Souza e., Silva E; Diniz, M. C.; Cortellessa, Vittorio; Berardinelli, Luca; Leite, J. C. B.; Mossé, D; Cai, Y; Dalton, M; Happe, L; Koziolek, A. | |
Resilience in mobile networks: a need and a challenge | 1-gen-2012 | Avritzer, A; Berardinelli, Luca; Cortellessa, Vittorio; Kloul, L; Rosa, C; Wolter, K. | |
MICE: Monitoring and ModelIng the Context Evolution. | 1-gen-2012 | Berardinelli, Luca; DI MARCO, Antinisca; Di Paolo, Flavia |