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) - [c110]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 - [c109]Benedetta Picano, Riccardo Reali, Leonardo Scommegna, Enrico Vicario:
Elastic Autoscaling for Distributed Workflows in MEC Networks. AINA (5) 2024: 151-160 - [c108]Kevin Maggi, Roberto Verdecchia, Leonardo Scommegna, Enrico Vicario:
CLAIM: a Lightweight Approach to Identify Microservices in Dockerized Environments. EASE 2024: 357-362 - [c107]Nicolò Pollini, Kevin Maggi, Roberto Verdecchia, Enrico Vicario:
Learning Programming without Teachers: An Ongoing Ethnographic Study at 42. EASE 2024: 590-594 - [c106]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 - [c105]Laura Carnevali, Stefania Cerboni, Benedetta Picano, Leonardo Scommegna, Enrico Vicario:
An observation metamodel for dependability tools. EDCC 2024: 169-172 - [c104]Benedetta Picano, Marco Becattini, Laura Carnevali, Enrico Vicario:
Democratized Learning Enabling Multi-Level Digital Twin Model Integration. ETFA 2024: 1-8 - [c103]Leonardo Scommegna, Marco Becattini, Giovanni Fontani, Leonardo Paroli, Enrico Vicario:
Quantitative evaluation of software rejuvenation of a pool of service replicas. ISSRE (Workshops) 2024: 402-409 - [c102]Leonardo Paroli, Tommaso Botarelli, Laura Carnevali, Enrico Vicario:
A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems. ISSRE 2024: 593-604 - [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]