VICARIO, ENRICO
VICARIO, ENRICO
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 DISCRETE TIME MODEL FOR PERFORMANCE EVALUATION AND CORRECTNESS VERIFICATION OF REAL TIME SYSTEMS
2003 G. BUCCI; E. VICARIO; L. SASSOLI
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 Model-Driven Engineering of resilient software-controlled systems
2020 Parri J.; Patara F.; Sampietro S.; Vicario E.
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models
2011 L. Carnevali; L. Ridi; E. Vicario
A LOOK-AHEAD STRATEGY FOR GRAPH MATCHING IN RETRIEVAL BY SPATIAL ARRANGEMENT
2000 S. BERRETTI; A. DEL BIMBO; E. VICARIO
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction
2022 Carnevali L.; Paolieri M.; Reali R.; Scommegna L.; Vicario E.
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 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 SET FOR MODELING AND SIMULATION OF ROBOTIC WORKCELLS
2005 G. BUCCI; E. VICARIO; F. BALDINI
A tool supporting evaluation of non-MarkovianFault Trees
2008 G. Bucci; L. Carnevali; E. Vicario
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets
2009 A. Horváth; E. Vicario
An adaptable patient-centric electronic health record system for personalized home care
2014 Fulvio Patara; Enrico Vicario
An Efficient Flows Dispatching Scheme for Tardiness Minimization of Data-Intensive Applications in Heterogeneous Systems
2023 Benedetta Picano, Enrico Vicario, Romano Fantacci
An Incremental Approach to Software ReengineeringBased on Object-Relational Mapping
2008 G. Bucci; V. Sandrucci; E. Vicario
An inspection-based compositional approach to the quantitative evaluation of assembly lines
2017 Biagi, Marco; Carnevali, Laura*; Papini, Tommaso; Tadano, Kumiko; Vicario, Enrico