BERARDINELLI, LUCA

BERARDINELLI, LUCA  

Dipartimento di Ingegneria e scienze dell'informazione e matematica  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.013 secondi).
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
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.
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
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