Curriculum Vitae Felicita Di Giandomenico

Transcription

1 Curriculum Vitae Felicita Di Giandmenic Octber 2014 Cntact Address: ISTI-CNR, Via G. Mruzzi 1, Pisa, Italy Academic Degree Laurea in Cmputer Science frm the University f Pisa, Current Psitin February 1989-present: Researcher at the Institute ISTI f the Italian Natinal Research Cuncil (CNR), lcated in Pisa, in the area f Cmputer Science and Infrmatin Technlgy. Since January 2002, Senir Researcher. Respnsibilities and Prfessinal Appintments December 2002-present: Head f the Dependable Cmputing Lab at ISTI until 29/02/12; head f the Sftware Engineering and Dependable Cmputing Lab since 1/03/12. Dicember 2004-present: Respnsible f the CNR Research Unit Cmpnent-based Architectures fr Cmplex Dependable Systems under the Department Infrmatin and Cmmunicatin Technlgies-ICT f CNR. Scientific respnsible fr the ISTI-CNR partner in several EU and Natinal prjects. Currently, she is the ISTI-CNR Principal Investigatr fr Third party f ResilTech Srl, EU Smart Cntrl f Energy Distributin Grids ver Hetergeneus Cmmunicatin Netwrks - SmartC2Net (1/12/12 30/11/2015) PRIN TENACE: Prtecting Natinal Critical Infrastructures Frm Cyber Threats Experience in evaluatin, review, r audit panels fr EU prgrammes She has served several times as an expert fr the EU Cmmissin (2003, 2005, 2007, 2012, 2013, 2014) in the evaluatin f prject prpsals (STREP and IP) fr the fllwing strategic bjectives: Embedded systems Security&Dependability Cyber Physical Systems She has als assisted the Cmmissin as reviewer fr the mnitring f the implementatin f indirect actins (2009, 2010, 2011, 2013). Academic and training activities She has been teaching curses n dependability related tpics fr mre than 10 years, bth at the University f Pisa, University f Flrence and Scula Superire Sant Anna (Pisa). Mst recent curses include: A. A , A.A , A.A : Mdellistica e Simulazine, Crs di Laurea in Infrmatica (Laurea Triennale) della Facltà di Scienze Matematiche, Fisiche e Naturali dell'università di Firenze (c-teacher) A.A , A.A , A.A : Sistemi Critici e Real Time, Crs di Laurea in Infrmatica (Laurea Magistrale) della Facltà di Scienze Matematiche, Fisiche e Naturali dell'università di Firenze (c-teacher) A.A , A.A , A.A Dependable Cmputing Systems, Scula Superire S. Anna, Pisa (c-teacher) A.A Dependability, IMT Lucca (shrt curse) She has been c-advisr f many Master Theses f students, at bth the University f Pisa and University f Flrence, and f the PhD students Pal Lllini ( Quantitative Analysis thrugh Mdeling f Large Scale Telecmmunicatin Systems, University f Flrence, April 2006) and Nicla Nstr ( Appraches t adaptive dependability and security assessment in dynamic and evlving systems, expected n April 2015). She has been invited member f the jury f the PhD defence f Dr. Ana Elena Rugina (LAAS, France, Nv. 2007) and f Dr. Kssi Blewussi Tiassu (LAAS, France, Feb. 2013). She has been supervisr f several fellwships (granted by CNR and ERCIM) and Research Assciate prgrams in the cntext f Natinal and Internatinal prjects. 1

2 She is a member f the Scientific Bard f the PhD prgram in Cmputer Science and Applicatin, University f Flrence (since 2007). Cnference PC Chairmanship 27 th IEEE Internatinal Sympsum n Reliable Distributed System, Naples, Italy, Octber 6-8, 2008 (c-chair with Jni da Silva Fraga) 39 th Annual IEEE/IFIP Internatinal Cnference n Dependable Systems and Netwrks, PDS Track, June 29-July 2, 2009, Estril, Lisbn, Prtugal 33rd Internatinal Cnference n Cmputer Safety, Reliability and Security, SAFECOMP 2014, September 2014 (c-chair with Andrea Bndavalli) Wrkshp/Fast Abstract tracks PC Chairmanship The Internatinal Cnference n Dependable Systems and Netwrks DSN-2004, Fast Abstracts Track DSN 2007 Wrkshp n Architecting Dependable Systems (c-chair with Rgéri de Lems and Cristina Gacek), Edinburgh, Sctland UK, 27 June 2007 The Ninth Internatinal Wrkshp n Assurance in Distributed Systems and Netwrks - ADSN 2010 (Vice Prgram Chair fr Eurpe and Africa) The Tenth Internatinal Wrkshp n Assurance in Distributed Systems and Netwrks - ADSN 2011 (Vice Prgram Chair fr Eurpe and Africa) Eurpean Wrkshp n Dependable Cmputing, EWDC 2011, Wrkshp Chair, Pisa, May 2011 RACI First Internatinal Wrkshp n Reliability Assessment f Critical Infrastructure, Brazil, April 2011 (Wrkshp c-chair) Internatinal Wrkshp n Sftware Engineering and Resilient Systems, SERENE, 2012 (General Chair) Cnference PC Memberships She regularly serves as member f the prgram cmmittee f the mst representative cnferences and wrkshps in the area f dependable cmputing, distributed systems, fault tlerant systems, autnmus and interperable systems, dependability and perfrmance mdeling, etc.. (including IEEE FTCS, IEEE DSN, IEEE SRDS, SAFECOMP, EDCC, HASE, ISAS, IEEE ICDCS, ACM SAC (DADS track)) Reviewer duties She regularly serves as reviewer fr many cnferences and jurnals in the field f dependable cmputing, including. IEEE Transactins n Dependable and Secure Cmputing, IEEE Transactins n Cmputers, IEEE Transactins n Sftware Engineering, IEEE Transactins n Reliability, ACM Cmputing Surveys, Perfrmance Evaluatin Prfessinal Assciatins Felicita Di Giandmenic is affiliate member f the IEEE Cmputer Sciety. Member f the Steering Cmmittee f IEEE Internatinal Cnference n Dependable Systems and Netwrks - DSN ( ) Eurpean Dependable Cmputing Cnference EDCC since 2009 Member f IFIP WG10.4 n Dependable Cmputing and Fault Tlerance since 2009 ERCIM wrking grup SERENE n Sftware Engineering and Resilient Systems ERCIM wrking grup DES n Dependability in Embedded Systems Current Research Interests Architectures fr dependable and resilient systems; Sftware fault tlerance; Methds and techniques fr quantitative analysis f dependability and QS indicatrs; Inderdependencies mdeling and analysis in critical infrastructures. 2

3 List f Publicatins (extracted, frm 2000) Edited Bk Architecting Dependable Systems V, Lems, R.d.; Di Giandmenic, F.; Gacek, C.; Muccini, H.; Vieira, M. (Eds.), Lecture Ntes in Cmputer Science, Vlume 5135/2008, ISBN: , 2008 Internatinal Jurnal Burns, D. Prasad, A. Bndavalli, F. Di Giandmenic, K. Ramamritham, J. Stankvic, L. Strigini, The Meaning and Rle f Value in Scheduling Flexible Real-Time Systems, Jurnal f Systems Architecture, Elsevier Science, vl. 46, 2000, pp Bndavalli, S. Chiaradnna, F. Di Giandmenic, F. Grandni, Threshld-Based Mechanisms t Discriminate Transient frm Intermittent Faults, IEEE Transactins n Cmputers, Oxfrd University Press, Vl. 49, N. 3, March 2000, pp F. Grandni, S. Chiaradnna, F. Di Giandmenic, and A. Bndavalli Evaluatin f Fault-Tlerant Multiprcessr Systems fr High Assurance Applicatins, in The Cmputer Jurnal, Oxfrd University Press, Special Issue n High Assurance Systems, Vl. 44, Issue 6: 2001, pp Bndavalli, S. Chiaradnna, F. Di Giandmenic, and J. Xu "An Adaptive Apprach t Achieving Hardware and Sftware Fault Tlerance in a Distributed Cmputing Envirnment", in Jurnal f Systems Architecture, Elsevier Science, Vl. 47 (9) (2002) pp S. Prcarelli, F. Di Giandmenic, A. Bndavalli, M. Barbera, I. Mura Service Level Availability Estimatin f GPRS, in IEEE Transactins n Mbile Cmputing, Vl. 2(3), 2003, pp Bndavalli, S. Chiaradnna, F. Di Giandmenic, I. Mura, " Dependability Mdeling & Evaluatin f Multiple- Phased Systems using DEEM in IEEE Transactins n Reliability, Vl. 53, N. 4, pp , December P. Lllini, F. Di Giandmenic, A. Bndavalli, A Mdeling Methdlgy fr Hierarchical cntrl Systems and its Applicatin, in the Jurnal f the Brazilian Cmputer Sciety, special Issue n Dependable Cmputing, Vl. 10, N. 3, pp , April G. Karetss, S. A. Kyriazaks, E. Grustitis, F. Di Giandmenic, I. Mura Hierarchical Radi Resurce Management Framewrk fr Integrating WLANs in Cellular Netwrking Envirnments, in IEEE Wireless Cmmunicatins, December 2005, pp P. Lllini, A. Bndavalli, F. Di Giandmenic, A Decmpsitin-Based Mdeling Framewrk fr Cmplex Systems, in IEEE Transactins n Reliability, Vl. 58, N. 1, March 2009, pp S. Chiaradnna, F. Di Giandmenic, P. Lllini, "Assessing the Impact f Interdependencies in Electric Pwer Systems", in Int. J. System f Systems Engineering, Vl. 1, N. 3, 2009, pp S. Chiaradnna, F. Di Giandmenic, P. Lllini, Definitin, Implementatin and Applicatin f a Mdel- Based Framewrk fr Analyzing Interdependencies in Electric Pwer Systems, Internatinal Jurnal n Critical Infrastructure Prtectin, N. 4 (2011), pp M. Beccuti, S. Chiaradnna, F. Di Giandmenic, S. Dnatelli, G. Dndssla, and G. Franceschinis. Quantificatin f dependencies between electrical and infrmatin infrastructures. Internatinal Jurnal f Critical Infrastructure (IJCIP), Vlume 5, Issue 1, March 2012, Pages Antnia Bertlin, Antnell Calabrò, Felicita Di Giandmenic, Nicla Nstr, An Apprach t Adaptive Dependability Assessment in Dynamic and Evlving Cnnected Systems, in Internatinal Jurnal f Adaptive, Resilient and Autnmic Systems (IJARAS), Silvan Chiaradnna, Felicita Di Giandmenic and Nicla Nstr, Stchastic assessment f pwer systems in presence f hetergeneity, Int. J. Critical Cmputer-Based Systems, Vl. 4, N. 4, F. Di Giandmenic, M. L. Itria, P. Masci and N. Nstr "Autmated synthesis f dependable mediatrs fr hetergeneus interperable systems", Reliability Engineering and System Safety, 132 (2014), p.p Bk Chapters 3

4 Bndavalli, S. Chiaradnna, F. Di Giandmenic, F. Grandni, D. Pwell, C. Rabejac, Errr Diagnsis and Fault Treatment, in A Generic Fault-Tlerant Architecture fr Real-Time Dependable Systems, David Pwell (Ed.), Kluwer Academic Publisher, 2001, pp J. Arlat, A. Bndavalli, F. Di Giandmenic, M. T. Jarbui, E. Jenn, K. Kanun, I. Mura, D. Pwell, Dependability Evaluatin, in A Generic Fault-Tlerant Architecture fr Real-Time Dependable Systems, David Pwell (Ed.), Kluwer Academic Publisher, 2001, pp Bndavalli, A. Cccli and F. Di Giandmenic, QOS analysis f grup cmmunicatin prtcls in wireless envirnment in Cncurrency in Dependable Cmputing, Paul Ezhilchelvan and Alexander Rmanvsky (eds.), Kluwer Academic Publishers, Bndavalli, S. Chiaradnna, F. Di Giandmenic, Mdel-Based Evaluatin as a Supprt t the Design f Dependable Systems, in Dependable Cmputing Systems: Paradigms, Perfrmance Issues, and Applicatins", Diab and Zmaya (Eds), Jhn Wiley & Sns, Inc., S. Chiaradnna, F. Di Giandmenic, P. Lllini, Evaluatin f Critical Infrastructures: Challenges and Viable Appraches, in Architecting Dependable Systems V, LNCS , pp , Bertlin, A. Calabrò, F. Di Giandmenic, N. Nstr, Dependability and Perfrmance Assessment f Dynamic Cnnected Systems, in Frmal Methds fr Eternal Netwrked Sftware Systems (SFM'11), Springer-Verlag Berlin Heidelberg, LNCS, vlume 6659, 2011 Albert Avritzer, Felicita Di Giandmenic, Anne Remke, Martin Riedl, Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opprtunities, in Resilience Assessment and Evaluatin f Cmputing Systems, Wlter, K.; Avritzer, A.; Vieira, M.; van Mrsel, A. (Eds.), Springer, 2012 Silvan Chiaradnna, Felicita Di Giandmenic, Pal Lllini, Case Study n Critical Infrastructures: Assessment f Electric Pwer Systems, in Resilience Assessment and Evaluatin f Cmputing Systems, Wlter, K.; Avritzer, A.; Vieira, M.; van Mrsel, A. (Eds.), Springer, 2012 Sila P. Kavulya, Kaustubh Jshi, Felicita Di Giandmenic and Priya Narasimhan, Failure Diagnsis f Cmplex Systems, in Resilience Assessment and Evaluatin f Cmputing Systems, Wlter, K.; Avritzer, A.; Vieira, M.; van Mrsel, A. (Eds.), Springer, 2012 Antnia Bertlin, Guglielm De Angelis, Felicita Di Giandmenic, Eda Marchetti, Antnin Sabetta, and Pala Spletini, Verificatin and analysis f autnmic systems fr netwrked enterprises, in Methdlgies and Technlgies fr Netwrked Enterprises, Anastasi, G.; Bellini, E.; Di Nitt, E.; Ghezzi, C.; Tanca, L.; Zime, E. (Eds.), LNCS 7200, 2012 M. Beccuti, S. Chiaradnna, F. Di Giandmenic, S. Dnatelli, G. Dndssla, G. Franceschinis, Mdel- Based Evaluatin f the Impact f Attacks t the Telecmmunicatin Service f the Electrical Grid in Critical Infrmatin Infrastructure Prtectin and Resilience in the ICT Sectr, edited by Paul Thern and Sandr Blgna, IGI-Glbal, 2013 Internatinal Cnferences and Wrkshps (extracted, frm 2005) P. Lllini, A. Bndavalli, F. Di Giandmenic, Evaluatin f the Impact f Cngestin n Service Availability in GPRS Infrastructures, in Prc. Secnd Internatinal Service Availability Sympsium (ISAS 2005), Berlin, April 2005, LNCS 3694, Springer-Verlag, pp P. Lllini, A. Bndavalli, F. Di Giandmenic, QS Analysis f a UMTS Cell with Different Service Classes, in Prc. Of the 4 th IASTED Internatinal Cnference Cmmunicatin Systems and Netwrks, September 12-14, 2005, Benidm, Spain, pp L. Falai, A. Bndavalli, F. Di Giandmenic, NekStat Extensin fr Nek: Quantitative Evaluatin f Distributed Algrithms, in Prc. 2 nd Internatinal Cnference n Quantitative Evaluatin f Systems, Trin, Italy, September, 2005, pp L. Falai, A. Bndavalli, F. Di Giandmenic, Quantitative Evaluatin f Distributed Algrithms using the Nek Framewrk: the NekStat Extensin, in Prc. 2 nd Latin-American Sympsium n Dependable Cmputing, Salvadr, Brazil, Octber L. Gönczy, S. Chiaradnna, F. Di Giandmenic, A. Pataricza, A. Bndavalli, T. Bartha, Dependability Evaluatin f Web Service-based Prcesses, in Prc. 3 rd Eurpean Perfrmance Engineeering Wrkshp, Budapest, A. Hrváth and M. Telek (Eds.): EPEW 2006, LNCS 4054, pp ,

5 Daidne, F. Di Giandmenic, A. Bndavalli, and S. Chiaradnna, Hidden Markv mdels as a supprt fr diagnsis: Frmalizatin f the prblem and synthesis f the slutin, in 25th IEEE Sympsium n Reliable Distributed Systems (SRDS 2006), pages , Leeds, UK, Octber S. Chiaradnna, P. Lllini, and F. Di Giandmenic, On a mdeling framewrk fr the analysis f interdependencies in electric pwer systems, in IEEE/IFIP 37th Int. Cnference n Dependable Systems and Netwrks (DSN 2007), Edinburgh, UK, June F. Rmani, S. Chiaradnna, F. Di Giandmenic, L. Simncini, Simulatin Mdels and Implementatin f a Simulatr fr the Perfrmability Analysis f Electric Pwer Systems Cnsidering Interdependencies, in Prc. IEEE HASE 2007, pp , Dallas, Nv S. Chiaradnna, F. Di Giandmenic and P. Lllini, Interdependencies Analysis in Electric Pwer Systems, t appear in Prceedings 3rd Internatinal Wrkshp n Critical Infrmatin Infrastructures Security (CRITIS 08), Octber 13-15, 2008, Frascati (Rme), Italy M. Beccuti, G. Franceschinis, S. Dnatelli, S. Chiaradnna, F. Di Giandmenic, P. Lllini, G. Dndssla, F. Garrne, Quantificatin f Dependencies in Electrical and Infrmati Infrastructures: the CRUTIAL Apprach, in Furth Internatinal CRIS cnference n Critical Infrastructures CRIS 09, Linköping, Sweden, April P. Masci, S. Chiaradnna, F. Di Giandmenic Dependability Analysis f Diffusin Prtcls in Wireless Netwrks with Hetergeneus Nde Capabilities, in Prc. Eighth Eurpean Dependable Cmputing Cnference, Valencia, Spain, April 28-30, 2010 Felicita Di Giandmenic, Marta Kwiatkwska, Marc Martinucci, Pal Masci, and Hngyang Qu, Dependability Analysis and Verificatin fr Cnnected Systems, Prceedings f ISLA 2010, Heraklin, Crete, Greece, Octber 18-21, 2010, Prceedings, Part II. Lecture Ntes in Cmputer Science 6416 Springer 2010 P. Masci, M. Martinucci, F. Di Giandmenic, Twards Autmated Dependability Analysis f Dynamically Cnnected Systems, in Prceedings IEEE ISADS 2011, March 2011, pp Antnia Bertlin, Antnell Calabrò, Felicita Di Giandmenic, Marc Martinucci, and Pal Masci, Autmated Refinement f Dependability Analysis thrugh Mnitring in Dynamically Cnnected Systems, in Prceedings IEEE ISADS 2011, March 2011, pp S. Chiaradnna, F. Di Giandmenic, and N. Nstr. Mdeling and analysis f the impact f failures in electric pwer systems rganized in intercnnected regins. T appear in the Prceedings f the 41th Annual IEEE/IFIP Int. Cnference n Dependable Systems and Netwrks (DSN2011) The Perfrmance and Dependability Sympsium (PDS), Hng Kng, June Pal Masci, Nicla Nstr, Felicita Di Giandmenic. On enabling dependability assurance in hetergeneus netwrks thrugh autmated mdel-based analysis. In Prceedings Third Internatinal Wrkshp, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, LNCS 6968, Springer, pp Silvan Chiaradnna, Felicita Di Giandmenic and Nicla Nstr, Analysis f Electric Pwer Systems accunting fr interdependencies in hetergeneus scenaris, in Prceedings Eurpean Dependable Cmputing Cnference - EDCC 2012, May 2012 Silvan Chiaradnna, Felicita Di Giandmenic and Nicla Nstr, Mdel-based assessment f multiregin Electric Pwer Systems shwing hetergeneus characteristics, in Prceedings f the 2012 internatinal cnference n Cmputer Safety, Reliability, and Security, LNCS Vlume 7613, 2012, pp Felicita Di Giandmenic, Allesandr Fantechi, Massimilian Itria, Stefania Gnesi, Stchastic Mdelbased Analysis f Railway Operatin t Supprt Traffic Planning, in Prceedings 5th Internatinal Wrkshp n Sftware Engineering fr Resilient Systems (SERENE 2013), LNCS 8166, Springer, pp Silvan Chiaradnna, Felicita Di Giandmenic and Nadir Murru, On a Mdeling Apprach t Analyze Resilience f a Smart Grid Infrastructure, t appear in Prceedings f EDCC 2014, May 2014 N. Nstr, I. Matteucci, A. Ceccarelli, F. Di Giandmenic, F. Martinelli, A. Bndavalli, On Security Cuntermeasures Ranking thrugh Threat Analysis, in SAFECOMP 2014 Wrkshps, LNCS 8696, pp , 2014 C. Di Sarn, N. Murru, F. Di Giandmenic, S. Chiaradnna, A. Garfal and G. Cerull, Pwer Grid Outlier Treatment thrugh Kalman Filter, in IEEE Secnd Internatinal Wrkshp n Reliability and Security Data analysis, Nvember

6 6