Research

Since 2001, research activity of Enrico Vicario has been mainly focused on  the analysis of non-deterministic and stochastic timed extensions of Petri Nets and their application in development, testing, formal verification and quantitative evaluation of real-time systems. The present focus is on analytic approaches for the evaluation of non-Markovian models, on which he mainly collaborates with Andras Horvath, Laura Carnevali, and Marco Paolieri. Most of the results in this area are represented in the Oris tool, which is now distributed in two versions covering verification of models with non-deterministic temporal parameters (Oris-1) and quantitative evaluation of models with stochastic timing (Oris-2).

Until 2001, he mainly worked on Visual Formalisms and on Content Modeling and Matching Algorithms for search by similarity in image archives.

He also carries out  technological experimentation and transfer in the area of software engineering methods and software architectures, with specific focus on healthcare information systems, Obiect Oriented development, ontological architectures. As a part of this activity, he is co-founder and scientific director of Jaewa, a spin-off of the University of Florence.

(most recent or relevant) publications:

(see also Google Scholar at http://scholar.google.it/citations?user=TizZofMAAAAJ&hl=it&sortby=pubdate )

© This material is presented to ensure timely dissemination of  scholarly and technical work. Copyright and all rights therein are  retained by authors or by other copyright  holders. All persons copying this  information are expected to adhere to the terms and constraints invoked  by each author's copyright. In most cases, these works may not be  reposted without the explicit permission of  the copyright holder.

[TSE15+] M.Paolieri, A.Horváth,  E.Vicario "Probabilistic Model Checking of Regenerative Concurrent Systems," accepted for publication in IEEE Transactions on Software Engineering, August 2015.

[QEST 15] L.Carnevali, C.Nugent, F.Patara, E.Vicario "A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living," Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Sept. 2015.

[EPEW15] L.Carnevali, F.Flammini, M.Paolieri, E.Vicario, "Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3", 12th European Performance Engineering Workshop, EPEW,Madrid, Sept.2015.

[ICOST15] F.Patara, C.Nugent, E.Vicario, "Recommendations for the Creation of Datasets in Support of Data Driven Activity Recognition Models", 12th Int.Conf on Inclusive Smart Cities and e-Health, ICOST, Geneva, June 2015.

[QADS] A.Horváth, M.Paolieri, E.Vicario. "Approximating Distributions and Transient Probabilities by Matrix Exponential Distributions and Functions." A Quantitative Assessments of Distributed Systems: Methodologies and Techniques, 2015.

[JCCBS15] I.Bicchierai, G.Bucci, E.Vicario, "Supporting SW-FMEA through an ontology-based methodology," accepted for publication in the International Journal of Critical Computer-Based Systems.

[PASM14] Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R Haverkort, Anne Koziolek, Daniel Menasche, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario, "Survivability Evaluation of Gas, Water and Electricity Infrastructures," Electronic Notes in Theoretical Computer Science, Vol.310, pages 5-25, Elsevier, 2015.

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," Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services, Springer International Publishing, 2014.

[ISMICT14] F.Patara, E.Vicario, "An adaptable patient-centric electronic health record system for personalized home care,"  Proceedings of the 8th International Symposium on Medical Information and Communication Technology (ISMICT), 2014  }, pp.1-5, IEEE, 2014.

[CSRS14] L.Carnevali, M.Paolieri, F.Tarani, E.Vicario, K.Tadano, "Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters," Computer Safety, Reliability, and Security, 304-315, 2014.

[MIE14] F Patara, E Vicario, "Dynamic Adaptation of EHR Structure for Automated Compliance Evaluation.", Studies in health technology and informatics Vol.205, 2014

[Valuetools13] L.Carnevali, M.Paolieri, F.Tarani,  E.Vicario, "Quantitative evaluation of availability measures of gas distribution networks,"  7th Int.Conf on Perfromance Evaluation Methodologies and Tools, ValueTools 2013, ACM, Dec.13.

[THMS13] T.Magherini, A.Fantechi, C.D.Nugent, E.Vicario,"Using Temporal Logic and Model Checking
in Automated Recognition of Human Activities for Ambient-Assisted Living," IEEE Transactions on Human Machine Systems, Vol.43, No.6, Nov.13.

[EPEW13] L. Carnevali, M. Paolieri, K. Tadano and E. Vicario,"Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis," in European Workshop on Performance Engineering (EPEW), LNCS (Computer Performance Engineering), vol. 8168, pp. 176-190, Springer, Sept. 2013.

[QEST13] P. Ballarini, N. Bertrand, A. Horvath, M. Paolieri and E. Vicario, "A Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes," in International Conference on Quantitative Evaluation of SysTems (QEST), LNCS, vol. 8054, pp. 355-371, Springer, Aug.2013.

[ICPE13] L. Carnevali, M. Paolieri, A. Santoni and E. Vicario, "A Non-Markovian analysis for model driven engineering of real-time software," in ACM/SPEC International Conference on Performance Engineering (ICPE), pp. 113-124, ACM, April 2013.

[TSE13] L.Carnevali, A.Pinzuti, E.Vicario, "Compositional verification for Hierarchical Scheduling of Real-Time systems," IEEE Transactions on Software Engineering, Vol.39, No.5, 2013.

[TII13] I.Bicchierai, G.Bucci, L.Carnevali, E.Vicario,"Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study," IEEE Transactions on Industrial Informatics , Vol.9, No.4, 2013.

[TSE13] L.Carnevali, L.Ridi, E.Vicario, "A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems," IEEE Transactions on Software Engineering , Vol.39, No.3, 2013.

[WoPatent13] E.Vicario, L.Ridi, J.Torrini, A.Carignano, "Job scheduler for electromechanical system for biological analysis" Patent: WO 2013098088 A1, EP20110196275, July 2013.

[PEVA12] Andras Horvath, Marco Paolieri, Lorenzo Ridi, Enrico Vicario, "Transient analysis of non-Markovian models using stochastic state classes," Performance Evaluation , 2012.

[SW12] L.Ridi, J.Torrini, E.Vicario, "Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm," IEEE Software , Vol.9, No.1, Jan/feb 2012, pp: 76-83.

[QEST11] A.Horváth, M.Paolieri, L.Ridi, E.Vicario, "Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers," in Proc. of 8th International Conference on the Quantitative Evaluation of Systems (QEST),  Sept. 2011.

[QEST11b] L.Carnevali, L.Ridi, E.Vicario, "Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models," in Proc. of 8th International Conference on the Quantitative Evaluation of Systems (QEST),  Sept. 2011.

[TSE11] L. Carnevali, L. Ridi, E. Vicario, "Putting preemptive Time Petri  Nets to work in a V-Model SW life cycle", IEEE Transactions on Software Engineering , Vol.37, No.6, 2011 , pp. 826 - 844.

[HICSS11] G. Bucci, V. Sandrucci, E. Vicario,``Ontologies and Bayesian  Networks in Medical Diagnosis'' Proc. of the 44th Hawaiian International  Conference on System Sciences (HICSS-44), Kauai, Hawaii, Jan. 2011.

[Age11] G.Parente, C.D.Nugent, X.Hong, M.P.Donnelly, L.Chen, E.Vicario, "Formal Modeling Techniques for Ambient Assisted Living," Ageing International , Vol.36, No. 2, pp.192-216, June 2011.

[ValueTools11] L.Carnevali, J.Giuntini, E.Vicario, "A symbolic approach to quantitative analysis of preemptive real-time systems with non-markovian temporal parameters," Proc. of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools (ValueTools11), May 2011, pp.111-120.

[SafeComp11slides] [SafeComp11] L.Carnevali, L.Ridi, E.Vicario, "A framework for simulation and symbolic state space analysis of non-markovian models," Proc.of Int.Conf.on Computer Safety, Reliability, and Security (SafeComp11), pp. 409-422, Sept.2011.

[SafeComp11b] F.Cruciani, E.Vicario, "Reducing complexity of data flow testing in the verification of a IEC-62304 flexible workflow system" Sept.2011 Proc. of Int.Conf. on Computer Safety, Reliability, and Security (SafeComp11), pp. 355-368.

[AdaEurope11] Laura Carnevali, G.Lipari, A.Pinzuti, E.Vicario, "A formal approach to design and verification of two-level hierarchical scheduling systems" Proc. of Int.Conf. on Reliable Software Technologies-Ada-Europe, 2011, pp. 118-131.

[STTT10] G. Bucci, L. Carnevali, L. Ridi, E. Vicario, "Oris: a Tool for  Modeling, Verification and Evaluation of Real-Time Systems", International Journal of Software Tools for Technology Transfer, Volume  12, Number 5, 2010.

[QEST10] A.Horvath, L.Ridi, and E.Vicario, "Transient analysis of generalised semi-Markov processes using transient stochastic state classes" in Proc. of 7th International Conference on the Quantitative Evaluation of Systems (QEST), pages 231-240, Sept. 2010.

[NSMC10] A.Horvath, L.Ridi, and E.Vicario, "Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions, In Proc. of International Conference on the Numerical Solution of Markov Chains (NSMC), pages 1-4, Sept. 2010.

[ITAB10] T. Magherini, G. Parente, C.D. Nugent, M.P. Donnelly, E. Vicario, F. Cruciani, C. Paggetti, "Temporal Logic Bounded Model-Checking for Recognition of Activities of Daily Living", 10th IEEE International Conference on Information Technology and Applications in Biomedicine,Corfu, Greece, November 2-5, 2010.

[SEKE10] G. Bucci, V. Sandrucci, E. Vicario, ``Ontology-Driven Enterprise  Application Integration'', Proc. of the 22nd International Conference on  Software Engineering and Knowledge Engineering, SEKE 2010, Redwood City, San Francisco  Bay, USA, Luglio, 2010, pp.54-60.

[MMIntEnv10] G. Bucci, V. Sandrucci, E. Vicario, ``An ontological SW  architecture supportin contribution and retrieval of service and process models'' G.A.Tsihrintzis et al. (Eds.), Multimedia Services in Intelligent Environments -  Integrated Systems, vol.2 in Studies in Computational Intelligence, Springer 2010. pp.63-80.

[TSE09b] E. Vicario, L. Sassoli, L. Carnevali, "Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive  Systems", IEEE Transactions on Software Engineering, Vol. 35, No. 5, September/October 2009.

[QEST09] A. Horvath, E. Vicario,  "Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian  Stochastic Petri Nets", Proceedings of the 6th International Conference  on the Quantitative Evaluation of SysTems (QEST09), Budapest, Hungary, September 2009.

[PMCCS09] L. Carnevali, L. Ridi, and E. Vicario, "Partial stochastic characterization of timed runs over DBM domains",  Proceedings of the 9th International Workshop on Performability Modeling of Computer  and  Communication Systems (PMCCS 2009), Eger, Hungary, September 2009.

[ETFA09] L. Carnevali, L. Ridi, E. Vicario, "Stochastic Fault Trees for cross-layer power management of WSN monitoring systems",  Proceedings of the the 14th IEEE International Conference on  Emerging Technologies and Factory Automation (ETFA09), Mallorca, Spain, September 2009.

[RSP09] L. Carnevali, D. D'Amico, L. Ridi, E. Vicario, "Automatic Code  Generation from Real-Time Systems Specifications",  Proceedings of the IEEE/IFIP  International Symposium on Rapid System Prototyping (RSP09), June 2009,  Paris.

[TSE09] L.Carnevali, L.Grassi, E.Vicario, "State-density functions over DBM domains in the analysis of non-Markovian models", IEEE  Transactions on Software  Engineering, Vol. 35, No. 2, March/April 2009.

[QEST08] G.Bucci, L.Carnevali and E.Vicario, "A tool supporting evaluation of non-Markovian Fault Trees," Int.Conf. on Quantitative Evealuation of Systems (QEST 08), st.Malo, 14-17 september 08.

[RST08] L.Carnevali, L.Grassi, E.Vicario, "A tailored V-Model exploiting the theory of preemptive Time Petri Nets," Ada Europe: 13th int.conference on Reliable SW Technologies,Venice, June 08.

[InfDir08] G. Bucci, V. Sandrucci, E. Vicario, ``Potenzialitŕ  del paradigma  ontologico nello sviluppo di applicazioni di eGovernment'', Rivista Informatica e Diritto, 2008.

[ICSOFT08] G.Bucci, V.Sandrucci, E.Vicario, "An increemental approach to SW reengineering based on object-relational mapping, Proc. of ICSOFT 08, Oporto, Vol II, pp. 165-173, July 08.

[SWDT08] G. Bucci, V. Sandrucci, E. Vicario. ``An Ontological SW  Architecture Supporting Agile Development of Semantic Portals'',  J. Felipe et al. (Eds.),  Software and Data Technologies, Springer 2008, n.2, pp.185-200.

[QEST07] L.Sassoli, E.Vicario,  " Close form derivation of state-density functions over DBM domains in the analysis of non-markovian models," in Proc. of Quantitative Evaluation of Systems (QEST007), Sept. 2007, Edimburgh.

[ECRTS07] L.Carnevali, L.Sassoli, E.Vicario, "Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software," Euromicro Conference on Real Time Systems (ECRTS07), Pisa, July 4-7, 2007.

[ETFA07] L.Carnevali, L.Sassoli, E.Vicario, " Sensitization of symbolic runs in Real-Time Testing using the ORIS tool," 12th IEEE Conference on Emerging Technologies and Factory Automation (ETFA07), September 25-28, 2007 - Patras – Greece.

[ICSOFT07] G.Bucci, V.Sandrucci, S.Mecca, E.Vicario, "AN ONTOLOGICAL SW ARCHITECTURE FOR THE DEVELOPMENT OF COOPERATIVE WEB PORTALS," Int.Conference on Software and Data Technologies (ICSOFT07), Barcelona 22-25 july 2007.

[ICSOFT07] F.Baldini, G.Bucci, L.Grassi, E.Vicario "TEST COVERAGE ANALYSIS FOR OBJECT ORIENTED PROGRAMS Structural Testing through Aspect Oriented Instrumentation," Int.Conference on Software and Data Technologies (ICSOFT07), Barcelona 22-25 july 2007.

[ICOST07] A.Rugnone , E.Vicario , C.Nugent , F.Poli , C.Paggetti , E.Tamburini , "A Visual Editor to Support the use of Temporal Logic for ADL monitoring," ICOST 2007, 5th International Conference on Smart homes and health Telematics, 21-23 June, 2007, Nara, Japan.

[CASE07] A.Rugnone, C.D.Nugent, M.Donnelly, D.Craig, C.Paggetti, E.Tamburini, E.Vicario, " HomeTL: A visual formalism, based on temporal logic, for the design of home based care", IEEE Conference on Automation Science and  Engineering (IEEE CASE 2007), Sept 22-25, 2007, Scottsdale, Arizona, USA.

[MITIP07] F.Baldini, L.Sassoli, "Analysis of Time-Dependent Workflows through preemptive Time Petri Nets," The Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP07), Florence, Sept.6-7, 2007.

[QEST07] L. Sassoli,E. Vicario, "Analysis of real time systems through the ORIS tool", Proc. of the 3nd Int. Conf. on the Quantitative Evaluation of Systems (QEST06), Sept. 2006.

[TSE05] G. Bucci, L. Sassoli, E. Vicario, "Correctness verification and performance analysis of real time systems using stochastic preemptive Time Petri Nets," IEEE Transactions on Software Engineering, Vol 31, No. 11 November 2005

[QEST05] G.Bucci, R.Piovosi, L.Sassoli, E.Vicario, " Introducing probability within state class analysis of dense-time-dependent systems," in Proc. of Quantitative Evaluation of Systems (QEST05), Sept. 2005, Torino.

[FIRB-Perf05] F. Baldini, G. Bucci, E. Vicario, "A Tool Set for Modeling and Simulation of Robotic Workcells", FIRB-PERF workshop, Torino 19 Settembre 2005, pp. 106-114

[TSE04] G.Bucci, A.Fedeli, L.Sassoli, E.Vicario, "Timed state space analysis of preemptive real time systems," IEEE Transactions on Software Engineering, Feb.2004.

[QEST04] G.Bucci, L.Sassoli, E.Vicario, "ORIS: a tool for state-space analysis of real-time preemptive systems," QEST, Sept. 2004, Twente.

[TMM03] S.Berretti, A.Del Bimbo, E.Vicario. ``Weighted Walkthroughs between Extended Entities for Retrieval by Spatial Arrangement'', IEEE Transactions on Multimedia, Vol.5, Issue 1, March 2003, pages 52-70.

[ISADS03] G. Bucci, A.Fedeli, E.Vicario, "Predicting timeliness of reactive systems under flexible scheduling", in Proceedings of Int. Symposium on Autonomous and Decentralized Systems (ISADS03), March 2003, Pisa.

[SDL03] G. Bucci, A.Fedeli, E.Vicario, "Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools", 11th SDL Forum,  Stoccarda, July 2003

[ECRTS03] G.Bucci, A.Fedeli, L.Sassoli, E.Vicario, "Modeling Flexible Real Time Systems with Preemptive Time Petri Nets", Proceedings of the 15-th Euromicro Conference on Real-Time Systems (ECRTS03)", Porto, July 2003.

[PNPM03] G.Bucci, L.Sassoli, E. Vicario, "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 (PNPM03), Urbana Champaign, September 2003.

[PR02] S.Berretti, A.Del Bimbo, E.Vicario. ``Spatial Arrangement of Color in Retrieval by Visual Similarity'', Pattern Recognition, Elsevier, special issue on Color Machine Vision, vol.35, n.8, pp.1661-1674, aug. 2002.

[JMM02] J.Assfalg, A.Del Bimbo, E.Vicario, "Using 3D and ancillary media to train construction workers," IEEE Multimedia, april-june 2002.

[Book] A.DelBimbo, P.Pala, E.Vicario, "Modeling Color Dynamics for the Semantics of Commercials," in Media Computing: Computational MediaAesthetics, S.Venkatesh and C.Dorai Editors, Kluwer Academic Press, 2002.

[SoftCom02] G. Bucci, A.Fedeli, E.Vicario, "Using Petri Nets in evaluating mobile communication systems: a case study", Softcom 2002 Plus, Split(HR).

[JVLC01] E.Vicario, "Engineering the Usability of a Visual Formalism for Real-time Temporal Logic,"Journal of Visual Languages & Computing , Vol. 12, No. 6, Dec 2001, pp. 573-599.

[TSE01] E.Vicario, ``Static Analysis and Dynamic Steering of Time-Dependent Systems Using Time Petri Nets,'' IEEE Transactions on Software Engineering, Jul.2001.

[PAMI01]S.Berretti, A.Del Bimbo, E.Vicario. ``Efficient Matching and Indexing of Graph Models in Content Based Retrieval'', IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.23, no.10, pp.1089-1105, ottobre 2001.

[PAA01]S.Berretti, A.Del Bimbo, E.Vicario. ``Modelling Spatial Relationships between Color Clusters'', Pattern Analysis and Applications, Springer-Verlag, special issue su Image Indexation, vol.4, no.2/3, pp.83-92, june 2001.

[Book] E.Vicario, (Editor), "Image Description and Retrieval", Plenum Press, 1998.

[JVLC99] A.Del Bimbo, E.Vicario,"A Visual Formalism for Temporal Ordering," Journal of Visual Languages and Computing,1999.

[MI99] M.Baroni, A.Del Bimbo, A.Evangelisti, E.Vicario, "Symbolic Representation and Visual Querying of Left Ventricular Image Sequences," Medical Informatics, Morgan Kaufman, 1999.

[JASIS98] J.M.Corridoni, A.Del Bimbo, E.Vicario ``Image Retrieval by Color Semantics with Incomplete Knowledge'', Journal of the American Society of Information Systems (JASIS), 1998.

[JMM98] R.Camiciottoli, J.M.Corridoni, A.Del Bimbo, D.Lucarella, E.Vicario, "3D Navigation of Geographic Data Sets," IEEE Multimedia, spring 1998.

[TACAS98] M.Lusini, E.Vicario, "Design and Evaluation of a Visual Formalism for Real Time Logics," Visual 98, Lisboa, Portugal, March 1998, also included in "Towards user-friendly design. ACos'98, Visual'98, AIN'97 Selected Papers", TACAS Monographs, Springer Verlag, 1998

[VL96] J.M.Corridoni, A.Del Bimbo, E.Vicario, ``A visual language for color-based painting retrieval,'' IEEE Int.Symp. on Visual Languages, Boulder, Colorado, October 1996, USA.

[JMM96] A.Del Bimbo, E.Vicario, "Visual Programming of Virtual World Animation," IEEE Multimedia, Vol.3, No.1, pp.40-49, Spring 1996.

[TKDE95] A.Del Bimbo, E.Vicario, D.Zingoni, "Symbolic Representation and Visual Querying of Image Sequences Using Spatio-Temporal Logic," IEEE Transactions on Knowledge and Data Engineering, Vol.TKDE-7, No.4, pp.609-622, August, 1995.

[TVCG95] A.Del Bimbo, E.Vicario, "Specification by-Example of Virtual Agents Behavior," IEEE Transactions on Visualization and Computer Graphics, Vol.1, No.4, pp.350-359, December 1995.

[TSE95] G.Bucci, E.Vicario, "Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets," IEEE Transactions on Software Engineering , Vol.SE-21, No.12, pp.969-992, Dec.1995.

[TC94] A.Del Bimbo, E.Vicario, "Transport measurements over an ethernet LAN," IEEE Transactions on Communications, Vol. COM-42, No.2, pp.1486-1489, April 1994.

[JVLC94]A.Del Bimbo, E.Vicario, D.Zingoni, "Spatial Logic for the symbolic description of image contents," Journal of Visual Languages and Computing, Vol.5, pp.267-286, 1994.

[ISADS93]G.Bucci, R.Mattolini, E.Vicario, "A framework for the developmentof distributed object-oriented applications," Proc. Int Symp. on Autonomous Decentralized Systems (ISADS'93),  Kawasaki,Japan, March-April 1993.

[TSE91] A.Braccini, A.Del Bimbo, E.Vicario, "Interproces communication dependency on network load," IEEE Transactions on Software Engineering, Vol.SE-17,No.4,pp.357-369, April 1991.