


Остановите войну!
for scientists:


default search action
Enrico 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
- 2023
- [j47]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) - [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.