Enrico Vicario

190 papers A 6B 15C 17Misc 7Journal 63Unranked 78
YearRankTypeTitle / Venue / Authors
2026 — conf
Compositional Coordinated Resource Provisioning for Workflows with Stochastic Durations in Kubernetes.
ICPE Companion
Tommaso Botarelli, Laura Carnevali, Leonardo Scommegna, Enrico Vicario
2026 J jnl
Joint offloading and service selection via matching and auction theory for multi-task dependent computation-intensive applications.
Perform. Evaluation
Benedetta Picano, Marco Paolieri, Laura Carnevali, Enrico Vicario
2025 — conf
ADAPTO: Scaling and Offloading Cloud-Native Network Functions in Future Mobile Networks.
AINA (6)
Alessio Botta, Roberto Canonico, Annalisa Navarro, Giovanni Stanco, Giorgio Ventre, Antonio Buonocunto, Antonio Fresa, Vincenzo Gentile, Leonardo Scommegna, Enrico Vicario, Enzo Mingozzi, Antonio Virdis, Marcello Cucurachi
2025 B conf
An Accountability-Based Architectural Tactic for Agent Cooperation in LLM-Based Multi-Agent Systems.
IEEE Big Data
Marco Becattini, Roberto Verdecchia, Enrico Vicario
2025 B conf
Analytical Characterization and Efficient Simulation of Batched Arrivals in the Kafka Broker.
MASCOTS
András Horváth, Marco Paolieri, Benedetta Picano, Enrico Vicario
2025 J jnl
Approximation of cumulative distribution functions by Bernstein phase-type distributions.
Perform. Evaluation
András Horváth, Illés Horváth, Marco Paolieri, Miklós Telek, Enrico Vicario
2025 J jnl
Compositional Coordinated Resource Provisioning in Workflows With Stochastic Durations.
IEEE Trans. Parallel Distributed Syst.
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
2025 J jnl
Cost-Effective Software Rejuvenation Combining Time-Based and Inspection-Based Policies.
IEEE Trans. Emerg. Top. Comput.
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
2025 C conf
Determination of Hands-Off Detection Timespan Based on Asymmetric Nash Bargaining.
QRS
Zhijie Feng, Siwei Zhou, Luyao Ye, Enrico Vicario, Jianwen Xiang
2025 — conf
Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections.
RSSRail
Nicola Bertocci, Laura Carnevali, Leonardo Scommegna, Enrico Vicario
2025 J jnl
Evolution of code technical debt in microservices architectures.
J. Syst. Softw.
Kevin Maggi, Roberto Verdecchia, Leonardo Scommegna, Enrico Vicario
2025 J jnl
FaultFlow: An MDE Library for Dependability Evaluation of Component-Based Systems.
IEEE Trans. Dependable Secur. Comput.
Laura Carnevali, Stefania Cerboni, Leonardo Montecchi, Enrico Vicario
2025 — conf
Green AI: Which Programming Language Consumes the Most?
GREENS@ICSE
Niccolò Marini, Leonardo Pampaloni, Filippo Di Martino, Roberto Verdecchia, Enrico Vicario
2025 J jnl
Green AI: Which Programming Language Consumes the Most?
CoRR
Niccolò Marini, Leonardo Pampaloni, Filippo Di Martino, Roberto Verdecchia, Enrico Vicario
2025 J jnl
OREO: A tool-supported approach for offline run-time monitoring and fault-error-failure chain localization.
J. Syst. Softw.
Leonardo Scommegna, Benedetta Picano, Roberto Verdecchia, Enrico Vicario
2025 — conf
Quantitative Modeling and Evaluation of Software Aging and Rejuvenation in Microservices.
ISSREW
Leonardo Scommegna, Alberto Avritzer, Laura Carnevali, Enrico Vicario
2025 — conf
SALLMA: A Software Architecture for LLM-Based Multi-Agent Systems.
SATrends@ICSE
Marco Becattini, Roberto Verdecchia, Enrico Vicario
2025 — conf
The Pyramis Library: Efficient Numerical Evaluation of Hierarchical UML Statecharts Applied to Stochastic Workflows.
EPEW
Laura Carnevali, Reinhard German, Leonardo Montecchi, Leonardo Scommegna, Enrico Vicario
2024 A conf
A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems.
ISSRE
Leonardo Paroli, Tommaso Botarelli, Laura Carnevali, Enrico Vicario
2024 Misc conf
An observation metamodel for dependability tools.
EDCC
Laura Carnevali, Stefania Cerboni, Benedetta Picano, Leonardo Scommegna, Enrico Vicario
2024 — conf
Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions.
QEST+FORMATS
András Horváth, Illés Horváth, Marco Paolieri, Miklós Telek, Enrico Vicario
2024 — conf
Approximation of First Passage Time Distributions of Compositions of Independent Markov Chains.
EPEW
András Horváth, Marco Paolieri, Enrico Vicario
2024 B conf
Architectural Views: The State of Practice in Open-Source Software Projects.
ECSA
Sofia Migliorini, Roberto Verdecchia, Ivano Malavolta, Patricia Lago, Enrico Vicario
2024 A conf
CLAIM: a Lightweight Approach to Identify Microservices in Dockerized Environments.
EASE
Kevin Maggi, Roberto Verdecchia, Leonardo Scommegna, Enrico Vicario
2024 C conf
Democratized Learning Enabling Multi-Level Digital Twin Model Integration.
ETFA
Benedetta Picano, Marco Becattini, Laura Carnevali, Enrico Vicario
2024 — conf
Edge to Cloud Network Function Offloading in the ADAPTO Framework.
AINA (5)
Alessio Botta, Roberto Canonico, Annalisa Navarro, Giovanni Stanco, Giorgio Ventre, Antonio Buonocunto, Antonio Fresa, Vincenzo Gentile, Leonardo Scommegna, Enrico Vicario
2024 J jnl
Efficient derivation of optimal signal schedules for multimodal intersections.
Simul. Model. Pract. Theory
Nicola Bertocci, Laura Carnevali, Leonardo Scommegna, Enrico Vicario
2024 — conf
Elastic Autoscaling for Distributed Workflows in MEC Networks.
AINA (5)
Benedetta Picano, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
2024 A conf
Learning Programming without Teachers: An Ongoing Ethnographic Study at 42.
EASE
Nicolò Pollini, Kevin Maggi, Roberto Verdecchia, Enrico Vicario
2024 J jnl
Network Digital Twins: A Systematic Review.
IEEE Access
Roberto Verdecchia, Leonardo Scommegna, Benedetta Picano, Marco Becattini, Enrico Vicario
2024 — conf
Quantitative evaluation of software rejuvenation of a pool of service replicas.
ISSRE (Workshops)
Leonardo Scommegna, Marco Becattini, Giovanni Fontani, Leonardo Paroli, Enrico Vicario
2024 — conf
The Omnibus Java Library: Efficient Synthesis of Optimal Signal Schedules for Multimodal Intersections.
EPEW
Nicola Bertocci, Laura Carnevali, Leonardo Scommegna, Enrico Vicario
2024 — conf
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation.
QEST+FORMATS
Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario
2024 J jnl
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation.
CoRR
Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario
2024 J jnl
Unveiling Faulty User Sequences: A Model-Based Approach to Test Three-Tier Software Architectures.
J. Syst. Softw.
Leonardo Scommegna, Roberto Verdecchia, Enrico Vicario
2023 — conf
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows.
EPEW
Laura Carnevali, Marco Paolieri, Benedetta Picano, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
2023 J jnl
An Efficient Flows Dispatching Scheme for Tardiness Minimization of Data-Intensive Applications in Heterogeneous Systems.
IEEE Trans. Netw. Sci. Eng.
Benedetta Picano, Enrico Vicario, Romano Fantacci
2023 J jnl
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows.
ACM Trans. Model. Comput. Simul.
Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario
2023 — conf
Construction of Phase Type Distributions by Bernstein Exponentials.
EPEW
András Horváth, Enrico Vicario
2023 — conf
Designing a Future-Proof Reference Architecture for Network Digital Twins.
ECSA (Tracks, Workshops and Doctoral Symposium)
Roberto Verdecchia, Leonardo Scommegna, Enrico Vicario, Tommaso Pecorella
2023 J jnl
Echo State Learning for User Trajectory Prediction to Minimize Online Game Breaks in 6G Terahertz Networks.
J. Sens. Actuator Networks
Benedetta Picano, Leonardo Scommegna, Enrico Vicario, Romano Fantacci
2023 — conf
Equilibrium Analysis of Markov Regenerative Processes.
QEST
András Horváth, Marco Paolieri, Enrico Vicario
2023 C ed.
Proceedings of the 37th ECMS International Conference on Modelling and Simulation, ECMS 2023, Florence, Italy, June 20-23, 2023.
ECMS
Enrico Vicario, Romeo Bandinelli, Virginia Fani, Michele Mastroianni
2023 — conf
Technical Debt in Microservices: A Mixed-Method Case Study.
ECSA (Tracks, Workshops and Doctoral Symposium)
Roberto Verdecchia, Kevin Maggi, Leonardo Scommegna, Enrico Vicario
2022 — conf
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction.
ISSRE Workshops
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
2022 J jnl
Compositional Analysis of Hierarchical UML Statecharts.
IEEE Trans. Software Eng.
Laura Carnevali, Reinhard German, Francesco Santoni, Enrico Vicario
2022 — conf
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows.
QEST
Laura Carnevali, Riccardo Reali, Enrico Vicario
2022 J jnl
Human Activity Recognition Data Analysis: History, Evolutions, and New Trends.
Sensors
Paola Patricia Ariza-Colpas, Enrico Vicario, Ana Isabel Oviedo Carrascal, Shariq Aziz Butt, Marlon Alberto Piñeres-Melo, Alejandra Quintero-Linero, Fulvio Patara
2022 J jnl
Learning Dynamics and Control of a Stochastic System under Limited Sensing Capabilities.
Sensors
Mohammad Amin Zadenoori, Enrico Vicario
2022 — conf
Semi-supervised Adaptive Method for Human Activities Recognition (HAR).
CISIM
Fabio Mendoza Palechor, Enrico Vicario, Fulvio Patara, Alexis De la Hoz Manotas, Diego Molina-Estren
2022 J jnl
The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems.
SIGMETRICS Perform. Evaluation Rev.
Laura Carnevali, Marco Paolieri, Enrico Vicario
2022 — conf
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics.
EPEW
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Federico Tammaro, Enrico Vicario
2021 J jnl
A framework for Model-Driven Engineering of resilient software-controlled systems.
Computing
Jacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario
2021 B conf
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services.
ICPE
Laura Carnevali, Riccardo Reali, Enrico Vicario
2021 — conf
Compositional Safe Approximation of Response Time Distribution of Complex Workflows.
QEST
Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario
2021 — conf
Evaluation of software aging in component-based Web Applications subject to soft errors over time.
ISSRE Workshops
Jacopo Parri, Samuele Sampietro, Leonardo Scommegna, Enrico Vicario
2021 Misc conf
FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis.
EDCC
Jacopo Parri, Samuele Sampietro, Enrico Vicario
2021 J jnl
Quantitative Analysis of the Dynamic Relevance of Systems.
IEEE Trans. Reliab.
Luyao Ye, Dongdong Zhao, Jianwen Xiang, Laura Carnevali, Enrico Vicario
2021 J jnl
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems.
IEEE Trans. Software Eng.
Marco Paolieri, Marco Biagi, Laura Carnevali, Enrico Vicario
2020 J jnl
Performability Evaluation of Water Distribution Systems During Maintenance Procedures.
IEEE Trans. Syst. Man Cybern. Syst.
Laura Carnevali, Fabio Tarani, Enrico Vicario
2020 J jnl
Stochastic modeling and analysis of road-tramway intersections.
Innov. Syst. Softw. Eng.
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
2020 J jnl
Unsupervised Human Activity Recognition Using the Clustering Approach: A Review.
Sensors
Paola Ariza Colpas, Enrico Vicario, Emiro De la Hoz-Franco, Marlon Piñeres Melo, Ana Isabel Oviedo Carrascal, Fulvio Patara
2019 J jnl
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments.
IEEE Trans. Hum. Mach. Syst.
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
2019 J jnl
Connecting People, Services, and Data for Continuity of Care.
ERCIM News
Fulvio Patara, Enrico Vicario
2019 — ch.
Flood Resilience of a Water Distribution System.
Resilience of Cyber-Physical Systems
Fabio Tarani, Chiara Arrighi, Laura Carnevali, Fabio Castelli, Enrico Vicario
2019 — conf
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems.
SERENE
Jacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario
2019 A conf
Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios.
ISSRE
Laura Carnevali, Francesco Santoni, Enrico Vicario
2019 J jnl
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks.
ACM Trans. Cyber Phys. Syst.
Marco Biagi, Laura Carnevali, Fabio Tarani, Enrico Vicario
2018 C conf
Analysis of a Road/Tramway Intersection by the ORIS Tool.
VECoS
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
2018 J jnl
Deploying Digital Twins in a Lambda Architecture for Industry 4.0.
ERCIM News
Jacopo Parri, Samuele Sampietro, Enrico Vicario
2018 C conf
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow.
ETFA
Marco Biagi, Laura Carnevali, Kumiko Tadano, Enrico Vicario
2018 — conf
Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions.
EPEW
Marco Biagi, Enrico Vicario, Reinhard German
2018 — conf
Hospital Inventory Management Through Markov Decision Processes @runtime.
QEST
Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario
2018 — ed.
New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
InfQ@VALUETOOLS
Simonetta Balsamo, Andrea Marin, Enrico Vicario
2017 — conf
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines.
EPEW
Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario
2017 — conf
An introduction to the ORIS tool.
VALUETOOLS
Marco Biagi, Laura Carnevali, Enrico Vicario, Marco Paolieri
2017 — conf
Engineering the Performance of a Meta-modeling Architecture.
ICPE Companion
Sara Fioravanti, Fulvio Patara, Enrico Vicario
2017 — conf
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes.
QEST
Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario
2017 J jnl
Guest Editorial: Special issue on formal modeling and analysis of timed systems.
Real Time Syst.
Marco Paolieri, Sriram Sankaranarayanan, Enrico Vicario
2016 — conf
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling.
EPEW
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
2016 — conf
Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios.
EPEW
Sandro Mehic, Kumiko Tadano, Enrico Vicario
2016 B conf
Experimental Performance Evaluation of different Data Models for a Reflection Software Architecture over NoSQL Persistence Layers.
ICPE
Sara Fioravanti, Simone Mattolini, Fulvio Patara, Enrico Vicario
2016 B conf
Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes.
MASCOTS
Stefano Martina, Marco Paolieri, Tommaso Papini, Enrico Vicario
2016 J jnl
Probabilistic Model Checking of Regenerative Concurrent Systems.
IEEE Trans. Software Eng.
Marco Paolieri, András Horváth, Enrico Vicario
2015 — conf
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living.
QEST
Laura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario
2015 — ed.
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
FORMATS
Sriram Sankaranarayanan, Enrico Vicario
2015 — conf
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3.
EPEW
Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario
2015 C conf
Recommendations for the Creation of Datasets in Support of Data Driven Activity Recognition Models.
ICOST
Fulvio Patara, Chris D. Nugent, Enrico Vicario
2015 J jnl
Supporting SW-FMEA through an ontology-based methodology.
Int. J. Crit. Comput. Based Syst.
Irene Bicchierai, Giacomo Bucci, Enrico Vicario
2014 — conf
An adaptable patient-centric electronic health record system for personalized home care.
ISMICT
Fulvio Patara, Enrico Vicario
2014 — conf
Dynamic Adaptation of EHR Structure for Automated Compliance Evaluation.
MIE
Fulvio Patara, Enrico Vicario
2014 — conf
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters.
SAFECOMP Workshops
Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano
2014 — conf
Multi-source Context Data Representation and Distribution in an ICT Tool for Autism Treatment.
UCAmI
Federico Cruciani, Mark P. Donnelly, Leo Galway, Francesco Foresti, Cristiano Paggetti, Enrico Vicario
2014 — conf
Survivability Evaluation of Gas, Water and Electricity Infrastructures.
PASM
Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario
2013 J jnl
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems.
IEEE Trans. Software Eng.
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2013 J jnl
An On-line system for automated recognition of human activities.
Eur. J. Law Technol.
Alessandro Fantechi, Chris D. Nugent, Alessandro Pinzuti, Enrico Vicario, Tommaso Magherini
2013 J jnl
Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study.
IEEE Trans. Ind. Informatics
Irene Bicchierai, Giacomo Bucci, Laura Carnevali, Enrico Vicario
2013 J jnl
Compositional Verification for Hierarchical Scheduling of Real-Time Systems.
IEEE Trans. Software Eng.
Laura Carnevali, Alessandro Pinzuti, Enrico Vicario
2013 B conf
Non-markovian analysis for model driven engineering of real-time software.
ICPE
Laura Carnevali, Marco Paolieri, Alessandro Santoni, Enrico Vicario
2013 — conf
Quantitative evaluation of availability measures of gas distribution networks.
VALUETOOLS
Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario
2013 — conf
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.
EPEW
Laura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario
2013 — conf
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes.
QEST
Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario
2013 Misc conf
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems.
Ada-Europe
Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
2013 J jnl
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living.
IEEE Trans. Hum. Mach. Syst.
Tommaso Magherini, Alessandro Fantechi, Chris D. Nugent, Enrico Vicario
2012 B conf
An Ontological Approach to Systematization of SW-FMEA.
SAFECOMP
Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
2012 J jnl
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm.
IEEE Softw.
Lorenzo Ridi, Jacopo Torrini, Enrico Vicario
2012 — conf
Integrating metrics in an ontological framework supporting SW-FMEA.
WETSoM
Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario
2012 J jnl
Transient analysis of non-Markovian models using stochastic state classes.
Perform. Evaluation
András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario
2011 Misc conf
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.
Ada-Europe
Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario
2011 B conf
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models.
SAFECOMP
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2011 — conf
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters.
VALUETOOLS
Laura Carnevali, Johnny Giuntini, Enrico Vicario
2011 — conf
Ontologies and Bayesian Networks in Medical Diagnosis.
HICSS
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
2011 — conf
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.
QEST
András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario
2011 J jnl
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.
IEEE Trans. Software Eng.
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2011 B conf
Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System.
SAFECOMP
Federico Cruciani, Enrico Vicario
2011 — conf
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.
QEST
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2010 C conf
Ontology-Driven Enterprise Application Integration.
SEKE
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
2010 J jnl
Oris: a tool for modeling, verification and evaluation of real-time systems.
Int. J. Softw. Tools Technol. Transf.
Giacomo Bucci, Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2010 — conf
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes.
QEST
András Horváth, Lorenzo Ridi, Enrico Vicario
2009 — conf
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets.
QEST
András Horváth, Enrico Vicario
2009 C conf
Automatic Code Generation from Real-Time Systems Specifications.
IEEE International Workshop on Rapid System Prototyping
Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario
2009 J jnl
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.
IEEE Trans. Software Eng.
Laura Carnevali, Leonardo Grassi, Enrico Vicario
2009 C conf
Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems.
ETFA
Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2009 J jnl
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems.
IEEE Trans. Software Eng.
Enrico Vicario, Luigi Sassoli, Laura Carnevali
2008 Misc conf
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets.
Ada-Europe
Laura Carnevali, Leonardo Grassi, Enrico Vicario
2008 — conf
A Tool Supporting Evaluation of Non-markovian Fault Trees.
QEST
Giacomo Bucci, Laura Carnevali, Enrico Vicario
2008 — conf
An Incremental Approach to Software Reengineering Based on Object-Data Mapping.
ICSOFT (SE/MUSE/GSDCA)
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
2008 — conf
Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes.
QEST
Enrico Vicario
2007 C conf
A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring.
ICOST
Alberto Rugnone, Francesco Poli, Enrico Vicario, Chris D. Nugent, Elena Tamburini, Cristiano Paggetti
2007 — conf
An Ontological SW Architecture Supporting Agile Development of Semantic Portals.
ICSOFT/ENASE (Selected Papers)
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario
2007 — conf
An Ontological SW Architecture for the Development of Cooperative Web Portals.
ICSOFT (SE)
Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario, Saverio Mecca
2007 B conf
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.
ECRTS
Laura Carnevali, Luigi Sassoli, Enrico Vicario
2007 — conf
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models.
QEST
Luigi Sassoli, Enrico Vicario
2007 — conf
HomeTL: A visual formalism, based on temporal logic, for the design of home based care.
CASE
Alberto Rugnone, Enrico Vicario, Chris D. Nugent, Mark P. Donnelly, David Craig, Cristiano Paggetti, Elena Tamburini
2007 C conf
Sensitization of symbolic runs in real-time testing using the ORIS tool.
ETFA
Laura Carnevali, Luigi Sassoli, Enrico Vicario
2007 — conf
Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation.
ICSOFT (PL/DPS/KE/MUSE)
Fabrizio Baldini, Giacomo Bucci, Leonardo Grassi, Enrico Vicario
2006 — conf
Analysis of Real Time Systems through the ORIS Tool.
QEST
Luigi Sassoli, Enrico Vicario
2005 — conf
A Tool Set for Modeling and Simulation of Robotic Workcells.
FIRB-Perf
Fabrizio Baldini, Giacomo Bucci, Enrico Vicario
2005 J jnl
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.
IEEE Trans. Software Eng.
Giacomo Bucci, Luigi Sassoli, Enrico Vicario
2005 — conf
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems.
QEST
Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario
2004 — conf
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.
QEST
Giacomo Bucci, Luigi Sassoli, Enrico Vicario
2004 J jnl
Timed State Space Analysis of Real-Time Preemptive Systems.
IEEE Trans. Software Eng.
Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
2003 — conf
A discrete time model for performance evaluation and correctness verification of real time systems.
PNPM
Giacomo Bucci, Luigi Sassoli, Enrico Vicario
2003 B conf
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.
ECRTS
Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario
2003 C conf
Predicting Timeliness of Reactive Systems under Flexible Scheduling.
ISADS
Giacomo Bucci, Andrea Fedeli, Enrico Vicario
2003 — conf
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools.
SDL Forum
Giacomo Bucci, Andrea Fedeli, Enrico Vicario
2003 J jnl
Weighted walkthroughs between extended entities for retrieval by spatial arrangement.
IEEE Trans. Multim.
Stefano Berretti, Alberto Del Bimbo, Enrico Vicario
2002 J jnl
Spatial arrangement of color in retrieval by visual similarity.
Pattern Recognit.
Stefano Berretti, Alberto Del Bimbo, Enrico Vicario
2002 J jnl
Using 3D and Ancillary Media to Train Construction Workers.
IEEE Multim.
Jürgen Assfalg, Alberto Del Bimbo, Enrico Vicario
2001 J jnl
Efficient Matching and Indexing of Graph Models in Content-Based Retrieval.
IEEE Trans. Pattern Anal. Mach. Intell.
Stefano Berretti, Alberto Del Bimbo, Enrico Vicario
2001 J jnl
Engineering the Usability of a Visual Formalism for Real-time Temporal Logic.
J. Vis. Lang. Comput.
Enrico Vicario
2001 J jnl
Modelling Spatial Relationships between Colour Clusters.
Pattern Anal. Appl.
Stefano Berretti, Alberto Del Bimbo, Enrico Vicario
2001 A conf
Spatial Arrangement Of Color Flows For Video Retrieval.
ICME
Alberto Del Bimbo, Enrico Vicario, Pietro Pala
2001 J jnl
Static Analysis and Dynamic Steering of Time-Dependent Systems.
IEEE Trans. Software Eng.
Enrico Vicario
2000 A conf
A Look-Ahead Strategy for Graph Matching in Retrieval by Spatial Arrangement.
IEEE International Conference on Multimedia and Expo (III)
Stefano Berretti, Alberto Del Bimbo, Enrico Vicario
2000 B conf
The Computational Aspect of Retrieval by Spatial Arrangement.
ICPR
Stefano Berretti, Alberto Del Bimbo, Enrico Vicario
1999 — conf
A Virtual Environment for Construction Workers Instruction and Training.
ICMCS, Vol. 2
G. Arcangeli, Jürgen Assfalg, R. Tartaglia, Enrico Vicario
1999 J jnl
A Visual Formalism for Computational Tree Logic.
J. Vis. Lang. Comput.
Alberto Del Bimbo, Enrico Vicario
1999 — conf
Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project.
ICMCS, Vol. 2
Jürgen Assfalg, C. Leveque, Marc Mautref, P. Neel, Libero Nigro, M. Philippou, Jean-Michel Tanneau, Enrico Vicario, G. Zardetto
1999 Misc conf
Managing the Complexity of Match in Retrieval by Spatial Arrangement.
ICIAP
Stefano Berretti, Alberto Del Bimbo, Enrico Vicario
1999 — conf
Weighting Spatial Arrangement of Colors in Content Based Image Retrieval.
ICMCS, Vol. 1
Stefano Berretti, Alberto Del Bimbo, Enrico Vicario
1998 J jnl
3D Navigation of Geographic Data Sets.
IEEE Multim.
Ricardo Camiciottoli, Jacopo M. Corridoni, Alberto Del Bimbo, Enrico Vicario, Dario Lucarella
1998 — conf
Design and Evaluation of a Visual Formalism for Real Time Logics.
Services and Visualization: Towards User-Friendly Design
M. Lusini, Enrico Vicario
1998 B conf
Engineering the usability of visual formalisms: a case study in real time logics.
AVI
M. Lusini, Enrico Vicario
1998 J jnl
Image Retrieval by Color Semantics with Incomplete Knowledge.
J. Am. Soc. Inf. Sci.
Jacopo M. Corridoni, Alberto Del Bimbo, Enrico Vicario
1998 — ch.
Painting Retrieval Based on Color Semantics.
Image Databases and Multi-Media Search
Jacopo M. Corridoni, Alberto Del Bimbo, Enrico Vicario
1998 — conf
Weighting Spatial Relationships in Retrieval by Visual Contents.
VDB
Alberto Del Bimbo, Enrico Vicario
1997 — conf
Weighted Walkthroughs in Retrieval by Content of Pictorial Data.
ICIAP (2)
Enrico Vicario, Wen Xue He
1996 — conf
A Visual Language for Color-Based Painting Retrieval.
VL
Jacopo M. Corridoni, Alberto Del Bimbo, Silvio De Magistris, Enrico Vicario
1996 J jnl
Visual Programming of Virtual Worlds Animation.
IEEE Multim.
Alberto Del Bimbo, Enrico Vicario
1995 C conf
Automatic transition from rapid prototyping to target code for distributed systems.
ISADS
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
1995 J jnl
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.
IEEE Trans. Software Eng.
Giacomo Bucci, Enrico Vicario
1995 — conf
Iconic Retrievial by Contents from Databases of Cardiological Sequences.
VDB
Alberto Del Bimbo, Gianfranco Congiu, Enrico Vicario
1995 J jnl
Specification by-Example of Virtual Agents Behavior.
IEEE Trans. Vis. Comput. Graph.
Alberto Del Bimbo, Enrico Vicario
1995 J jnl
Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic.
IEEE Trans. Knowl. Data Eng.
Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni
1995 Misc conf
Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations.
ICIAP
Maurizio Baroni, Gianfranco Congiu, Alberto Del Bimbo, A. Evangelisti, Enrico Vicario
1995 — conf
Visual Specification of Branching Time Temporal Logic.
VL
Alberto Del Bimbo, Luigi Rella, Enrico Vicario
1994 J jnl
A Spatial Logic for Symbolic Description of Image Contents.
J. Vis. Lang. Comput.
Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni
1994 — conf
An Interactive Environement for the Visual Programming of Virtual Agents.
VL
Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni
1994 B conf
Interactive Training of Virtual Agents.
Advanced Visual Interfaces
Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni
1994 C conf
Supporting Process Migration Through Communicating Petri Nets.
PDP
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
1994 J jnl
Transport measurements over an Ethernet LAN.
IEEE Trans. Commun.
Alberto Del Bimbo, Enrico Vicario
1993 C conf
A framework for the development of object-oriented distributed systems.
ISADS
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
1993 — conf
Sequence Retrieval by Contents through Spatio Temporal Indexing.
VL
Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni
1993 C conf
Using communicating Petri nets to implement parallel computation in single-tasking operating systems.
PDP
Giacomo Bucci, Riccardo Mattolini, Enrico Vicario
1993 — conf
Visual Specification of Virtual Worlds.
VL
Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni
1992 — conf
A Spatio-temporal Logic for Image Sequence Coding and Retrieval.
VL
Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni
1992 C conf
Rapid prototyping through communicating Petri nets.
RSP
Giacomo Bucci, Enrico Vicario
1992 J jnl
TCP/IP measured performance over an ethernet local network.
Eur. Trans. Telecommun.
Alessandro Braccini, Alberto Del Bimbo, Enrico Vicario, Vito Cappellini
1991 J jnl
Interprocess Communication Dependency on Network Load.
IEEE Trans. Software Eng.
Alessandro Braccini, Alberto Del Bimbo, Enrico Vicario