STOICO, VINCENZO

STOICO, VINCENZO  

Dipartimento di Ingegneria e scienze dell'informazione e matematica  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.015 secondi).
Titolo Data di pubblicazione Autore(i) File
Un approccio guidato dai modelli per la verifica e la validazione precoci di sistemi embedded 6-set-2023 Stoico, Vincenzo
From UML/MARTE Specifications to ESL HW/SW Co-Design: Early Functional Verification and Timing Validation 1-gen-2023 Cortellessa, Vittorio; Pomante, Luigi; Stoico, Vincenzo
Many-objective optimization of non-functional attributes based on refactoring of software models 1-gen-2023 Cortellessa, V.; Di Pompeo, D.; Stoico, V.; Tucci, M.
An Approach Using Performance Models for Supporting Energy Analysis of Software Systems 1-gen-2023 Stoico, V.; Cortellessa, V.; Malavolta, I.; Di Pompeo, D.; Pomante, L.; Lago, P.
Software Model Refactoring Driven by Performance Antipattern Detection 1-gen-2022 Cortellessa, V.; Di Pompeo, D.; Stoico, V.; Tucci, M.
An ESL Methodology for HW/SW Co-Design of Monitorable Embedded Systems: The 'Design for Monitorability' Project-Work-in-Progress 1-gen-2020 Valente, G.; Di Mascio, T.; Pomante, L.; Stoico, V.
CC4CS: An off-the-shelf unifying statement-level performance metric for HW/SW technologies 1-gen-2018 Muttillo, V.; Stoico, Vincenzo; Valente, G.; CASO D'ANTONIO, Fabio; Pomante, L.; Salice, F.
CC4CS: A Unifying Statement-Level Performance Metric for HW/SW Technologies 1-gen-2017 Muttillo, V.; Valente, G.; Stoico, V.; D’Antonio, F.; Pomante, L.