default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEnrico Vicario
Person information
- affiliation: University of Florence, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j52]Roberto Verdecchia
, Leonardo Scommegna, Benedetta Picano, Marco Becattini, Enrico Vicario:
Network Digital Twins: A Systematic Review. IEEE Access 12: 145400-145416 (2024)- [j51]Leonardo Scommegna, Roberto Verdecchia, Enrico Vicario:
Unveiling Faulty User Sequences: A Model-Based Approach to Test Three-Tier Software Architectures. J. Syst. Softw. 212: 112015 (2024) - [j50]Nicola Bertocci, Laura Carnevali, Leonardo Scommegna, Enrico Vicario:
Efficient derivation of optimal signal schedules for multimodal intersections. Simul. Model. Pract. Theory 133: 102912 (2024) - [c108]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: 69-78 - [c107]Benedetta Picano, Riccardo Reali, Leonardo Scommegna, Enrico Vicario:
Elastic Autoscaling for Distributed Workflows in MEC Networks. AINA (5) 2024: 151-160 - [c106]Kevin Maggi, Roberto Verdecchia, Leonardo Scommegna, Enrico Vicario:
CLAIM: a Lightweight Approach to Identify Microservices in Dockerized Environments. EASE 2024: 357-362 - [c105]Nicolò Pollini, Kevin Maggi, Roberto Verdecchia, Enrico Vicario:
Learning Programming without Teachers: An Ongoing Ethnographic Study at 42. EASE 2024: 590-594 - [c104]Sofia Migliorini, Roberto Verdecchia, Ivano Malavolta, Patricia Lago, Enrico Vicario:
Architectural Views: The State of Practice in Open-Source Software Projects. ECSA 2024: 396-415 - [c103]Laura Carnevali, Stefania Cerboni, Benedetta Picano, Leonardo Scommegna, Enrico Vicario:
An observation metamodel for dependability tools. EDCC 2024: 169-172 - [c102]Benedetta Picano, Marco Becattini, Laura Carnevali, Enrico Vicario:
Democratized Learning Enabling Multi-Level Digital Twin Model Integration. ETFA 2024: 1-8 - [c101]András Horváth, Illés Horváth, Marco Paolieri, Miklós Telek, Enrico Vicario:
Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions. QEST+FORMATS 2024: 90-106 - [c100]Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario:
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. QEST+FORMATS 2024: 213-232 - [i3]Gabriel Dengler, Laura Carnevali, Carlos E. Budde, Enrico Vicario:
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. CoRR abs/2406.16447 (2024) - 2023
- [j49]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): 58 (2023) - [j48]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): 3232-3241 (2023) - [j47]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): 16:1-16:26 (2023) - [c99]Roberto Verdecchia, Kevin Maggi, Leonardo Scommegna, Enrico Vicario:
Technical Debt in Microservices: A Mixed-Method Case Study. ECSA (Tracks, Workshops and Doctoral Symposium) 2023: 217-236 - [c98]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: 287-306 - [c97]András Horváth, Enrico Vicario:
Construction of Phase Type Distributions by Bernstein Exponentials. EPEW 2023: 201-215 - [c96]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: 309-324 - [c95]András Horváth, Marco Paolieri, Enrico Vicario:
Equilibrium Analysis of Markov Regenerative Processes. QEST 2023: 172-187 - [e3]Enrico Vicario, Romeo Bandinelli, Virginia Fani, Michele Mastroianni:
Proceedings of the 37th ECMS International Conference on Modelling and Simulation, ECMS 2023, Florence, Italy, June 20-23, 2023. European Council for Modeling and Simulation 2023, ISBN 978-3-937436-80-7 [contents] - 2022
- [j46]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): 3401 (2022) - [j45]Mohammad Amin Zadenoori, Enrico Vicario:
Learning Dynamics and Control of a Stochastic System under Limited Sensing Capabilities. Sensors 22(12): 4491 (2022) - [j44]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): 81-86 (2022) - [j43]Laura Carnevali, Reinhard German, Francesco Santoni, Enrico Vicario:
Compositional Analysis of Hierarchical UML Statecharts. IEEE Trans. Software Eng. 48(12): 4762-4788 (2022) - [c94]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: 3-17 - [c93]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: 200-215 - [c92]Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario:
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction. ISSRE Workshops 2022: 138-145 - [c91]Laura Carnevali, Riccardo Reali, Enrico Vicario:
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows. QEST 2022: 255-272 - 2021
- [j42]Jacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario:
A framework for Model-Driven Engineering of resilient software-controlled systems. Computing 103(4): 589-612 (2021) - [j41]Luyao Ye, Dongdong Zhao, Jianwen Xiang, Laura Carnevali, Enrico Vicario:
Quantitative Analysis of the Dynamic Relevance of Systems. IEEE Trans. Reliab. 70(1): 82-98 (2021) - [j40]Marco Paolieri, Marco Biagi, Laura Carnevali, Enrico Vicario:
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. IEEE Trans. Software Eng. 47(6): 1211-1225 (2021) - [c90]Jacopo Parri, Samuele Sampietro, Enrico Vicario:
FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis. EDCC 2021: 25-32 - [c89]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: 25-32 - [c88]Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario:
Compositional Safe Approximation of Response Time Distribution of Complex Workflows. QEST 2021: 83-104 - [c87]Laura Carnevali, Riccardo Reali, Enrico Vicario:
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services. ICPE 2021: 177-188 - 2020
- [j39]Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario:
Stochastic modeling and analysis of road-tramway intersections. Innov. Syst. Softw. Eng. 16(2): 215-230 (2020) - [j38]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): 2702 (2020) - [j37]Laura Carnevali, Fabio Tarani, Enrico Vicario:
Performability Evaluation of Water Distribution Systems During Maintenance Procedures. IEEE Trans. Syst. Man Cybern. Syst. 50(5): 1704-1720 (2020)
2010 – 2019
- 2019
- [j36]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): 19:1-19:26 (2019) - [j35]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): 293-303 (2019) - [c86]Laura Carnevali, Francesco Santoni, Enrico Vicario:
Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios. ISSRE 2019: 195-205 - [c85]Jacopo Parri, Fulvio Patara, Samuele Sampietro, Enrico Vicario:
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems. SERENE 2019: 85-93 - [p2]Fabio Tarani, Chiara Arrighi, Laura Carnevali, Fabio Castelli, Enrico Vicario:
Flood Resilience of a Water Distribution System. Resilience of Cyber-Physical Systems 2019: 177-194 - [i2]Fulvio Patara, Enrico Vicario:
Connecting People, Services, and Data for Continuity of Care. ERCIM News 2019(118) (2019) - 2018
- [c84]Marco Biagi, Enrico Vicario, Reinhard German:
Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions. EPEW 2018: 62-77 - [c83]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: 456-463 - [c82]Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario:
Hospital Inventory Management Through Markov Decision Processes @runtime. QEST 2018: 87-103 - [c81]Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario:
Analysis of a Road/Tramway Intersection by the ORIS Tool. VECoS 2018: 185-199 - [e2]Simonetta Balsamo, Andrea Marin, Enrico Vicario:
New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. Communications in Computer and Information Science 825, Springer 2018, ISBN 978-3-319-91631-6 [contents] - [i1]Jacopo Parri, Samuele Sampietro, Enrico Vicario:
Deploying Digital Twins in a Lambda Architecture for Industry 4.0. ERCIM News 2018(115) (2018) - 2017
- [j34]Marco Paolieri, Sriram Sankaranarayanan, Enrico Vicario:
Guest Editorial: Special issue on formal modeling and analysis of timed systems. Real Time Syst. 53(3): 289-290 (2017) - [c80]Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario:
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. EPEW 2017: 152-166 - [c79]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: 20-35 - [c78]Marco Biagi, Laura Carnevali, Enrico Vicario, Marco Paolieri:
An introduction to the ORIS tool. VALUETOOLS 2017: 9-11 - [c77]Sara Fioravanti, Fulvio Patara, Enrico Vicario:
Engineering the Performance of a Meta-modeling Architecture. ICPE Companion 2017: 203-208 - 2016
- [j33]Marco Paolieri, András Horváth, Enrico Vicario:
Probabilistic Model Checking of Regenerative Concurrent Systems. IEEE Trans. Software Eng. 42(2): 153-169 (2016) - [c76]Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario:
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling. EPEW 2016: 32-47 - [c75]Sandro Mehic, Kumiko Tadano, Enrico Vicario:
Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios. EPEW 2016: 174-186 - [c74]Stefano Martina, Marco Paolieri, Tommaso Papini, Enrico Vicario:
Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes. MASCOTS 2016: 355-360 - [c73]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: 297-308 - 2015
- [j32]Irene Bicchierai, Giacomo Bucci, Enrico Vicario:
Supporting SW-FMEA through an ontology-based methodology. Int. J. Crit. Comput. Based Syst. 6(1): 1-28 (2015) - [c72]Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario:
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. EPEW 2015: 47-62 - [c71]Fulvio Patara, Chris D. Nugent, Enrico Vicario:
Recommendations for the Creation of Datasets in Support of Data Driven Activity Recognition Models. ICOST 2015: 79-91 - [c70]Laura Carnevali, Christopher Nugent, Fulvio Patara, Enrico Vicario:
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living. QEST 2015: 38-53 - [e1]Sriram Sankaranarayanan, Enrico Vicario:
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Lecture Notes in Computer Science 9268, Springer 2015, ISBN 978-3-319-22974-4 [contents] - 2014
- [c69]Fulvio Patara, Enrico Vicario:
An adaptable patient-centric electronic health record system for personalized home care. ISMICT 2014: 1-5 - [c68]Fulvio Patara, Enrico Vicario:
Dynamic Adaptation of EHR Structure for Automated Compliance Evaluation. MIE 2014: 1238 - [c67]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: 304-315 - [c66]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: 200-203 - [c65]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. PASM 2014: 5-25 - 2013
- [j31]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) - [j30]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): 509-521 (2013) - [j29]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): 1806-1818 (2013) - [j28]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): 292-304 (2013) - [j27]Laura Carnevali, Alessandro Pinzuti, Enrico Vicario:
Compositional Verification for Hierarchical Scheduling of Real-Time Systems. IEEE Trans. Software Eng. 39(5): 638-657 (2013) - [c64]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: 95-108 - [c63]Laura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario:
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. EPEW 2013: 176-190 - [c62]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: 355-371 - [c61]Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario:
Quantitative evaluation of availability measures of gas distribution networks. VALUETOOLS 2013: 145-154 - [c60]Laura Carnevali, Marco Paolieri, Alessandro Santoni, Enrico Vicario:
Non-markovian analysis for model driven engineering of real-time software. ICPE 2013: 113-124 - 2012
- [j26]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): 315-335 (2012) - [j25]Lorenzo Ridi, Jacopo Torrini, Enrico Vicario:
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm. IEEE Softw. 29(1): 76-83 (2012) - [c59]Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario:
Integrating metrics in an ontological framework supporting SW-FMEA. WETSoM 2012: 35-41 - [c58]Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario:
An Ontological Approach to Systematization of SW-FMEA. SAFECOMP 2012: 173-184 - 2011
- [j24]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): 826-844 (2011) - [c57]Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario:
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. Ada-Europe 2011: 118-131 - [c56]Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario:
Ontologies and Bayesian Networks in Medical Diagnosis. HICSS 2011: 1-8 - [c55]András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario:
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. QEST 2011: 131-140 - [c54]Laura Carnevali, Lorenzo Ridi, Enrico Vicario:
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. QEST 2011: 153-154 - [c53]Federico Cruciani, Enrico Vicario:
Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System. SAFECOMP 2011: 355-368 - [c52]Laura Carnevali, Lorenzo Ridi, Enrico Vicario:
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. SAFECOMP 2011: 409-422 - [c51]Laura Carnevali, Johnny Giuntini, Enrico Vicario:
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. VALUETOOLS 2011: 111-120 - 2010
- [j23]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): 391-403 (2010) - [c50]András Horváth, Lorenzo Ridi, Enrico Vicario:
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. QEST 2010: 231-240 - [c49]Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario:
Ontology-Driven Enterprise Application Integration. SEKE 2010: 54-60
2000 – 2009
- 2009
- [j22]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): 178-194 (2009) - [j21]Enrico Vicario, Luigi Sassoli, Laura Carnevali:
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. IEEE Trans. Software Eng. 35(5): 703-719 (2009) - [c48]Laura Carnevali, Lorenzo Ridi, Enrico Vicario:
Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems. ETFA 2009: 1-8 - [c47]András Horváth, Enrico Vicario:
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. QEST 2009: 155-164 - [c46]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: 102-105 - 2008
- [c45]Laura Carnevali, Leonardo Grassi, Enrico Vicario:
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Ada-Europe 2008: 87-100 - [c44]Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario:
An Incremental Approach to Software Reengineering Based on Object-Data Mapping. ICSOFT (SE/MUSE/GSDCA) 2008: 165-173 - [c43]Giacomo Bucci, Laura Carnevali, Enrico Vicario:
A Tool Supporting Evaluation of Non-markovian Fault Trees. QEST 2008: 115-116 - [c42]Enrico Vicario:
Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes. QEST 2008: 321 - 2007
- [c41]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: 747-752 - [c40]Laura Carnevali, Luigi Sassoli, Enrico Vicario:
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. ECRTS 2007: 291-300 - [c39]Laura Carnevali, Luigi Sassoli, Enrico Vicario:
Sensitization of symbolic runs in real-time testing using the ORIS tool. ETFA 2007: 85-92 - [c38]Alberto Rugnone, Francesco Poli, Enrico Vicario, Chris D. Nugent, Elena Tamburini, Cristiano Paggetti:
A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring. ICOST 2007: 217-225 - [c37]Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario, Saverio Mecca:
An Ontological SW Architecture for the Development of Cooperative Web Portals. ICSOFT (SE) 2007: 48-55 - [c36]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: 55-60 - [c35]Giacomo Bucci, Valeriano Sandrucci, Enrico Vicario:
An Ontological SW Architecture Supporting Agile Development of Semantic Portals. ICSOFT/ENASE (Selected Papers) 2007: 185-200 - [c34]Luigi Sassoli, Enrico Vicario:
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. QEST 2007: 59-68 - 2006
- [c33]Luigi Sassoli, Enrico Vicario:
Analysis of Real Time Systems through the ORIS Tool. QEST 2006: 127-128 - 2005
- [j20]Giacomo Bucci, Luigi Sassoli, Enrico Vicario:
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. IEEE Trans. Software Eng. 31(11): 913-927 (2005) - [c32]Fabrizio Baldini, Giacomo Bucci, Enrico Vicario:
A Tool Set for Modeling and Simulation of Robotic Workcells. FIRB-Perf 2005: 106-114 - [c31]Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario:
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. QEST 2005: 13-22 - 2004
- [j19]Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario:
Timed State Space Analysis of Real-Time Preemptive Systems. IEEE Trans. Software Eng. 30(2): 97-111 (2004) - [c30]Giacomo Bucci, Luigi Sassoli, Enrico Vicario:
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. QEST 2004: 70-79 - 2003
- [j18]Stefano Berretti, Alberto Del Bimbo, Enrico Vicario:
Weighted walkthroughs between extended entities for retrieval by spatial arrangement. IEEE Trans. Multim. 5(1): 52-70 (2003) - [c29]Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario:
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. ECRTS 2003: 279-286 - [c28]Giacomo Bucci, Andrea Fedeli, Enrico Vicario:
Predicting Timeliness of Reactive Systems under Flexible Scheduling. ISADS 2003: 125-130 - [c27]Giacomo Bucci, Luigi Sassoli, Enrico Vicario:
A discrete time model for performance evaluation and correctness verification of real time systems. PNPM 2003: 134-143 - [c26]Giacomo Bucci, Andrea Fedeli, Enrico Vicario:
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. SDL Forum 2003: 203-217 - 2002
- [j17]Jürgen Assfalg, Alberto Del Bimbo, Enrico Vicario:
Using 3D and Ancillary Media to Train Construction Workers. IEEE Multim. 9(2): 88-92 (2002) - [j16]Stefano Berretti, Alberto Del Bimbo, Enrico Vicario:
Spatial arrangement of color in retrieval by visual similarity. Pattern Recognit. 35(8): 1661-1674 (2002) - 2001
- [j15]Stefano Berretti, Alberto Del Bimbo, Enrico Vicario:
Modelling Spatial Relationships between Colour Clusters. Pattern Anal. Appl. 4(2-3): 83-92 (2001) - [j14]Stefano Berretti, Alberto Del Bimbo, Enrico Vicario:
Efficient Matching and Indexing of Graph Models in Content-Based Retrieval. IEEE Trans. Pattern Anal. Mach. Intell. 23(10): 1089-1105 (2001) - [j13]Enrico Vicario:
Static Analysis and Dynamic Steering of Time-Dependent Systems. IEEE Trans. Software Eng. 27(8): 728-748 (2001) - [j12]Enrico Vicario:
Engineering the Usability of a Visual Formalism for Real-time Temporal Logic. J. Vis. Lang. Comput. 12(6): 573-599 (2001) - [c25]Alberto Del Bimbo, Enrico Vicario, Pietro Pala:
Spatial Arrangement Of Color Flows For Video Retrieval. ICME 2001 - 2000
- [c24]Stefano Berretti, Alberto Del Bimbo, Enrico Vicario:
A Look-Ahead Strategy for Graph Matching in Retrieval by Spatial Arrangement. IEEE International Conference on Multimedia and Expo (III) 2000: 1721-1724 - [c23]Stefano Berretti, Alberto Del Bimbo, Enrico Vicario:
The Computational Aspect of Retrieval by Spatial Arrangement. ICPR 2000: 5047-5051
1990 – 1999
- 1999
- [j11]Alberto Del Bimbo, Enrico Vicario:
A Visual Formalism for Computational Tree Logic. J. Vis. Lang. Comput. 10(2): 165-187 (1999) - [c22]Stefano Berretti, Alberto Del Bimbo, Enrico Vicario:
Managing the Complexity of Match in Retrieval by Spatial Arrangement. ICIAP 1999: 1178-1183 - [c21]Stefano Berretti, Alberto Del Bimbo, Enrico Vicario:
Weighting Spatial Arrangement of Colors in Content Based Image Retrieval. ICMCS, Vol. 1 1999: 845-849 - [c20]Jürgen Assfalg, C. Leveque, Marc Mautref, P. Neel, Libero Nigro, M. Philippou, Jean-Michel Tanneau, Enrico Vicario, G. Zardetto:
Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project. ICMCS, Vol. 2 1999: 1120-1122 - [c19]G. Arcangeli, Jürgen Assfalg, R. Tartaglia, Enrico Vicario:
A Virtual Environment for Construction Workers Instruction and Training. ICMCS, Vol. 2 1999: 1123-1125 - 1998
- [j10]Ricardo Camiciottoli, Jacopo M. Corridoni, Alberto Del Bimbo, Enrico Vicario, Dario Lucarella:
3D Navigation of Geographic Data Sets. IEEE Multim. 5(2): 29-41 (1998) - [j9]Jacopo M. Corridoni, Alberto Del Bimbo, Enrico Vicario:
Image Retrieval by Color Semantics with Incomplete Knowledge. J. Am. Soc. Inf. Sci. 49(3): 267-282 (1998) - [c18]M. Lusini, Enrico Vicario:
Engineering the usability of visual formalisms: a case study in real time logics. AVI 1998: 114-123 - [c17]M. Lusini, Enrico Vicario:
Design and Evaluation of a Visual Formalism for Real Time Logics. Services and Visualization: Towards User-Friendly Design 1998: 158-173 - [c16]Alberto Del Bimbo, Enrico Vicario:
Weighting Spatial Relationships in Retrieval by Visual Contents. VDB 1998: 277-292 - [p1]Jacopo M. Corridoni, Alberto Del Bimbo, Enrico Vicario:
Painting Retrieval Based on Color Semantics. Image Databases and Multi-Media Search 1998: 13-24 - 1997
- [c15]Enrico Vicario, Wen Xue He:
Weighted Walkthroughs in Retrieval by Content of Pictorial Data. ICIAP (2) 1997: 132-139 - 1996
- [j8]Alberto Del Bimbo, Enrico Vicario:
Visual Programming of Virtual Worlds Animation. IEEE Multim. 3(1): 40-49 (1996) - [c14]Jacopo M. Corridoni, Alberto Del Bimbo, Silvio De Magistris, Enrico Vicario:
A Visual Language for Color-Based Painting Retrieval. VL 1996: 68-75 - 1995
- [j7]Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni:
Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic. IEEE Trans. Knowl. Data Eng. 7(4): 609-622 (1995) - [j6]Giacomo Bucci, Enrico Vicario:
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. IEEE Trans. Software Eng. 21(12): 969-992 (1995) - [j5]Alberto Del Bimbo, Enrico Vicario:
Specification by-Example of Virtual Agents Behavior. IEEE Trans. Vis. Comput. Graph. 1(4): 350-360 (1995) - [c13]Maurizio Baroni, Gianfranco Congiu, Alberto Del Bimbo, A. Evangelisti, Enrico Vicario:
Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations. ICIAP 1995: 621-626 - [c12]Giacomo Bucci, Riccardo Mattolini, Enrico Vicario:
Automatic transition from rapid prototyping to target code for distributed systems. ISADS 1995: 104-111 - [c11]Alberto Del Bimbo, Gianfranco Congiu, Enrico Vicario:
Iconic Retrievial by Contents from Databases of Cardiological Sequences. VDB 1995: 158-174 - [c10]Alberto Del Bimbo, Luigi Rella, Enrico Vicario:
Visual Specification of Branching Time Temporal Logic. VL 1995: 61-68 - 1994
- [j4]Alberto Del Bimbo, Enrico Vicario:
Transport measurements over an Ethernet LAN. IEEE Trans. Commun. 42(234): 1486-1489 (1994) - [j3]Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni:
A Spatial Logic for Symbolic Description of Image Contents. J. Vis. Lang. Comput. 5(3): 267-286 (1994) - [c9]Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni:
Interactive Training of Virtual Agents. Advanced Visual Interfaces 1994: 172-181 - [c8]Giacomo Bucci, Riccardo Mattolini, Enrico Vicario:
Supporting Process Migration Through Communicating Petri Nets. PDP 1994: 486-492 - [c7]Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni:
An Interactive Environement for the Visual Programming of Virtual Agents. VL 1994: 145-152 - 1993
- [c6]Giacomo Bucci, Riccardo Mattolini, Enrico Vicario:
A framework for the development of object-oriented distributed systems. ISADS 1993: 44-51 - [c5]Giacomo Bucci, Riccardo Mattolini, Enrico Vicario:
Using communicating Petri nets to implement parallel computation in single-tasking operating systems. PDP 1993: 481-489 - [c4]Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni:
Sequence Retrieval by Contents through Spatio Temporal Indexing. VL 1993: 88-92 - [c3]Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni:
Visual Specification of Virtual Worlds. VL 1993: 376-378 - 1992
- [j2]Alessandro Braccini, Alberto Del Bimbo, Enrico Vicario, Vito Cappellini:
TCP/IP measured performance over an ethernet local network. Eur. Trans. Telecommun. 3(1): 77-83 (1992) - [c2]Giacomo Bucci, Enrico Vicario:
Rapid prototyping through communicating Petri nets. RSP 1992: 58-75 - [c1]Alberto Del Bimbo, Enrico Vicario, Daniele Zingoni:
A Spatio-temporal Logic for Image Sequence Coding and Retrieval. VL 1992: 228-230 - 1991
- [j1]Alessandro Braccini, Alberto Del Bimbo, Enrico Vicario:
Interprocess Communication Dependency on Network Load. IEEE Trans. Software Eng. 17(4): 357-369 (1991)
Coauthor Index
[j50] [c103] [c102] [c100] [i3] [j47] [c96] [j44] [j43] [c93] [c92] [c91] [j41] [j40] [c88] [c87] [j39] [j37] [j36] [j35] [c86] [p2] [c83] [c82] [c81] [c80] [c79] [c78] [c76] [c72] [c70] [c67] [c65] [j29] [j28] [j27] [c63] [c61] [c60] [j24] [c57] [c54] [c52] [c51] [j23] [j22] [j21] [c48] [c46] [c45] [c43] [c40] [c39]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
