Enrico Vicario

According to our database1, Enrico Vicario authored at least 129 papers between 1991 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Performability Evaluation of Water Distribution Systems During Maintenance Procedures.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Unsupervised Human Activity Recognition Using the Clustering Approach: A Review.
Sensors, 2020

Stochastic modeling and analysis of road-tramway intersections.
Innov. Syst. Softw. Eng., 2020

2019
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments.
IEEE Trans. Hum. Mach. Syst., 2019

Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks.
ACM Trans. Cyber Phys. Syst., 2019

Connecting People, Services, and Data for Continuity of Care.
ERCIM News, 2019

JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems.
Proceedings of the Software Engineering for Resilient Systems, 2019

Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Flood Resilience of a Water Distribution System.
Proceedings of the Resilience of Cyber-Physical Systems, 2019

2018
Deploying Digital Twins in a Lambda Architecture for Industry 4.0.
ERCIM News, 2018

Analysis of a Road/Tramway Intersection by the ORIS Tool.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Hospital Inventory Management Through Markov Decision Processes @runtime.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions.
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017
Guest Editorial: Special issue on formal modeling and analysis of timed systems.
Real Time Syst., 2017

Engineering the Performance of a Meta-modeling Architecture.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

An introduction to the ORIS tool.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines.
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

2016
Probabilistic Model Checking of Regenerative Concurrent Systems.
IEEE Trans. Software Eng., 2016

Experimental Performance Evaluation of different Data Models for a Reflection Software Architecture over NoSQL Persistence Layers.
Proceedings of the 7th ACM/SPEC International Conference on Performance Engineering, 2016

Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes.
Proceedings of the 24th IEEE International Symposium on Modeling, 2016

Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios.
Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling.
Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

2015
Supporting SW-FMEA through an ontology-based methodology.
Int. J. Crit. Comput. Based Syst., 2015

Survivability Evaluation of Gas, Water and Electricity Infrastructures.
Electron. Notes Theor. Comput. Sci., 2015

A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Recommendations for the Creation of Datasets in Support of Data Driven Activity Recognition Models.
Proceedings of the Inclusive Smart Cities and e-Health, 2015

Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014
Multi-source Context Data Representation and Distribution in an ICT Tool for Autism Treatment.
Proceedings of the Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services, 2014

Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Dynamic Adaptation of EHR Structure for Automated Compliance Evaluation.
Proceedings of the e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31, 2014

An adaptable patient-centric electronic health record system for personalized home care.
Proceedings of the 8th International Symposium on Medical Information and Communication Technology, 2014

2013
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems.
IEEE Trans. Software Eng., 2013

Compositional Verification for Hierarchical Scheduling of Real-Time Systems.
IEEE Trans. Software Eng., 2013

Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study.
IEEE Trans. Ind. Informatics, 2013

Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living.
IEEE Trans. Hum. Mach. Syst., 2013

An On-line system for automated recognition of human activities.
Eur. J. Law Technol., 2013

Non-markovian analysis for model driven engineering of real-time software.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Quantitative evaluation of availability measures of gas distribution networks.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems.
Proceedings of the Reliable Software Technologies, 2013

2012
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm.
IEEE Softw., 2012

Transient analysis of non-Markovian models using stochastic state classes.
Perform. Evaluation, 2012

An Ontological Approach to Systematization of SW-FMEA.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Integrating metrics in an ontological framework supporting SW-FMEA.
Proceedings of the 3rd International Workshop on Emerging Trends in Software Metrics, 2012

2011
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle.
IEEE Trans. Software Eng., 2011

A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters.
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System.
Proceedings of the Computer Safety, Reliability, and Security, 2011

A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Ontologies and Bayesian Networks in Medical Diagnosis.
Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010
Oris: a tool for modeling, verification and evaluation of real-time systems.
Int. J. Softw. Tools Technol. Transf., 2010

Ontology-Driven Enterprise Application Integration.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes.
Proceedings of the QEST 2010, 2010

2009
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems.
IEEE Trans. Software Eng., 2009

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models.
IEEE Trans. Software Eng., 2009

Automatic Code Generation from Real-Time Systems Specifications.
Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009

Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets.
Proceedings of the QEST 2009, 2009

Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008
Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

A Tool Supporting Evaluation of Non-markovian Fault Trees.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

An Incremental Approach to Software Reengineering Based on Object-Data Mapping.
Proceedings of the ICSOFT 2008, 2008

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets.
Proceedings of the Reliable Software Technologies, 2008

2007
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

An Ontological SW Architecture for the Development of Cooperative Web Portals.
Proceedings of the ICSOFT 2007, 2007

An Ontological SW Architecture Supporting Agile Development of Semantic Portals.
Proceedings of the Software and Data Technologies - Second International Conference, 2007

Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation.
Proceedings of the ICSOFT 2007, 2007

A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring.
Proceedings of the Pervasive Computing for Quality of Life Enhancement, 2007

Sensitization of symbolic runs in real-time testing using the ORIS tool.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

HomeTL: A visual formalism, based on temporal logic, for the design of home based care.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006
Analysis of Real Time Systems through the ORIS Tool.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.
IEEE Trans. Software Eng., 2005

Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

A Tool Set for Modeling and Simulation of Robotic Workcells.
Proceedings of the FIRB-Perf Workshop on Techniques, 2005

2004
Timed State Space Analysis of Real-Time Preemptive Systems.
IEEE Trans. Software Eng., 2004

ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

2003
Weighted walkthroughs between extended entities for retrieval by spatial arrangement.
IEEE Trans. Multim., 2003

Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools.
Proceedings of the SDL 2003: System Design, 2003

A discrete time model for performance evaluation and correctness verification of real time systems.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003

Predicting Timeliness of Reactive Systems under Flexible Scheduling.
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

Modeling Flexible Real Time Systems with Preemptive Time Petri Nets.
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

2002
Spatial arrangement of color in retrieval by visual similarity.
Pattern Recognit., 2002

Using 3D and Ancillary Media to Train Construction Workers.
IEEE Multim., 2002

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

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

Efficient Matching and Indexing of Graph Models in Content-Based Retrieval.
IEEE Trans. Pattern Anal. Mach. Intell., 2001

Modelling Spatial Relationships between Colour Clusters.
Pattern Anal. Appl., 2001

Spatial Arrangement Of Color Flows For Video Retrieval.
Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, 2001

2000
The Computational Aspect of Retrieval by Spatial Arrangement.
Proceedings of the 15th International Conference on Pattern Recognition, 2000

A Look-Ahead Strategy for Graph Matching in Retrieval by Spatial Arrangement.
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

1999
A Visual Formalism for Computational Tree Logic.
J. Vis. Lang. Comput., 1999

Weighting Spatial Arrangement of Colors in Content Based Image Retrieval.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

A Virtual Environment for Construction Workers Instruction and Training.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Managing the Complexity of Match in Retrieval by Spatial Arrangement.
Proceedings of the 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 1999

1998
Painting Retrieval Based on Color Semantics.
Proceedings of the Image Databases and Multi-Media Search, 1998

Image Retrieval by Color Semantics with Incomplete Knowledge.
J. Am. Soc. Inf. Sci., 1998

3D Navigation of Geographic Data Sets.
IEEE Multim., 1998

Weighting Spatial Relationships in Retrieval by Visual Contents.
Proceedings of the Visual Database Systems 4 (VDB4), 1998

Design and Evaluation of a Visual Formalism for Real Time Logics.
Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

Engineering the usability of visual formalisms: a case study in real time logics.
Proceedings of the working conference on Advanced visual interfaces 1998, L'Aquila, Italy, May 24, 1998

1997
Weighted Walkthroughs in Retrieval by Content of Pictorial Data.
Proceedings of the Image Analysis and Processing, 9th International Conference, 1997

1996
Visual Programming of Virtual Worlds Animation.
IEEE Multim., 1996

A Visual Language for Color-Based Painting Retrieval.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

1995
Specification by-Example of Virtual Agents Behavior.
IEEE Trans. Vis. Comput. Graph., 1995

Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.
IEEE Trans. Software Eng., 1995

Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic.
IEEE Trans. Knowl. Data Eng., 1995

Visual Specification of Branching Time Temporal Logic.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Iconic Retrievial by Contents from Databases of Cardiological Sequences.
Proceedings of the Visual Database Systems 3, 1995

Automatic transition from rapid prototyping to target code for distributed systems.
Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations.
Proceedings of the Image Analysis and Processing, 8th International Conference, 1995

1994
A Spatial Logic for Symbolic Description of Image Contents.
J. Vis. Lang. Comput., 1994

Transport measurements over an Ethernet LAN.
IEEE Trans. Commun., 1994

An Interactive Environement for the Visual Programming of Virtual Agents.
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

Supporting Process Migration Through Communicating Petri Nets.
Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

Interactive Training of Virtual Agents.
Proceedings of the Workshop on Advanced Visual Interfaces, 1994

1993
Visual Specification of Virtual Worlds.
Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Sequence Retrieval by Contents through Spatio Temporal Indexing.
Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Using communicating Petri nets to implement parallel computation in single-tasking operating systems.
Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

A framework for the development of object-oriented distributed systems.
Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

1992
TCP/IP measured performance over an ethernet local network.
Eur. Trans. Telecommun., 1992

A Spatio-temporal Logic for Image Sequence Coding and Retrieval.
Proceedings of the 1992 IEEE Workshop on Visual Languages, 1992

Rapid prototyping through communicating Petri nets.
Proceedings of the Third International Workshop on Rapid System Prototyping, 1992

1991
Interprocess Communication Dependency on Network Load.
IEEE Trans. Software Eng., 1991


  Loading...