CARNEVALI, LAURA

CARNEVALI, LAURA  

Ingegneria dell'Informazione  

Mostra records
Risultati 1 - 20 di 52 (tempo di esecuzione: 0.056 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 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
Compositional Analysis of Hierarchical UML Statecharts 2021 Carnevali, Laura; German, Reinhard; Santoni, Francesco; Vicario, Enrico