CARNEVALI, LAURA
CARNEVALI, LAURA
Ingegneria dell'Informazione
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 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
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
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software
2007 L. Carnevali; L. Sassoli; E. Vicario
Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study
2013 I. Bicchierai;G. Bucci;L. Carnevali;E. Vicario