Interprocess Communication Dependency on Network Load. - Alessandro Braccini; Alberto Del Bimbo; Enrico Vicario (IEEE Trans. Software Eng., 1991)

Rapid prototyping through communicating Petri nets. - Giacomo Bucci; Enrico Vicario (RSP, 1992)

A Spatio-temporal Logic for Image Sequence Coding and Retrieval. - Alberto Del Bimbo; Enrico Vicario; Daniele Zingoni (VL, 1992)

TCP/IP measured performance over an ethernet local network. - Alessandro Braccini; Alberto Del Bimbo; Enrico Vicario; Vito Cappellini (Eur. Trans. Telecommun., 1992)

A framework for the development of object-oriented distributed systems. - Giacomo Bucci; Riccardo Mattolini; Enrico Vicario (ISADS, 1993)

Using communicating Petri nets to implement parallel computation in single-tasking operating systems. - Giacomo Bucci; Riccardo Mattolini; Enrico Vicario (PDP, 1993)

Sequence Retrieval by Contents through Spatio Temporal Indexing. - Alberto Del Bimbo; Enrico Vicario; Daniele Zingoni (VL, 1993)

Visual Specification of Virtual Worlds. - Alberto Del Bimbo; Enrico Vicario; Daniele Zingoni (VL, 1993)

Interactive Training of Virtual Agents. - Alberto Del Bimbo; Enrico Vicario; Daniele Zingoni (Advanced Visual Interfaces, 1994)

Supporting Process Migration Through Communicating Petri Nets. - Giacomo Bucci; Riccardo Mattolini; Enrico Vicario (PDP, 1994)

An Interactive Environement for the Visual Programming of Virtual Agents. - Alberto Del Bimbo; Enrico Vicario; Daniele Zingoni (VL, 1994)

Transport measurements over an Ethernet LAN. - Alberto Del Bimbo; Enrico Vicario (IEEE Trans. Commun., 1994)

A Spatial Logic for Symbolic Description of Image Contents. - Alberto Del Bimbo; Enrico Vicario; Daniele Zingoni (J. Vis. Lang. Comput., 1994)

Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations. - Maurizio Baroni; Gianfranco Congiu; Alberto Del Bimbo; A. Evangelisti; Enrico Vicario (ICIAP, 1995)

Automatic transition from rapid prototyping to target code for distributed systems. - Giacomo Bucci; Riccardo Mattolini; Enrico Vicario (ISADS, 1995)

Iconic Retrievial by Contents from Databases of Cardiological Sequences. - Alberto Del Bimbo; Gianfranco Congiu; Enrico Vicario (VDB, 1995)

Visual Specification of Branching Time Temporal Logic. - Alberto Del Bimbo; Luigi Rella; Enrico Vicario (VL, 1995)

Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic. - Alberto Del Bimbo; Enrico Vicario; Daniele Zingoni (IEEE Trans. Knowl. Data Eng., 1995)

Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. - Giacomo Bucci; Enrico Vicario (IEEE Trans. Software Eng., 1995)

Specification by-Example of Virtual Agents Behavior. - Alberto Del Bimbo; Enrico Vicario (IEEE Trans. Vis. Comput. Graph., 1995)

A Visual Language for Color-Based Painting Retrieval. - Jacopo M. Corridoni; Alberto Del Bimbo; Silvio De Magistris; Enrico Vicario (VL, 1996)

Visual Programming of Virtual Worlds Animation. - Alberto Del Bimbo; Enrico Vicario (IEEE Multim., 1996)

Weighted Walkthroughs in Retrieval by Content of Pictorial Data. - Enrico Vicario; Wen Xue He (ICIAP (2), 1997)

Engineering the usability of visual formalisms: a case study in real time logics. - M. Lusini; Enrico Vicario (AVI, 1998)

Design and Evaluation of a Visual Formalism for Real Time Logics. - M. Lusini; Enrico Vicario (Services and Visualization: Towards User-Friendly Design, 1998)

Weighting Spatial Relationships in Retrieval by Visual Contents. - Alberto Del Bimbo; Enrico Vicario (VDB, 1998)

3D Navigation of Geographic Data Sets. - Ricardo Camiciottoli; Jacopo M. Corridoni; Alberto Del Bimbo; Enrico Vicario; Dario Lucarella (IEEE Multim., 1998)

Image Retrieval by Color Semantics with Incomplete Knowledge. - Jacopo M. Corridoni; Alberto Del Bimbo; Enrico Vicario (J. Am. Soc. Inf. Sci., 1998)

Painting Retrieval Based on Color Semantics. - Jacopo M. Corridoni; Alberto Del Bimbo; Enrico Vicario (Image Databases and Multi-Media Search, 1998)

Managing the Complexity of Match in Retrieval by Spatial Arrangement. - Stefano Berretti; Alberto Del Bimbo; Enrico Vicario (ICIAP, 1999)

A Virtual Environment for Construction Workers Instruction and Training. - G. Arcangeli; Jürgen Assfalg; R. Tartaglia; Enrico Vicario (ICMCS, Vol. 2, 1999)

Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project. - Jürgen Assfalg; C. Leveque; Marc Mautref; P. Neel; Libero Nigro; M. Philippou; Jean-Michel Tanneau; Enrico Vicario; G. Zardetto (ICMCS, Vol. 2, 1999)

Weighting Spatial Arrangement of Colors in Content Based Image Retrieval. - Stefano Berretti; Alberto Del Bimbo; Enrico Vicario (ICMCS, Vol. 1, 1999)

A Visual Formalism for Computational Tree Logic. - Alberto Del Bimbo; Enrico Vicario (J. Vis. Lang. Comput., 1999)

A Look-Ahead Strategy for Graph Matching in Retrieval by Spatial Arrangement. - Stefano Berretti; Alberto Del Bimbo; Enrico Vicario (IEEE International Conference on Multimedia and Expo (III), 2000)

The Computational Aspect of Retrieval by Spatial Arrangement. - Stefano Berretti; Alberto Del Bimbo; Enrico Vicario (ICPR, 2000)

Spatial Arrangement Of Color Flows For Video Retrieval. - Alberto Del Bimbo; Enrico Vicario; Pietro Pala (ICME, 2001)

Modelling Spatial Relationships between Colour Clusters. - Stefano Berretti; Alberto Del Bimbo; Enrico Vicario (Pattern Anal. Appl., 2001)

Efficient Matching and Indexing of Graph Models in Content-Based Retrieval. - Stefano Berretti; Alberto Del Bimbo; Enrico Vicario (IEEE Trans. Pattern Anal. Mach. Intell., 2001)

Static Analysis and Dynamic Steering of Time-Dependent Systems. - Enrico Vicario (IEEE Trans. Software Eng., 2001)

Engineering the Usability of a Visual Formalism for Real-time Temporal Logic. - Enrico Vicario (J. Vis. Lang. Comput., 2001)

Using 3D and Ancillary Media to Train Construction Workers. - Jürgen Assfalg; Alberto Del Bimbo; Enrico Vicario (IEEE Multim., 2002)

Spatial arrangement of color in retrieval by visual similarity. - Stefano Berretti; Alberto Del Bimbo; Enrico Vicario (Pattern Recognit., 2002)

Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. - Giacomo Bucci; Andrea Fedeli; Luigi Sassoli; Enrico Vicario (ECRTS, 2003)

Predicting Timeliness of Reactive Systems under Flexible Scheduling. - Giacomo Bucci; Andrea Fedeli; Enrico Vicario (ISADS, 2003)

A discrete time model for performance evaluation and correctness verification of real time systems. - Giacomo Bucci; Luigi Sassoli; Enrico Vicario (PNPM, 2003)

Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. - Giacomo Bucci; Andrea Fedeli; Enrico Vicario (SDL Forum, 2003)

Weighted walkthroughs between extended entities for retrieval by spatial arrangement. - Stefano Berretti; Alberto Del Bimbo; Enrico Vicario (IEEE Trans. Multim., 2003)

ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. - Giacomo Bucci; Luigi Sassoli; Enrico Vicario (QEST, 2004)

Timed State Space Analysis of Real-Time Preemptive Systems. - Giacomo Bucci; Andrea Fedeli; Luigi Sassoli; Enrico Vicario (IEEE Trans. Software Eng., 2004)

A Tool Set for Modeling and Simulation of Robotic Workcells. - Fabrizio Baldini; Giacomo Bucci; Enrico Vicario (FIRB-Perf, 2005)

Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. - Giacomo Bucci; R. Piovosi; Luigi Sassoli; Enrico Vicario (QEST, 2005)

Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. - Giacomo Bucci; Luigi Sassoli; Enrico Vicario (IEEE Trans. Software Eng., 2005)

Analysis of Real Time Systems through the ORIS Tool. - Luigi Sassoli; Enrico Vicario (QEST, 2006)

HomeTL: A visual formalism, based on temporal logic, for the design of home based care. - Alberto Rugnone; Enrico Vicario; Chris D. Nugent; Mark P. Donnelly; David Craig; Cristiano Paggetti; Elena Tamburini (CASE, 2007)

Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. - Laura Carnevali; Luigi Sassoli; Enrico Vicario (ECRTS, 2007)

Sensitization of symbolic runs in real-time testing using the ORIS tool. - Laura Carnevali; Luigi Sassoli; Enrico Vicario (ETFA, 2007)

A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring. - Alberto Rugnone; Francesco Poli; Enrico Vicario; Chris D. Nugent; Elena Tamburini; Cristiano Paggetti (ICOST, 2007)

Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation. - Fabrizio Baldini; Giacomo Bucci; Leonardo Grassi; Enrico Vicario (ICSOFT (PL/DPS/KE/MUSE), 2007)

An Ontological SW Architecture Supporting Agile Development of Semantic Portals. - Giacomo Bucci; Valeriano Sandrucci; Enrico Vicario (ICSOFT/ENASE (Selected Papers), 2007)

An Ontological SW Architecture for the Development of Cooperative Web Portals. - Giacomo Bucci; Valeriano Sandrucci; Enrico Vicario; Saverio Mecca (ICSOFT (SE), 2007)

Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. - Luigi Sassoli; Enrico Vicario (QEST, 2007)

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. - Laura Carnevali; Leonardo Grassi; Enrico Vicario (Ada-Europe, 2008)

An Incremental Approach to Software Reengineering Based on Object-Data Mapping. - Giacomo Bucci; Valeriano Sandrucci; Enrico Vicario (ICSOFT (SE/MUSE/GSDCA), 2008)

A Tool Supporting Evaluation of Non-markovian Fault Trees. - Giacomo Bucci; Laura Carnevali; Enrico Vicario (QEST, 2008)

Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes. - Enrico Vicario (QEST, 2008)

Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems. - Laura Carnevali; Lorenzo Ridi; Enrico Vicario (ETFA, 2009)

Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. - András Horváth; Enrico Vicario (QEST, 2009)

Automatic Code Generation from Real-Time Systems Specifications. - Laura Carnevali; Dario D'Amico; Lorenzo Ridi; Enrico Vicario (IEEE International Workshop on Rapid System Prototyping, 2009)

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. - Laura Carnevali; Leonardo Grassi; Enrico Vicario (IEEE Trans. Software Eng., 2009)

Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. - Enrico Vicario; Luigi Sassoli; Laura Carnevali (IEEE Trans. Software Eng., 2009)

Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. - András Horváth; Lorenzo Ridi; Enrico Vicario (QEST, 2010)

Ontology-Driven Enterprise Application Integration. - Giacomo Bucci; Valeriano Sandrucci; Enrico Vicario (SEKE, 2010)

Oris: a tool for modeling, verification and evaluation of real-time systems. - Giacomo Bucci; Laura Carnevali; Lorenzo Ridi; Enrico Vicario (Int. J. Softw. Tools Technol. Transf., 2010)

A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. - Laura Carnevali; Giuseppe Lipari; Alessandro Pinzuti; Enrico Vicario (Ada-Europe, 2011)

Ontologies and Bayesian Networks in Medical Diagnosis. - Giacomo Bucci; Valeriano Sandrucci; Enrico Vicario (HICSS, 2011)

Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. - Laura Carnevali; Lorenzo Ridi; Enrico Vicario (QEST, 2011)

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. - András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario (QEST, 2011)

A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. - Laura Carnevali; Lorenzo Ridi; Enrico Vicario (SAFECOMP, 2011)

Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System. - Federico Cruciani; Enrico Vicario (SAFECOMP, 2011)

A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. - Laura Carnevali; Johnny Giuntini; Enrico Vicario (VALUETOOLS, 2011)

Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle. - Laura Carnevali; Lorenzo Ridi; Enrico Vicario (IEEE Trans. Software Eng., 2011)

Integrating metrics in an ontological framework supporting SW-FMEA. - Irene Bicchierai; Giacomo Bucci; Carlo Nocentini; Enrico Vicario (WETSoM, 2012)

An Ontological Approach to Systematization of SW-FMEA. - Irene Bicchierai; Giacomo Bucci; Carlo Nocentini; Enrico Vicario (SAFECOMP, 2012)

Transient analysis of non-Markovian models using stochastic state classes. - András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario (Perform. Evaluation, 2012)

Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm. - Lorenzo Ridi; Jacopo Torrini; Enrico Vicario (IEEE Softw., 2012)

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems. - Irene Bicchierai; Giacomo Bucci; Carlo Nocentini; Enrico Vicario (Ada-Europe, 2013)

Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. - Laura Carnevali; Marco Paolieri; Kumiko Tadano; Enrico Vicario (EPEW, 2013)

Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. - Paolo Ballarini; Nathalie Bertrand 001; András Horváth; Marco Paolieri; Enrico Vicario (QEST, 2013)

Quantitative evaluation of availability measures of gas distribution networks. - Laura Carnevali; Marco Paolieri; Fabio Tarani; Enrico Vicario (VALUETOOLS, 2013)

Non-markovian analysis for model driven engineering of real-time software. - Laura Carnevali; Marco Paolieri; Alessandro Santoni; Enrico Vicario (ICPE, 2013)

An On-line system for automated recognition of human activities. - Alessandro Fantechi; Chris D. Nugent; Alessandro Pinzuti; Enrico Vicario; Tommaso Magherini (Eur. J. Law Technol., 2013)

Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living. - Tommaso Magherini; Alessandro Fantechi; Chris D. Nugent; Enrico Vicario (IEEE Trans. Hum. Mach. Syst., 2013)

Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study. - Irene Bicchierai; Giacomo Bucci; Laura Carnevali; Enrico Vicario (IEEE Trans. Ind. Informatics, 2013)

Compositional Verification for Hierarchical Scheduling of Real-Time Systems. - Laura Carnevali; Alessandro Pinzuti; Enrico Vicario (IEEE Trans. Software Eng., 2013)

A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems. - Laura Carnevali; Lorenzo Ridi; Enrico Vicario (IEEE Trans. Software Eng., 2013)

An adaptable patient-centric electronic health record system for personalized home care. - Fulvio Patara; Enrico Vicario (ISMICT, 2014)

Dynamic Adaptation of EHR Structure for Automated Compliance Evaluation. - Fulvio Patara; Enrico Vicario (MIE, 2014)

Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. - Laura Carnevali; Marco Paolieri; Fabio Tarani; Enrico Vicario; Kumiko Tadano (SAFECOMP Workshops, 2014)

Multi-source Context Data Representation and Distribution in an ICT Tool for Autism Treatment. - Federico Cruciani; Mark P. Donnelly; Leo Galway; Francesco Foresti; Cristiano Paggetti; Enrico Vicario (UCAmI, 2014)

Survivability Evaluation of Gas, Water and Electricity Infrastructures. - Alberto Avritzer; Laura Carnevali; Hamed Ghasemieh; Lucia Happe; Boudewijn R. Haverkort; Anne Koziolek; Daniel S. Menasché; Anne Remke; Sahra Sedigh Sarvestani; Enrico Vicario (PASM, 2014)

Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. - Laura Carnevali; Francesco Flammini; Marco Paolieri; Enrico Vicario (EPEW, 2015)

Recommendations for the Creation of Datasets in Support of Data Driven Activity Recognition Models. - Fulvio Patara; Chris D. Nugent; Enrico Vicario (ICOST, 2015)

A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living. - Laura Carnevali; Christopher Nugent; Fulvio Patara; Enrico Vicario (QEST, 2015)

Supporting SW-FMEA through an ontology-based methodology. - Irene Bicchierai; Giacomo Bucci; Enrico Vicario (Int. J. Crit. Comput. Based Syst., 2015)

A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling. - Marco Biagi; Laura Carnevali; Marco Paolieri; Fulvio Patara; Enrico Vicario (EPEW, 2016)

Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios. - Sandro Mehic; Kumiko Tadano; Enrico Vicario (EPEW, 2016)

Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes. - Stefano Martina; Marco Paolieri; Tommaso Papini; Enrico Vicario (MASCOTS, 2016)

Experimental Performance Evaluation of different Data Models for a Reflection Software Architecture over NoSQL Persistence Layers. - Sara Fioravanti; Simone Mattolini; Fulvio Patara; Enrico Vicario (ICPE, 2016)

Probabilistic Model Checking of Regenerative Concurrent Systems. - Marco Paolieri; András Horváth; Enrico Vicario (IEEE Trans. Software Eng., 2016)

An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. - Marco Biagi; Laura Carnevali; Tommaso Papini; Kumiko Tadano; Enrico Vicario (EPEW, 2017)

Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes. - Marco Biagi; Laura Carnevali; Marco Paolieri; Tommaso Papini; Enrico Vicario (QEST, 2017)

An introduction to the ORIS tool. - Marco Biagi; Laura Carnevali; Enrico Vicario; Marco Paolieri (VALUETOOLS, 2017)

Engineering the Performance of a Meta-modeling Architecture. - Sara Fioravanti; Fulvio Patara; Enrico Vicario (ICPE Companion, 2017)

Guest Editorial: Special issue on formal modeling and analysis of timed systems. - Marco Paolieri; Sriram Sankaranarayanan 001; Enrico Vicario (Real Time Syst., 2017)

Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions. - Marco Biagi; Enrico Vicario; Reinhard German (EPEW, 2018)

Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow. - Marco Biagi; Laura Carnevali; Kumiko Tadano; Enrico Vicario (ETFA, 2018)

Hospital Inventory Management Through Markov Decision Processes @runtime. - Marco Biagi; Laura Carnevali; Francesco Santoni; Enrico Vicario (QEST, 2018)

Analysis of a Road/Tramway Intersection by the ORIS Tool. - Laura Carnevali; Alessandro Fantechi; Gloria Gori; Enrico Vicario (VECoS, 2018)

Deploying Digital Twins in a Lambda Architecture for Industry 4.0. - Jacopo Parri; Samuele Sampietro; Enrico Vicario (ERCIM News, 2018)

Flood Resilience of a Water Distribution System. - Fabio Tarani; Chiara Arrighi; Laura Carnevali; Fabio Castelli; Enrico Vicario (Resilience of Cyber-Physical Systems, 2019)

Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios. - Laura Carnevali; Francesco Santoni; Enrico Vicario (ISSRE, 2019)

JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems. - Jacopo Parri; Fulvio Patara; Samuele Sampietro; Enrico Vicario (SERENE, 2019)

Connecting People, Services, and Data for Continuity of Care. - Fulvio Patara; Enrico Vicario (ERCIM News, 2019)

Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks. - Marco Biagi; Laura Carnevali; Fabio Tarani; Enrico Vicario (ACM Trans. Cyber Phys. Syst., 2019)

A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments. - Marco Biagi; Laura Carnevali; Marco Paolieri; Fulvio Patara; Enrico Vicario (IEEE Trans. Hum. Mach. Syst., 2019)

Stochastic modeling and analysis of road-tramway intersections. - Laura Carnevali; Alessandro Fantechi; Gloria Gori; Enrico Vicario (Innov. Syst. Softw. Eng., 2020)

Unsupervised Human Activity Recognition Using the Clustering Approach: A Review. - Paola Ariza Colpas; Enrico Vicario; Emiro De la Hoz-Franco; Marlon Piñeres Melo; Ana Isabel Oviedo Carrascal; Fulvio Patara (Sensors, 2020)

Performability Evaluation of Water Distribution Systems During Maintenance Procedures. - Laura Carnevali; Fabio Tarani; Enrico Vicario (IEEE Trans. Syst. Man Cybern. Syst., 2020)

FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis. - Jacopo Parri; Samuele Sampietro; Enrico Vicario (EDCC, 2021)

Evaluation of software aging in component-based Web Applications subject to soft errors over time. - Jacopo Parri; Samuele Sampietro; Leonardo Scommegna; Enrico Vicario (ISSRE Workshops, 2021)

Compositional Safe Approximation of Response Time Distribution of Complex Workflows. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Enrico Vicario (QEST, 2021)

Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services. - Laura Carnevali; Riccardo Reali; Enrico Vicario (ICPE, 2021)

A framework for Model-Driven Engineering of resilient software-controlled systems. - Jacopo Parri; Fulvio Patara; Samuele Sampietro; Enrico Vicario (Computing, 2021)

Quantitative Analysis of the Dynamic Relevance of Systems. - Luyao Ye; Dongdong Zhao 001; Jianwen Xiang; Laura Carnevali; Enrico Vicario (IEEE Trans. Reliab., 2021)

The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. - Marco Paolieri; Marco Biagi; Laura Carnevali; Enrico Vicario (IEEE Trans. Software Eng., 2021)

Semi-supervised Adaptive Method for Human Activities Recognition (HAR). - Fabio Mendoza Palechor; Enrico Vicario; Fulvio Patara; Alexis De la Hoz Manotas; Diego Molina-Estren (CISIM, 2022)

Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Leonardo Scommegna; Federico Tammaro; Enrico Vicario (EPEW, 2022)

A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Leonardo Scommegna; Enrico Vicario (ISSRE Workshops, 2022)

Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows. - Laura Carnevali; Riccardo Reali; Enrico Vicario (QEST, 2022)

Human Activity Recognition Data Analysis: History, Evolutions, and New Trends. - Paola Patricia Ariza-Colpas; Enrico Vicario; Ana Isabel Oviedo Carrascal; Shariq Aziz Butt; Marlon Alberto Piñeres-Melo; Alejandra Quintero-Linero; Fulvio Patara (Sensors, 2022)

Learning Dynamics and Control of a Stochastic System under Limited Sensing Capabilities. - Mohammad Amin Zadenoori; Enrico Vicario (Sensors, 2022)

The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems. - Laura Carnevali; Marco Paolieri; Enrico Vicario (SIGMETRICS Perform. Evaluation Rev., 2022)

Compositional Analysis of Hierarchical UML Statecharts. - Laura Carnevali; Reinhard German; Francesco Santoni; Enrico Vicario (IEEE Trans. Software Eng., 2022)

Technical Debt in Microservices: A Mixed-Method Case Study. - Roberto Verdecchia; Kevin Maggi; Leonardo Scommegna; Enrico Vicario (ECSA (Tracks, Workshops and Doctoral Symposium), 2023)

Designing a Future-Proof Reference Architecture for Network Digital Twins. - Roberto Verdecchia; Leonardo Scommegna; Enrico Vicario; Tommaso Pecorella (ECSA (Tracks, Workshops and Doctoral Symposium), 2023)

A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows. - Laura Carnevali; Marco Paolieri; Benedetta Picano; Riccardo Reali; Leonardo Scommegna; Enrico Vicario (EPEW, 2023)

Construction of Phase Type Distributions by Bernstein Exponentials. - András Horváth; Enrico Vicario (EPEW, 2023)

Equilibrium Analysis of Markov Regenerative Processes. - András Horváth; Marco Paolieri; Enrico Vicario (QEST, 2023)

An Efficient Flows Dispatching Scheme for Tardiness Minimization of Data-Intensive Applications in Heterogeneous Systems. - Benedetta Picano; Enrico Vicario; Romano Fantacci (IEEE Trans. Netw. Sci. Eng., 2023)

Echo State Learning for User Trajectory Prediction to Minimize Online Game Breaks in 6G Terahertz Networks. - Benedetta Picano; Leonardo Scommegna; Enrico Vicario; Romano Fantacci (J. Sens. Actuator Networks, 2023)

Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Enrico Vicario (ACM Trans. Model. Comput. Simul., 2023)

Edge to Cloud Network Function Offloading in the ADAPTO Framework. - Alessio Botta; Roberto Canonico; Annalisa Navarro; Giovanni Stanco; Giorgio Ventre; Antonio Buonocunto; Antonio Fresa; Vincenzo Gentile; Leonardo Scommegna; Enrico Vicario (AINA (5), 2024)

Elastic Autoscaling for Distributed Workflows in MEC Networks. - Benedetta Picano; Riccardo Reali; Leonardo Scommegna; Enrico Vicario (AINA (5), 2024)

CLAIM: a Lightweight Approach to Identify Microservices in Dockerized Environments. - Kevin Maggi; Roberto Verdecchia; Leonardo Scommegna; Enrico Vicario (EASE, 2024)

Learning Programming without Teachers: An Ongoing Ethnographic Study at 42. - Nicolò Pollini; Kevin Maggi; Roberto Verdecchia; Enrico Vicario (EASE, 2024)

Architectural Views: The State of Practice in Open-Source Software Projects. - Sofia Migliorini; Roberto Verdecchia; Ivano Malavolta; Patricia Lago; Enrico Vicario (ECSA, 2024)

An observation metamodel for dependability tools. - Laura Carnevali; Stefania Cerboni; Benedetta Picano; Leonardo Scommegna; Enrico Vicario (EDCC, 2024)

The Omnibus Java Library: Efficient Synthesis of Optimal Signal Schedules for Multimodal Intersections. - Nicola Bertocci; Laura Carnevali; Leonardo Scommegna; Enrico Vicario (EPEW, 2024)

Approximation of First Passage Time Distributions of Compositions of Independent Markov Chains. - András Horváth; Marco Paolieri; Enrico Vicario (EPEW, 2024)

Democratized Learning Enabling Multi-Level Digital Twin Model Integration. - Benedetta Picano; Marco Becattini; Laura Carnevali; Enrico Vicario (ETFA, 2024)

A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems. - Leonardo Paroli; Tommaso Botarelli; Laura Carnevali; Enrico Vicario (ISSRE, 2024)

Quantitative evaluation of software rejuvenation of a pool of service replicas. - Leonardo Scommegna; Marco Becattini; Giovanni Fontani; Leonardo Paroli; Enrico Vicario (ISSRE (Workshops), 2024)

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. - Gabriel Dengler; Laura Carnevali; Carlos E. Budde; Enrico Vicario (QEST+FORMATS, 2024)

Network Digital Twins: A Systematic Review. - Roberto Verdecchia; Leonardo Scommegna; Benedetta Picano; Marco Becattini; Enrico Vicario (IEEE Access, 2024)

Unveiling Faulty User Sequences: A Model-Based Approach to Test Three-Tier Software Architectures. - Leonardo Scommegna; Roberto Verdecchia; Enrico Vicario (J. Syst. Softw., 2024)

Efficient derivation of optimal signal schedules for multimodal intersections. - Nicola Bertocci; Laura Carnevali; Leonardo Scommegna; Enrico Vicario (Simul. Model. Pract. Theory, 2024)

ADAPTO: Scaling and Offloading Cloud-Native Network Functions in Future Mobile Networks. - Alessio Botta; Roberto Canonico; Annalisa Navarro; Giovanni Stanco; Giorgio Ventre; Antonio Buonocunto; Antonio Fresa; Vincenzo Gentile; Leonardo Scommegna; Enrico Vicario; Enzo Mingozzi; Antonio Virdis; et al. (AINA (6), 2025)

Green AI: Which Programming Language Consumes the Most? - Niccolò Marini; Leonardo Pampaloni; Filippo Di Martino; Roberto Verdecchia; Enrico Vicario (GREENS@ICSE, 2025)

SALLMA: A Software Architecture for LLM-Based Multi-Agent Systems. - Marco Becattini; Roberto Verdecchia; Enrico Vicario (SATrends@ICSE, 2025)

Evolution of code technical debt in microservices architectures. - Kevin Maggi; Roberto Verdecchia; Leonardo Scommegna; Enrico Vicario (J. Syst. Softw., 2025)

OREO: A tool-supported approach for offline run-time monitoring and fault-error-failure chain localization. - Leonardo Scommegna; Benedetta Picano; Roberto Verdecchia; Enrico Vicario (J. Syst. Softw., 2025)

Approximation of cumulative distribution functions by Bernstein phase-type distributions. - András Horváth; Illés Horváth; Marco Paolieri; Miklós Telek; Enrico Vicario (Perform. Evaluation, 2025)

FaultFlow: An MDE Library for Dependability Evaluation of Component-Based Systems. - Laura Carnevali; Stefania Cerboni; Leonardo Montecchi; Enrico Vicario (IEEE Trans. Dependable Secur. Comput., 2025)

Cost-Effective Software Rejuvenation Combining Time-Based and Inspection-Based Policies. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Leonardo Scommegna; Enrico Vicario (IEEE Trans. Emerg. Top. Comput., 2025)

Compositional Coordinated Resource Provisioning in Workflows With Stochastic Durations. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Leonardo Scommegna; Enrico Vicario (IEEE Trans. Parallel Distributed Syst., 2025)