VICARIO, ENRICO

VICARIO, ENRICO  

Ingegneria dell'Informazione  

Mostra records
Risultati 1 - 20 di 121 (tempo di esecuzione: 0.042 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 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 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
An introduction to the ORIS tool 2017 Biagi, Marco; Carnevali, Laura; Vicario, Enrico; Paolieri, Marco