CARNEVALI, LAURA

CARNEVALI, LAURA  

Ingegneria dell'Informazione  

Mostra records
Risultati 1 - 20 di 60 (tempo di esecuzione: 0.062 secondi).
Titolo Data di pubblicazione Autore(i) File
A continuous-time model-based approach for activity recognition in pervasive environments 2019 Biagi, Marco; Carnevali, Laura; Paolieri, Marco; Patara, Fulvio; Vicario, Enrico
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living 2015 Carnevali, Laura; Nugent, Christopher; Patara, Fulvio; Vicario, Enrico
A formal approach to design and verification of two-level Hierarchical Scheduling systems 2011 L. Carnevali; G. Lipari; A. Pinzuti; E. Vicario
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models 2011 L. Carnevali; L. Ridi; E. Vicario
A heuristic approach for predictive diagnosis of wheel wear based on low-cost track-side equipment 2021 Laura Carnevali, Alessandro Fantechi, Gloria Gori, Jacopo Parri, Moreno Pieralli, Samuele Sampietro
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction 2022 Carnevali L.; Paolieri M.; Reali R.; Scommegna L.; Vicario E.
A novel layered approach to evaluate reliability of complex systems 2019 Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems 2013 Laura Carnevali;Lorenzo Ridi;Enrico Vicario
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows 2023 Carnevali L.; Paolieri M.; Picano B.; Reali R.; Scommegna L.; Vicario E.
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids 2014 Alberto Avritzer; Laura Carnevali; Lucia Happe; Anne Koziolek; Daniel Sadoc Menasche; Marco Paolieri; Sindhu Suresh
A stochastic model-based approach to online event prediction and response scheduling 2016 Biagi, M.; Carnevali, L.; Paolieri, M.; Patara, F.; Vicario, E.
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters 2011 L. Carnevali; J. Giuntini; E. Vicario
A tailored V-Model exploiting the theory of preemptive Time Petri Nets 2008 L.Carnevali; L.Grassi; E.Vicario
A tool supporting evaluation of non-MarkovianFault Trees 2008 G. Bucci; L. Carnevali; E. Vicario
An efficient library for reliability block diagram evaluation 2021 Carnevali L.; Ciani L.; Fantechi A.; Gori G.; Papini M.
An inspection-based compositional approach to the quantitative evaluation of assembly lines 2017 Biagi, Marco; Carnevali, Laura*; Papini, Tommaso; Tadano, Kumiko; Vicario, Enrico
An introduction to the ORIS tool 2017 Biagi, Marco; Carnevali, Laura; Vicario, Enrico; Paolieri, Marco
An observation metamodel for dependability tools 2024 Carnevali, Laura; Cerboni, Stefania; Picano, Benedetta; Scommegna, Leonardo; Vicario, Enrico
Analysis of a Road/Tramway Intersection by the ORIS Tool 2018 Carnevali Laura, Fantechi Alessandro, Gori Gloria, Vicario Enrico.
Automatic Code Generation from Real-Time Systems Specifications 2009 L. Carnevali; D. D'Amico; L. Ridi; E. Vicario