Enrico Vicario

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 59

Top Venues

EPEW

QEST

Sensors

IEEE Trans. Software Eng.

Publications

Alessio Botta, Roberto Canonico, Annalisa Navarro, Giovanni Stanco, Giorgio Ventre, Antonio Buonocunto, Antonio Fresa, Vincenzo Gentile, Leonardo Scommegna, Enrico Vicario
Edge to Cloud Network Function Offloading in the ADAPTO Framework. AINA (5) (2024)
Laura Carnevali, Stefania Cerboni, Benedetta Picano, Leonardo Scommegna, Enrico Vicario
An observation metamodel for dependability tools. EDCC (2024)
Leonardo Scommegna, Roberto Verdecchia, Enrico Vicario
Unveiling Faulty User Sequences: A Model-Based Approach to Test Three-Tier Software Architectures. J. Syst. Softw. 212 (2024)
Kevin Maggi, Roberto Verdecchia, Leonardo Scommegna, Enrico Vicario
CLAIM: a Lightweight Approach to Identify Microservices in Dockerized Environments. EASE (2024)
Nicola Bertocci, Laura Carnevali, Leonardo Scommegna, Enrico Vicario
Efficient derivation of optimal signal schedules for multimodal intersections. Simul. Model. Pract. Theory 133 (2024)
Benedetta Picano, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
Elastic Autoscaling for Distributed Workflows in MEC Networks. AINA (5) (2024)
Nicolò Pollini, Kevin Maggi, Roberto Verdecchia, Enrico Vicario
Learning Programming without Teachers: An Ongoing Ethnographic Study at 42. EASE (2024)
Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. CoRR (2024)
Benedetta Picano, Enrico Vicario, Romano Fantacci
An Efficient Flows Dispatching Scheme for Tardiness Minimization of Data-Intensive Applications in Heterogeneous Systems. IEEE Trans. Netw. Sci. Eng. 10 (6) (2023)
András Horváth, Enrico Vicario
Construction of Phase Type Distributions by Bernstein Exponentials. EPEW (2023)
Roberto Verdecchia, Leonardo Scommegna, Enrico Vicario, Tommaso Pecorella
Designing a Future-Proof Reference Architecture for Network Digital Twins. ECSA (Tracks, Workshops and Doctoral Symposium) (2023)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows. ACM Trans. Model. Comput. Simul. 33 (4) (2023)
Benedetta Picano, Leonardo Scommegna, Enrico Vicario, Romano Fantacci
Echo State Learning for User Trajectory Prediction to Minimize Online Game Breaks in 6G Terahertz Networks. J. Sens. Actuator Networks 12 (4) (2023)
Laura Carnevali, Marco Paolieri, Benedetta Picano, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows. EPEW (2023)
András Horváth, Marco Paolieri, Enrico Vicario
Equilibrium Analysis of Markov Regenerative Processes. QEST (2023)
Roberto Verdecchia, Kevin Maggi, Leonardo Scommegna, Enrico Vicario
Technical Debt in Microservices: A Mixed-Method Case Study. ECSA (Tracks, Workshops and Doctoral Symposium) (2023)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Federico Tammaro, Enrico Vicario
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics. EPEW (2022)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction. ISSRE Workshops (2022)
Laura Carnevali, Riccardo Reali, Enrico Vicario
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows. QEST (2022)
Mohammad Amin Zadenoori, Enrico Vicario
Learning Dynamics and Control of a Stochastic System under Limited Sensing Capabilities. Sensors 22 (12) (2022)
Fabio Mendoza Palechor, Enrico Vicario, Fulvio Patara, Alexis De la Hoz Manotas, Diego Molina-Estren
Semi-supervised Adaptive Method for Human Activities Recognition (HAR). CISIM (2022)
Laura Carnevali, Reinhard German, Francesco Santoni, Enrico Vicario
Compositional Analysis of Hierarchical UML Statecharts. IEEE Trans. Software Eng. 48 (12) (2022)
Paola Patricia Ariza-Colpas, Enrico Vicario, Ana Isabel Oviedo Carrascal, Shariq Aziz Butt, Marlon Alberto Piñeres-Melo, Alejandra Quintero-Linero, Fulvio Patara
Human Activity Recognition Data Analysis: History, Evolutions, and New Trends. Sensors 22 (9) (2022)
Laura Carnevali, Marco Paolieri, Enrico Vicario
The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems. SIGMETRICS Perform. Evaluation Rev. 49 (4) (2022)
Jacopo Parri, Samuele Sampietro, Leonardo Scommegna, Enrico Vicario
Evaluation of software aging in component-based Web Applications subject to soft errors over time. ISSRE Workshops (2021)
Luyao Ye, Dongdong Zhao, Jianwen Xiang, Laura Carnevali, Enrico Vicario
Quantitative Analysis of the Dynamic Relevance of Systems. IEEE Trans. Reliab. 70 (1) (2021)
Jacopo Parri, Samuele Sampietro, Enrico Vicario
FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis. EDCC (2021)
Laura Carnevali, Riccardo Reali, Enrico Vicario
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services. ICPE (2021)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario
Compositional Safe Approximation of Response Time Distribution of Complex Workflows. QEST (2021)
Jacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario
A framework for Model-Driven Engineering of resilient software-controlled systems. Computing 103 (4) (2021)
Marco Paolieri, Marco Biagi, Laura Carnevali, Enrico Vicario
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. IEEE Trans. Software Eng. 47 (6) (2021)
Laura Carnevali, Fabio Tarani, Enrico Vicario
Performability Evaluation of Water Distribution Systems During Maintenance Procedures. IEEE Trans. Syst. Man Cybern. Syst. 50 (5) (2020)
Paola Ariza Colpas, Enrico Vicario, Emiro De la Hoz-Franco, Marlon Piñeres Melo, Ana Isabel Oviedo Carrascal, Fulvio Patara
Unsupervised Human Activity Recognition Using the Clustering Approach: A Review. Sensors 20 (9) (2020)
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
Stochastic modeling and analysis of road-tramway intersections. Innov. Syst. Softw. Eng. 16 (2) (2020)
Jacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems. SERENE (2019)
Marco Biagi, Laura Carnevali, Fabio Tarani, Enrico Vicario
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks. ACM Trans. Cyber Phys. Syst. 3 (2) (2019)
Fulvio Patara, Enrico Vicario
Connecting People, Services, and Data for Continuity of Care. ERCIM News 2019 (118) (2019)
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments. IEEE Trans. Hum. Mach. Syst. 49 (4) (2019)
Laura Carnevali, Francesco Santoni, Enrico Vicario
Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios. ISSRE (2019)
Marco Biagi, Laura Carnevali, Kumiko Tadano, Enrico Vicario
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow. ETFA (2018)
Jacopo Parri, Samuele Sampietro, Enrico Vicario
Deploying Digital Twins in a Lambda Architecture for Industry 4.0. ERCIM News 2018 (115) (2018)
Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario
Hospital Inventory Management Through Markov Decision Processes @runtime. QEST (2018)
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
Analysis of a Road/Tramway Intersection by the ORIS Tool. VECoS (2018)
Marco Biagi, Enrico Vicario, Reinhard German
Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions. EPEW (2018)
Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes. QEST (2017)
Marco Biagi, Laura Carnevali, Enrico Vicario, Marco Paolieri
An introduction to the ORIS tool. VALUETOOLS (2017)
Marco Paolieri, Sriram Sankaranarayanan, Enrico Vicario
Guest Editorial: Special issue on formal modeling and analysis of timed systems. Real Time Syst. 53 (3) (2017)
Sara Fioravanti, Fulvio Patara, Enrico Vicario
Engineering the Performance of a Meta-modeling Architecture. ICPE Companion (2017)
Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. EPEW (2017)
Sandro Mehic, Kumiko Tadano, Enrico Vicario
Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios. EPEW (2016)
Sara Fioravanti, Simone Mattolini, Fulvio Patara, Enrico Vicario
Experimental Performance Evaluation of different Data Models for a Reflection Software Architecture over NoSQL Persistence Layers. ICPE (2016)
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling. EPEW (2016)
Stefano Martina, Marco Paolieri, Tommaso Papini, Enrico Vicario
Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes. MASCOTS (2016)
Marco Paolieri, András Horváth, Enrico Vicario
Probabilistic Model Checking of Regenerative Concurrent Systems. IEEE Trans. Software Eng. 42 (2) (2016)
Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. EPEW (2015)
Irene Bicchierai, Giacomo Bucci, Enrico Vicario
Supporting SW-FMEA through an ontology-based methodology. Int. J. Crit. Comput. Based Syst. 6 (1) (2015)
Fulvio Patara, Chris D. Nugent, Enrico Vicario
Recommendations for the Creation of Datasets in Support of Data Driven Activity Recognition Models. ICOST (2015)
Laura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living. QEST (2015)
Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario
Survivability Evaluation of Gas, Water and Electricity Infrastructures. Electron. Notes Theor. Comput. Sci. 310 (2015)
Federico Cruciani, Mark P. Donnelly, Leo Galway, Francesco Foresti, Cristiano Paggetti, Enrico Vicario
Multi-source Context Data Representation and Distribution in an ICT Tool for Autism Treatment. UCAmI (2014)
Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. SAFECOMP Workshops (2014)
Fulvio Patara, Enrico Vicario
An adaptable patient-centric electronic health record system for personalized home care. ISMICT (2014)
Fulvio Patara, Enrico Vicario
Dynamic Adaptation of EHR Structure for Automated Compliance Evaluation. MIE (2014)
Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems. Ada-Europe (2013)
Irene Bicchierai, Giacomo Bucci, Laura Carnevali, Enrico Vicario
Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study. IEEE Trans. Ind. Informatics 9 (4) (2013)
Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario
Quantitative evaluation of availability measures of gas distribution networks. VALUETOOLS (2013)
Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. QEST (2013)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems. IEEE Trans. Software Eng. 39 (3) (2013)
Alessandro Fantechi, Chris D. Nugent, Alessandro Pinzuti, Enrico Vicario, Tommaso Magherini
An On-line system for automated recognition of human activities. Eur. J. Law Technol. 4 (2) (2013)
Laura Carnevali, Marco Paolieri, Alessandro Santoni, Enrico Vicario
Non-markovian analysis for model driven engineering of real-time software. ICPE (2013)
Tommaso Magherini, Alessandro Fantechi, Chris D. Nugent, Enrico Vicario
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living. IEEE Trans. Hum. Mach. Syst. 43 (6) (2013)
Laura Carnevali, Alessandro Pinzuti, Enrico Vicario
Compositional Verification for Hierarchical Scheduling of Real-Time Systems. IEEE Trans. Software Eng. 39 (5) (2013)
Laura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. EPEW (2013)
András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario
Transient analysis of non-Markovian models using stochastic state classes. Perform. Evaluation 69 (7-8) (2012)
Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
Integrating metrics in an ontological framework supporting SW-FMEA. WETSoM (2012)
Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
An Ontological Approach to Systematization of SW-FMEA. SAFECOMP (2012)
Lorenzo Ridi, Jacopo Torrini, Enrico Vicario
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm. IEEE Softw. 29 (1) (2012)
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
Ontologies and Bayesian Networks in Medical Diagnosis. HICSS (2011)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. SAFECOMP (2011)
András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. QEST (2011)
Laura Carnevali, Johnny Giuntini, Enrico Vicario
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. VALUETOOLS (2011)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle. IEEE Trans. Software Eng. 37 (6) (2011)
Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. Ada-Europe (2011)
Federico Cruciani, Enrico Vicario
Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System. SAFECOMP (2011)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. QEST (2011)
András Horváth, Lorenzo Ridi, Enrico Vicario
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. QEST (2010)
Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Oris: a tool for modeling, verification and evaluation of real-time systems. Int. J. Softw. Tools Technol. Transf. 12 (5) (2010)
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
Ontology-Driven Enterprise Application Integration. SEKE (2010)
András Horváth, Enrico Vicario
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. QEST (2009)
Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario
Automatic Code Generation from Real-Time Systems Specifications. IEEE International Workshop on Rapid System Prototyping (2009)
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems. ETFA (2009)
Enrico Vicario, Luigi Sassoli, Laura Carnevali
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. IEEE Trans. Software Eng. 35 (5) (2009)
Laura Carnevali, Leonardo Grassi, Enrico Vicario
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. IEEE Trans. Software Eng. 35 (2) (2009)
Enrico Vicario
Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes. QEST (2008)
Laura Carnevali, Leonardo Grassi, Enrico Vicario
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Ada-Europe (2008)
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
An Incremental Approach to Software Reengineering Based on Object-Data Mapping. ICSOFT (SE/MUSE/GSDCA) (2008)
Giacomo Bucci, Laura Carnevali, Enrico Vicario
A Tool Supporting Evaluation of Non-markovian Fault Trees. QEST (2008)
Luigi Sassoli, Enrico Vicario
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. QEST (2007)
Fabrizio Baldini, Giacomo Bucci, Leonardo Grassi, Enrico Vicario
Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation. ICSOFT (PL/DPS/KE/MUSE) (2007)
Alberto Rugnone, Enrico Vicario, Chris D. Nugent, Mark P. Donnelly, David Craig, Cristiano Paggetti, Elena Tamburini
HomeTL: A visual formalism, based on temporal logic, for the design of home based care. CASE (2007)

Enrico Vicario.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Enrico Vicario