How To Write A Book On The History Of Computer Science

Size: px
Start display at page:

Download "How To Write A Book On The History Of Computer Science"

Transcription

1 Short Curriculum Vitae Felicita Di Giandomenico May 2009 Contact Address: ISTI-CNR, Via G. Moruzzi 1, Pisa, Italy Personal Data Born in Chieuti (Italy) on 4 th October Married, two children. Italian citizenship. Languages Italian, English Academic Degree Laurea in Computer Science from the University of Pisa, Current Position February 1989-present: Researcher at the Institute ISTI of the Italian National Research Council (CNR), located in Pisa. Since January 2002, Senior Researcher. Professional Appointments December 2002-present: Head of the Dependable Computing Lab at ISTI ( Dicember 2004-present: Responsible of the CNR Research Unit Component-based Architectures for Complex Dependable Systems under the Department Information and Communication Technologies-ICT of CNR. Scientific responsible for the ISTI-CNR partner in several EU and National projects. Currently, she is the ISTI-CNR Principal Investigator for o CHESS Composition with Guarantees for High-integrity Embedded Software Components Assembly, Artemis JU Recently concluded projects she has been Principal Investigator of include: o IST-FP6-STREP CRUTIAL Critical Utility Infrastructural Resilience o TST5-CT SAFEDMI Safe Driver Machine Interface for ERTMS automatic train control o MIUR SP4 Architetture software ad alta qualità di servizio per global computing su cooperative wide area networks ( ) o IST CAUTION++ ( ) o IST CaberNet ( ) o IST AMSD ( ) Academic and training activities 1

2 She has been teaching courses on dependability related topics for several years, at both the University of Pisa and University of Florence. Since 2006, she is co-teaching the course Modeling and Simulation at the Department of Systems and Informatics of the University of Florence. She has been co-advisor of many Master Theses of students, at both the University of Pisa and University of Florence, and of the PhD student Paolo Lollini ( Quantitative Analysis through Modeling of Large Scale Telecommunication Systems, University of Florence, April 2006). She has been invited member of the jury of the PhD defence of Dr. Ana Elena Rugina (LAAS, France, Nov. 2007) She has been supervisor of several fellowships (granted by CNR and ERCIM) and Research Associate programs in the context of National and International projects. Conference PC Chairmanship 27 th IEEE International Symposum on Reliable Distributed System, Naples, Italy, October 6-8, 2008 (co-chair with Joni da Silva Fraga) 39 th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, PDS Track, June 29-July 2, 2009, Estoril, Lisbon, Portugal Workshop/Fast Abstract tracks PC Chairmanship The International Conference on Dependable Systems and Networks DSN-2004, Fast Abstracts Track DSN 2007 Workshop on Architecting Dependable Systems (co-chair with Rogério de Lemos and Cristina Gacek), Edinburgh, Scotland UK, 27 June 2007 Conference PC Memberships 27 th IEEE International Symposium on Fault Tolerant Computing Systems (1997) International Conference on Parallel and Distributed Processing Techniques and Applications (1999); The IEEE International Conference on Dependable Systems and Networks (DSN-2000); IEEE International Symposium on Reliable Distributed Systems (SRDS), 2000, th Brazilian Symposium on Fault Tolerant Computing (2001) IEEE International Symposium on High Assurance Systems Engineering (HASE), 2001, 2002, 2005, 2008 European Dependable Computing Conference (EDCC), 2002, 2005, 2006, th International Symposium on Autonomous Decentralized System (ISADS-2003) The International Conference on Dependable Systems and Networks- Fast Abstracts Track (DSN- 2003) International Working Conference on the Performance Modelling and Evaluation of Heterogeneous Networks (HET-NET), 2003, 2004 International Service Availability Symposium 2004 (ISAS 2004) IEEE Computer Performance and Dependability, Track of the International Conference on Dependable Systems and Networks (DSN-PDS), 2004, 2007, 2008 IEEE Dependable Computing and Communications Symposium (DSN-DCCS), th IEEE International Conference on Distributed Computing Systems - Faul-Tolerance and Dependability Track (ICDCS 2006) 2

3 Mobile and Wireless Communications Summit 2006, 2007 Progam Committee Member for the Journal Theoretical Computer Science, Elsivier Science Publisher, Special Issue on Dependable Computing, (2003) Workshop PC Memberships 2 nd International Workshop on Mechatronical Computer Systems for Perception and Action (1997) 11 th European Workshop on Dependable Computing, (EWDC-2000) 9th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS- 2003F) International Workshop on Engineering of Fault Tolerant Systems EFTS, 2006, th edition of the International Workshop on Dependable Embedded Systems (WDES 2007) International Workshop on Software Engineering and Resilient Systems, SERENE 08 Professional European Activities She has served as an expert for the EU Commission (2003, 2005, 2007) in the evaluation of project proposals (STREP and IP) for the following strategic objectives: o o Embedded systems Security&Dependability She has also assisted the Commission as reviewer for the monitoring of the implementation of indirect actions (2009). Reviewer duties She regularly serves as reviewer for many conferences and journals in the field of dependable computing, including. IEEE Transactions on Dependable and Secure Computing IEEE Transactions on Computers IEEE Transactions on Software Engineering IEEE Transactions on Reliability ACM Computing Surveys Performance Evaluation IPL Information Processing Letters Professional Associations Felicita Di Giandomenico is affiliate member of the IEEE Computer Society. Member of the Steering Committee of IEEE International Conference on Dependable Systems and Networks - DSN since 2008 European Dependable Computing Conference EDCC since 2009 Member of the IFIP WG10.4 on Dependable Computing and Fault Tolerance since 2009 Current Research Interests Architectures for dependable systems; Software fault tolerance; Methods and techniques for quantitative analysis of of dependability and QoS indicators; Inderdependencies modeling and analysis in critical infrastructures. 3

4 List of Publications Edited Book E-1 Architecting Dependable Systems V, Lemos, R.d.; Di Giandomenico, F.; Gacek, C.; Muccini, H.; Vieira, M. (Eds.), Lecture Notes in Computer Science, Volume 5135/2008, ISBN: , 2008 E-2 Proceedings of the 27 th Symposium on Reliable Distributed Systems, L. Romano, F. Di Giandomenico and Joni da Silva Fraga, October 2008 International Journal J-1 F. Di Giandomenico, M.L. Guidotti, F. Grandoni and L. Simoncini, Gracefully Degradable Algorithm for Byzantine Agreement, Journal of Computer Systems Science & Engineering, CRL Publishing Ltd, vol. 3, pp , J-2 A. Bondavalli, F. Di Giandomenico and J. Xu, Cost-Effective and Flexible Scheme for Software Fault Tolerance, Journal of Computer Systems Science and Engineering, CRL Publishing Ltd, vol. 8, pp , J-3 L. Strigini, F. Di Giandomenico and A. Romanovsky, Coordinated backward recovery between client processes and data servers, IEE Proceedings Software Engineering, Vol. 144, Issue 2, 1997, pp J-4 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and S. La Torre, Modelling the effects of input correlation in iterative software, Reliability Engineering and System Safety, Elsevier Science, Vol. 57, No. 3, September,1997, pp J-5 A. Bondavalli, F. Di Giandomenico, I. Mura, An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Dependable Systems, Real Time Systems - The International Journal of Time-critical Computing Systems, Vol. 16, N. 1, 1999, Kluwer Academic Publishers, pp J-6 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini, A Contribution to the Evaluation of the Reliability of Iterative-execution Software, Software Testing, Verification and Reliability, John Wiley & Sons, Ltd., Vol 9, 1999, pp J-7 A. Burns, D. Prasad, A. Bondavalli, F. Di Giandomenico, K. Ramamritham, J. Stankovic, L. Strigini, The Meaning and Role of Value in Scheduling Flexible Real-Time Systems, Journal of Systems Architecture, Elsevier Science, vol. 46, 2000, pp J-8 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, F. Grandoni, Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults, IEEE Transactions on Computers, Oxford University Press, Vol. 49, N. 3, March 2000, pp J-9 F. Grandoni, S. Chiaradonna, F. Di Giandomenico, and A. Bondavalli Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications, in The Computer Journal, Oxford University Press, Special Issue on High Assurance Systems, Vol. 44, Issue 6: 2001, pp J-10 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and J. Xu "An Adaptive Approach to Achieving Hardware and Software Fault Tolerance in a Distributed Computing Environment", in Journal of Systems Architecture, Elsevier Science, Vol. 47 (9) (2002) pp J-11 S. Porcarelli, F. Di Giandomenico, A. Bondavalli, M. Barbera, I. Mura Service Level Availability Estimation of GPRS, in IEEE Transactions on Mobile Computing, Vol. 2(3), 2003, pp

5 J-12 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, I. Mura, " Dependability Modeling & Evaluation of Multiple-Phased Systems using DEEM in IEEE Transactions on Reliability, Vol. 53, N. 4, pp , December J-13 P. Lollini, F. Di Giandomenico, A. Bondavalli, A Modeling Methodology for Hierarchical control Systems and its Application, in the Journal of the Brazilian Computer Society, special Issue on Dependable Computing, Vol. 10, N. 3, pp , April J-14 G. Karetsos, S. A. Kyriazakos, E. Groustiotis, F. Di Giandomenico, I. Mura Hierarchical Radio Resource Management Framework for Integrating WLANs in Cellular Networking Environments, in IEEE Wireless Communications, December 2005, pp J-15 P. Lollini, A. Bondavalli, F. Di Giandomenico, A Decomposition-Based Modeling Framework for Complex Systems, in IEEE Transactions on Reliability, Vol. 58, N. 1, March 2009, pp Book Chapters B-1 F. Di Giandomenico, M.L. Guidotti, F. Grandoni and L. Simoncini, Evaluating the Efficiency of Byzantine Agreement Algorithms, in Hardware and Software Fault Tolerance in Parallel Computing Systems, D. R. Avresky (Eds.), Ellis Horwood Workshops, 1992, pp ; anche in Journal of Computer Systems Science & Engineering, vol. 4, pp. 3-11, B-2 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini, Dependability Analysis of Iterative Fault Tolerant Software Considering Correlation, in Predictably Dependable Computing Systems, J. C. Laprie, B. Randell H. Kopetz and B. Littlewood (Eds.), Springer-Verlag, 1995, pp B-3 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini, Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment, in Predictably Dependable Computing Systems, J. C. Laprie, B. Randell H. Kopetz and B. Littlewood (Eds.), Springer-Verlag, 1995, pp B-4 J. Xu, A. Bondavalli and F. Di Giandomenico, Dynamic Adjustment of Dependability and Efficiency in Fault- Tolerant Software, in Predictably Dependable Computing Systems, J. C. Laprie, B. Randell H. Kopetz and B. Littlewood (Eds.), Springer-Verlag, 1995, pp B-5 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, F. Grandoni, D. Powell, C. Rabejac, Error Diagnosis and Fault Treatment, in A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, David Powell (Ed.), Kluwer Academic Publisher, 2001, pp B-6 J. Arlat, A. Bondavalli, F. Di Giandomenico, M. T. Jarboui, E. Jenn, K. Kanoun, I. Mura, D. Powell, Dependability Evaluation, in A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, David Powell (Ed.), Kluwer Academic Publisher, 2001, pp B-7 A. Bondavalli, A. Coccoli and F. Di Giandomenico, QOS analysis of group communication protocols in wireless environment in Concurrency in Dependable Computing, Paul Ezhilchelvan and Alexander Romanovsky (eds.), Kluwer Academic Publishers, B-8 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, Model-Based Evaluation as a Support to the Design of Dependable Systems, in Dependable Computing Systems: Paradigms, Performance Issues, and Applications", Diab and Zomaya (Eds), John Wiley & Sons, Inc., B-9 S. Chiaradonna, F. Di Giandomenico, P. Lollini, Evaluation of Critical Infrastructures: Challenges and Viable Approaches, in Architecting Dependable Systems V, LNCS , pp , International Conferences and Workshops 5

6 I-1 F. Di Giandomenico, M.L. Guidotti, F. Grandoni and L. Simoncini, A Gracefully Degradable Algorithm for Byzantine Agreement, Sixth Symposium on Reliability in Distributed Software and Database Systems, Williamsburg, VA, 1987, pp I-2 F. Di Giandomenico, M.L. Guidotti, F. Grandoni and L. Simoncini, Efficient Algorithms for Byzantine Agreement, 10th International Conference on Fault Tolerant Systems & Diagnostics, Varna, Bulgaria, 1987, pp I-3 F. Di Giandomenico and L. Strigini, Adjudicators for Diverse-Redundant Components, 9th IEEE Symp. on Reliable Distributed Systems, Huntsville, AL, 1990, pp I-4 F. Di Giandomenico and L. Strigini, Implementations and Extensions of the Conversation Concept, 5th International Conference Fault-Tolerant Computing Systems Test, Diagnosis, Fault Treatment, Nurnberg FRG, 1991, pp I-5 L. Strigini and F. Di Giandomenico, Flexible Schemes for Application-Level Fault-Tolerance, 10th IEEE Symp. on Reliable Distributed Systems, Pisa, Italy, 1991, pp I-6 A. Bondavalli, S. Chiaradonna and F. Di Giandomenico, Efficient Fault Tolerance: an Approach to Deal with Transient Faults in Multiprocessor Architectures, IEEE ICPADS'94 - International Conference on Parallel and Distributed Systems, Hsinchu, Taiwan, ROC, 1994, pp I-7 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and L. Strigini, Dependability Models for Iterative Software Considering Correlation Between Successive Inputs, IPDS'95 - IEEE Int. Computer Performance and Dependability Symposium, Erlangen, Germany, 1995, pp I-8 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico and S. La Torre, Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation, SAFECOMP'95 - the 14-th International Conference on Computer safety, Reliability and Security, Belgirate, Italy, 1995, pp I-9 M. Bizzarri, P. Bizzarri, A. Bondavalli, F. Di Giandomenico and F. Tarini, Linguistic Tools for Flexible Design of Dependable Real-Time Applications, in Proc. 20th IFAC-IFIP WRTP'95, Ft. Lauderdale, Florida, USA, I-10 P. Bizzarri, A. Bondavalli, F. Di Giandomenico and F. Tarini, Planning the Execution of Task Groups in Real- Time Systems, in Proc. 8th Euromicro Workshop on Real-Time Systems, L'Aquila, Italy, IEEE Computer Society, I-11 A. Bondavalli, F. Di Giandomenico, I. Mura, A Value-Based Approach to Flexible Decision Making in Real- Time Dependable Systems, in Proc. 2nd International Workshop MCPA 97, Pisa, Italy, 1997, pp I-12 A. Bondavalli, F. Di Giandomenico, I. Mura, Value-Driven Resource Assignment in Object Oriented Real- Time Dependable Systems, in Proc. IEEE Workshop WORDS 97, Newport Beach, CA, 1997, pp I-13 F. Di Giandomenico, A. Bondavalli, J. Xu, S. Chiaradonna, Hardware and Software Fault Tolerance: Definition and Evaluation of Adaptive Architectures in Distributed Computing Environment, in Proc. International Conference on Safety and Reliability (ESREL 97), Lisbona, 1997, pp I-14 A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, F. Grandoni, Discriminating Fault Rate and Persistency to Improve Fault Treatment, in Proc. IEEE Intern. Symp. on Fault Tolerant Computing Systems (FTCS 27), Seattle, 1997, pp I-15 P. Bizzarri, A. Bondavalli, F. Di Giandomenico, A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis, in Proc. 5th IEEE Workshop on Future Trends of Distributed Computing Systems, Tunisia, October 1997, pp

7 I-16 A. Bondavalli, F. Di Giandomenico, F. Grandoni, D. Powell, C. Rabejac, State Restoration in a COTS-based N-Modular Architecture, in Proc First IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '98), Kyoto, Japan, April 20-22, 1998, pp I-17 M. Pizza, L. Strigini, A. Bondavalli, F. Di Giandomenico, Optimal Discrimination between Transient and Permanent Faults, in Proc. 3rd IEEE High Assurance Systems Engineering Symposium (HASE 98), pp I-18 F. Sandrini, F. Di Giandomenico, A. Bondavalli, E. Nett, Scheduling Solutions for Supporting Dependable Real-Time Applications, in Proc. Third IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC 2000), California, March 15-17, 2000, pp I-19 A. Bondavalli, F. Di Giandomenico, A Position on Design, Methods and Tools for Object-Oriented Real-Time Computing, in Proc. Third IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC 2000), California, March 15-17, 2000, pp , short contribution. I-20 F. Di Giandomenico, S. Chiaradonna, A,. Bondavalli and F. Grandoni, Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems, in Proc. International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA-2000, pp I-21 A. Coccoli, S. Schemmer, F. Di Giandomenico, M. Mock, A. Bondavalli, Analysis of Group Communication Protocols to Assess Quality of Service Properties, in Proc. 5th IEEE High Assurance Systems Engineering Symposium (HASE 2000), USA, November 2000, pp I-22 F. Tataranni, S. Porcarelli, F. Di Giandomenico, A. Bondavalli and L. Simoncini, Modeling and Analysis of the Behavior of GPRS Systems, in Proc. IEEE 6th International workshop on Object-oriented Real-Time Dependable Systems, Roma, Italy, January 2001, pp I-23 F. Tataranni, S. Porcarelli, F. Di Giandomenico, A. Bondavalli, Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems, in Proc. IEEE International Conference on Dependable Systems and Networks DSN 2001, Sweeden, June 2001, pp I-24 A. Coccoli, A. Bondavalli and F. Di Giandomenico, Analysis and Estimation of the Quality of Service of Group Communication Protocols, in Proc. Fourth IEEE International Symposium on Object-Oriented Realtime Distributed Computing (ISORC 2001), Germany, pp , May I-25 A. Chohra, F. Di Giandomenico, S. Porcarelli, A. Bondavalli, Towards optimal database maintenance in wireless communication systems in Proc. World Multiconference on Systemics, Cybernetics and Informatics, Vol. 1 Information Systems Development, Florida, USA, pp , July I-26 S. Porcarelli, F. Di Giandomenico, A.Chohra, A. Bondavalli, Tuning of database audits to improve scheduled maintenance in communication systems, in Computer Safety, Reliability and Security, Proc. of the 20th International Conference SAFECOMP 2001, Budapest, Hungary, pp Lecture Notes in Computer Science 2187, Springer, I-27 S. Porcarelli, F. Di Giandomenico, On the effects of outages on the QoS of GPRS networks under different user characterizations, in Dependable Computing EDCC 4, Proceedings 4 th European Dependable Computing Conference (EDCC-4), Toulouse, October 2002, A. Bondavalli and P. Thevenod-Fosse (Eds.), Springer-Verlag, Lecture Notes in Computer Science LNCS 2485, pp I-28 S. Porcarelli, F. Di Giandomenico, A. Bondavalli Analyzing Quality of Service of GPRS Network Systems from a User s Perspective, in Proc IEEE Symposium on Computers and Communications (ISCC 02), Taormina, Italy, July 2002, pp

8 I-29 F. Di Giandomenico, S. Porcarelli, P. Lollini, A. Bondavalli Dependability Issues in Radio Resource Management of Wireless Systems, in Proc. WPMC 03 the 6 th International Symposium on Wireless Personal Multimedia Communications, Japan, October 2003, Vol. 2, pp I-30 S. Porcarelli, F. Di Giandomenico, A. Bondavalli, P. Lollini, Model-based Evaluation of a Radio Resource Management System for Wireless Networks, in Proc. ACM Computing Frontiers, April , Ischia, Italy, pp I-31 S. Porcarelli, F. Di Giandomenico, P. Lollini, A. Bondavalli, A Modular Approach for Model-based Dependabilty Evaluation of a Class of Systems, in Proc. International Service Availability Symposium (ISAS 2004), May 2004, Munich, Germany, Lecture Notes in Computer Science 3335, Malek et al. (Eds), Springer-Verlag, pp , I-32 P. Lollini, A. Bondavalli, F. Di Giandomenico, S. Porcarelli, Congestion Analysis during Outage, Congestion Treatment and Outage Recovery for simple GPRS networks, in Proc IEEE Symposium on Computers and Communications (ISCC 04), Alexandria, Egypt, June 28-July 1, 2004, pp I-33 L. Simoncini, F. Di Giandomenico, A. Bondavalli, S. Chiaradonna, Architectural Challenges for a Dependable Information Society, in Proc. IFIP World Computer Conference (WCC 2004),Topical session 3 Fault Tolerance for Trustworthy Dependable Information Infrastructures, Toulouse, France, August 2004, Kluwer Academic Publishers, pp I-34 S. Porcarelli, M. Castaldi, F. Di Giandomenico, A. Bondavalli, P. Inverardi, A Framework for Reconfiguration-based Fault-Tolerance in Distributed Systems, in Architecting Dependable Systems II, Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (Eds.), Springer-Verlag, LNCS 3069, printed in Germany, I-35 P. Lollini, A. Bondavalli, F. Di Giandomenico, Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures, in Proc. Second International Service Availability Symposium (ISAS 2005), Berlin, April 2005, LNCS 3694, Springer-Verlag, pp I-36 P. Lollini, A. Bondavalli, F. Di Giandomenico, QoS Analysis of a UMTS Cell with Different Service Classes, in Proc. Of the 4 th IASTED International Conference Communication Systems and Networks, September 12-14, 2005, Benidom, Spain, pp I-37 L. Falai, A. Bondavalli, F. Di Giandomenico, NekoStat Extension for Neko: Quantitative Evaluation of Distributed Algorithms, in Proc. 2 nd International Conference on Quantitative Evaluation of Systems, Torino, Italy, September, 2005, pp I-38 L. Falai, A. Bondavalli, F. Di Giandomenico, Quantitative Evaluation of Distributed Algorithms using the Neko Framework: the NekoStat Extension, in Proc. 2 nd Latin-American Symposium on Dependable Computing, Salvador, Brazil, October I-39 L. Gönczy, S. Chiaradonna, F. Di Giandomenico, A. Pataricza, A. Bondavalli, T. Bartha, Dependability Evaluation of Web Service-based Processes, in Proc. 3 rd European Performance Engineeering Workshop, Budapest, A. Horváth and M. Telek (Eds.): EPEW 2006, LNCS 4054, pp , I-40 A. Daidone, F. Di Giandomenico, A. Bondavalli, and S. Chiaradonna, Hidden Markov models as a support for diagnosis: Formalization of the problem and synthesis of the solution, in 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), pages , Leeds, UK, October I-41 S. Chiaradonna, P. Lollini, and F. Di Giandomenico, On a modeling framework for the analysis of interdependencies in electric power systems, in IEEE/IFIP 37th Int. Conference on Dependable Systems and Networks (DSN 2007), Edinburgh, UK, June

9 I-42 F. Romani, S. Chiaradonna, F. Di Giandomenico, L. Simoncini, Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies, in Proc. IEEE HASE 2007, pp , Dallas, Nov I-43 S. Chiaradonna, F. Di Giandomenico and P. Lollini, Interdependencies Analysis in Electric Power Systems, to appear in Proceedings 3rd International Workshop on Critical Information Infrastructures Security (CRITIS 08), October 13-15, 2008, Frascati (Rome), Italy I-44 M. Beccuti, G. Franceschinis, S. Donatelli, S. Chiaradonna, F. Di Giandomenico, P. Lollini, G. Dondossola, F. Garrone, Quantification of Dependencies in Electrical and Informatio Infrastructures: the CRUTIAL Approach, in Fourth International CRIS conference on Critical Infrastructures CRIS 09, Linköping, Sweden, April Communications at International Conferences C-1 D. Powell, J. Arlat, L. Beus-Dukic, A. Wellings, A. Bondavalli, F. Di Giandomenico, Ultra-Dependable and Real-Time Systems: The GUARDS Approach, presented at the 3rd Plenary Workshop of the Esprit Network of Excellence CaberNet 21035, Rennes, France, April 1997; available on the Web, at the address: C-2 F. Di Giandomenico, F. Grandoni, A. Bondavalli and I. Mura, Scheduling Solutions for a Unified Approach to the Tolerance of Value and Timing Faults, in Proc. 29th IEEE FTCS - International Symposium on Fault Tolerant Computing - Fast Abstracts Track, Madison, WI, June , pp C-3 A. Bondavalli, A. Coccoli and F. Di Giandomenico, Dependability and performance analysis of a protocol for efficient real-time group communication, 11th European Workshop on Dependable Computing (EWDC-11), Budapest, Hungary, May 11-13, 2000, extended abstract. C-4 A. Bondavalli, F. Di Giandomenico, S. Porcarelli Model-based dynamic reconfiguration in complex critical systems, in Supplement of the Proc. EDCC-4, Fast Abstracts Track, Toulouse, October C-5 A. Bondavalli, F. Di Giandomenico, F. Grandoni, P. Lollini, S. Porcarelli, Dependability Provisions for a Network Management Platform, in Supplement of the Proc. IEEE DSN 2003, Fast Abstracts Track, San Francisco, June C-6 S. Porcarelli, M. Castaldi, F. Di Giandomenico, A. Bondavalli, P. Inverardi An Approach to Manage Reconfiguration in Fault Tolerant Distributed Systems, in Proc. ICSE 2003 Workshop on Architectures for Dependable Systems (WADS 2003), Portland, USA, 3 May 2003, electronic version available at C-7 F. Di Giandomenico, S. Porcarelli, D. Viva, A. Bondavalli, P. Lollini, Model-based Evaluation for Dependability Assessment of CAUTION++ Instances, in Proc. Mobile Venue 2004, Athens, May 2004 (informal proceedings). C-8 P. Lollini, F. Di Giandomenico, A. Bondavalli, S. Porcarelli, Congestion analysis in a general GPRS network, in Proc. Mobile Venue 2004, Athens, May 2004 (informal proceedings). C-9 L. Gonczy, A. Pataricza, F. Di Giandomenico, S. Chiaradonna, A. Bondavalli, Dependability Modeling of web Service Flows, in Supplement of the 5 th European Dependable Computing Conference, Fast Abstracts Track, Budapest, April 2005, pp C-10 F. Di Giandomenico, S. Chiaradonna, E. Galliano, I. Mura, Model-based dimensioning of CAUTION++, in Proc, 15 th Mobile and Wireless Communications Summit 2006, Greece, June

10 C-11 F. Romani, S. Chiaradonna, F. Di Giandomenico, L. Simoncini, A Simulator for Performability Analysis of Electrical Power Systems Considering Interdependencies, in Supplement of the Proc. IEEE DSN 2007, Fast Abstracts Track, Edinburgh, UK, June

Dependability Issues in Radio Resource Management of Wireless Systems

Dependability Issues in Radio Resource Management of Wireless Systems Dependability Issues in Radio Resource Management of Wireless Systems Felicita Di Giandomenico ISTI - CNR, Pisa, Italy digiandomenico@isti.cnr.it Stefano Porcarelli ISTI - CNR, Pisa, Italy porcarelli@isti.cnr.it

More information

ReSIST NoE Resilience for Survivability in IST. Introduction

ReSIST NoE Resilience for Survivability in IST. Introduction ReSIST NoE Resilience for Survivability in IST Modelling and Evaluation of Largeness in Evolving Systems Andrea Bondavalli University of Firenze (here PISA) Introduction Systems complexity has always been

More information

Curriculum Vitae Felicita Di Giandomenico

Curriculum Vitae Felicita Di Giandomenico Curriculum Vitae Felicita Di Giandmenic Octber 2014 Cntact Address: ISTI-CNR, Via G. Mruzzi 1, 56124 Pisa, Italy Email: felicita.digiandmenic@isti.cnr.it Academic Degree Laurea in Cmputer Science frm the

More information

EDUCATION Laurea degree in Computer Science summa cum laude from the University of Pisa, Italy in 1984.

EDUCATION Laurea degree in Computer Science summa cum laude from the University of Pisa, Italy in 1984. Vittoria DE NITTO PERSONE' RESEARCH INTERESTS Modeling and performance evaluation of computer/communication systems, Queueing Networks, Markov Chains. Wireless systems and Networks, Web Servers EDUCATION

More information

Tutorial Proposal for MONAMI 2012 Operating Heterogeneous Wireless Networks with SON (Self-Organizing Networks)

Tutorial Proposal for MONAMI 2012 Operating Heterogeneous Wireless Networks with SON (Self-Organizing Networks) Tutorial Proposal for MONAMI 2012 Operating Heterogeneous Wireless Networks with SON (Self-Organizing Networks) Objectives Dr. Henning Sanneck, Lars Christoph Schmelz Providing a comprehensive introduction

More information

Ali Ebnenasir. Department of Computer Science, Michigan Technological University.

Ali Ebnenasir. Department of Computer Science, Michigan Technological University. Ali Ebnenasir 221 Rekhi Hall E-Mail: aebnenas@mtu.edu Department of Computer Science Phone: 906-487-4372 Michigan Technological University Fax: 906-487-2283 Houghton MI 49931 http://www.cs.mtu.edu/~aebnenas

More information

Title ISSN SJR H index Country Foundations and Trends in Information 1554 1 Retrieval

Title ISSN SJR H index Country Foundations and Trends in Information 1554 1 Retrieval Title ISSN SJR H index Country Foundations and Trends in Information 1554 1 Retrieval 0677 Q1 6,536 12 United States 2 Swarm and Evolutionary Computation 2210 6502 Q1 3,364 8 Netherlands 3 IEEE Transactions

More information

Some Software Technologies for Resilient Computing

Some Software Technologies for Resilient Computing Some Software Technologies for Resilient Computing Jean-Charles FABRE OSD Conference, Tokyo, Japan, March 7, 2012 Resilient computing Resilience is defined as the persistence of dependability when facing

More information

Representing Exceptional Behaviour at the earlier Phases of Software Development

Representing Exceptional Behaviour at the earlier Phases of Software Development Representing Exceptional Behaviour at the earlier Phases of Software Development Rogério de Lemos Computing Laboratory University of Kent at Canterbury, CT2 7NF, UK r.delemos@ukc.ac.uk Exception handling

More information

Critical Interdependent Infrastructures modeling, simulation and analysis

Critical Interdependent Infrastructures modeling, simulation and analysis Born in Roma, ITALY August 7th, 1973. Home: Via Francesco di Benedetto, 204 00173 Roma, ITALY Mobile: +39 320 4269 517 +39 347 9374 437 Office: Dipartimento di Informatica Sistemi e Prod. Università di

More information

Sergio.Fernandes@tecnico.ulisboa.pt IST/INESC-ID. http://fenix.tecnico.ulisboa.pt/homepage/ist14264 R. Alves Redol 9 Sala 132 1000-029 Lisboa PORTUGAL

Sergio.Fernandes@tecnico.ulisboa.pt IST/INESC-ID. http://fenix.tecnico.ulisboa.pt/homepage/ist14264 R. Alves Redol 9 Sala 132 1000-029 Lisboa PORTUGAL Sérgio Miguel Fernandes Sergio.Fernandes@tecnico.ulisboa.pt IST/INESC-ID http://fenix.tecnico.ulisboa.pt/homepage/ist14264 R. Alves Redol 9 Sala 132 1000-029 Lisboa PORTUGAL Curriculum Vitae Personal Data

More information

Andrea Bondavalli. bondavalli@unifi.it http://rcl.dsi.unifi.it. Università degli Studi di Firenze

Andrea Bondavalli. bondavalli@unifi.it http://rcl.dsi.unifi.it. Università degli Studi di Firenze Model based Quantitative Resilience Assessment of Critical Information Infrastructures Andrea Bondavalli bondavalli@unifi.it http://rcl.dsi.unifi.it Short Intro Basics Outline The research framework and

More information

Curriculum Vitae et Studiorum

Curriculum Vitae et Studiorum Curriculum Vitae et Studiorum of: Last Updated: August 22, 2006 Personal Family Name: Vardanega First Name: Tullio Citizenship: Italian Marital Status: Single Date of Birth: January 12, 1963 Place of Birth:

More information

Curriculum Vitae RESEARCH INTERESTS EDUCATION. SELECTED PUBLICATION Journal. Current Employment: (August, 2012 )

Curriculum Vitae RESEARCH INTERESTS EDUCATION. SELECTED PUBLICATION Journal. Current Employment: (August, 2012 ) Curriculum Vitae Michael Tu Current Employment: (August, 2012 ) Assistant Professor Department of Computer Information Technology and Graphics School of Technology Purdue University Calumet Email: manghui.tu@purduecal.edu

More information

Curriculum Vitae. (last update: August 13 2005)

Curriculum Vitae. (last update: August 13 2005) Curriculum Vitae (last update: August 13 2005) Education November 1996: Laurea in Ingegneria Informatica (110/110 con lode) at University of Pisa. Thesis title: Progetto e Realizzazione di Meccanismi di

More information

Securing wireless sensor networks

Securing wireless sensor networks Securing wireless sensor networks ODU Sensor Network Research Group Stephan Olariu Ashraf Wadaa Larry Wilson Kennie Jones ODU ODU ODU NASA LANGLEY Agenda What are wireless sensor networks (WSNs)? Security

More information

Ming-Hsing Chiu. Home: (985)845-2664 340 Chapel Loop Office: (985)549-5313 EDUCATION

Ming-Hsing Chiu. Home: (985)845-2664 340 Chapel Loop Office: (985)549-5313 EDUCATION Ming-Hsing Chiu Home: (985)845-2664 340 Chapel Loop Office: (985)549-5313 Mandeville, LA 70471 e-mail: mchiu@selu.edu EDUCATION Ph.D. in Computer Science, University of Central Florida, May 99. Dissertation

More information

AJITHA RAJAN. School of Informatics Phone: (+ 44)(1316505118)

AJITHA RAJAN. School of Informatics Phone: (+ 44)(1316505118) AJITHA RAJAN School of Informatics Phone: (+ 44)(1316505118) University of Edinburgh Email: ajitha.rajan@gmail.com 10 Crichton Street Edinburgh EH8 9AB, United Kingdom EDUCATION Ph.D. in Computer Science,

More information

Curriculum Vitae. 1 Person Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German

Curriculum Vitae. 1 Person Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German Curriculum Vitae 1 Person Name Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German 2 Education 1974 Dipl.-Inf. Degree from the University

More information

An Agent-Based Concept for Problem Management Systems to Enhance Reliability

An Agent-Based Concept for Problem Management Systems to Enhance Reliability An Agent-Based Concept for Problem Management Systems to Enhance Reliability H. Wang, N. Jazdi, P. Goehner A defective component in an industrial automation system affects only a limited number of sub

More information

Department of Electronic Information Engineering, Beihang Univerisity Specialization: Electrical Engineering, Completion: July 2004

Department of Electronic Information Engineering, Beihang Univerisity Specialization: Electrical Engineering, Completion: July 2004 Jin Kocsis (Jin Wei) CURRICULUM VITAE Assistant Professor Department of Electrical and Computer Engineering Auburn Science and Engineering Center, Room 554 The University of Akron Akron, OH, 44325-3905

More information

Curriculum Vitae of. Vicky G. Papadopoulou

Curriculum Vitae of. Vicky G. Papadopoulou Curriculum Vitae of Vicky G. Papadopoulou Personal Information Full Name: Vicky G. Papadopoulou Home Address: Odysseos 23, Strovolos, PO Box 2040, Nicosia, Cyprus Phones: Office: +357 22 713046 Email:

More information

CURRICULUM VITAE ET STUDIORUM

CURRICULUM VITAE ET STUDIORUM Silvia Rossi CURRICULUM VITAE ET STUDIORUM Personal Data Date of birth : May 16, 1977 City of Birth : Caserta (Italy) Email : silvia.rossi@gmail.com Education Diploma di Maturita Scientifica, Liceo Scientifico

More information

Ulrik M. Nyman - Curriculum Vitæ

Ulrik M. Nyman - Curriculum Vitæ Ulrik M. Nyman - Curriculum Vitæ Personal Information Ulrik Mathias Nyman Phone: 40 89 21 56 Doravej 45 st. th. Email: ulrik@cs.aau.dk 9000 Aalborg Born: 2nd of December 1978 Married to Tina, Father of

More information

1999 2004 Diploma (5-year degree), School of Applied Mathematics and Physics, NTUA (Greece) Major: Computer Science and Applied Mathematics.

1999 2004 Diploma (5-year degree), School of Applied Mathematics and Physics, NTUA (Greece) Major: Computer Science and Applied Mathematics. Curriculum Vitae Vassilis Zikas Postdoctoral Researcher, UCLA University of California, Los Angeles Los Angeles, CA 90095-1596 +1 (424) 781-7942 vzikas@cs.ucla.edu www.cs.ucla.edu/~vzikas Education 2006

More information

FRANCESCO BELLOCCHIO S CURRICULUM VITAE ET STUDIORUM

FRANCESCO BELLOCCHIO S CURRICULUM VITAE ET STUDIORUM FRANCESCO BELLOCCHIO S CURRICULUM VITAE ET STUDIORUM April 2011 Index Personal details and education 1 Research activities 2 Teaching and tutorial activities 3 Conference organization and review activities

More information

Starting up COST 290 "Wi-QoST: Traffic and QoS Management in Wireless Multimedia Networks"

Starting up COST 290 Wi-QoST: Traffic and QoS Management in Wireless Multimedia Networks Starting up COST 290 "Wi-QoST: Traffic and QoS Management in Wireless Multimedia Networks" Koucheryavy Yevgeni, PhD Tampere University of Technology Finland Outline COST 290 Action Motivation, Technical

More information

CURRICULUM VITAE. Dept. of Mechanical Engineering and Industrial Design Τ.Ε.Ι. of Western Macedonia 50100 KOZANI, GREECE

CURRICULUM VITAE. Dept. of Mechanical Engineering and Industrial Design Τ.Ε.Ι. of Western Macedonia 50100 KOZANI, GREECE CURRICULUM VITAE PERSONAL DATA Name: Dimokritos Panagiotopoulos Date of birth: March 21, 1960 Family Status: Married, has two children Current Posistion: Work Address: Tel. No. (Work): Mobile No.: E-mail:

More information

The Overload Fault Tolerance Theory of Parallel Design

The Overload Fault Tolerance Theory of Parallel Design SIMULATION OF FAULT-TOLERANT SCHEDULING ON REAL-TIME MULTIPROCESSOR SYSTEMS USING PRIMARY BACKUP OVERLOADING Bindu Mirle and Albert M. K. Cheng Real-Time Systems Laboratory Department of Computer Science

More information

Curriculum Vitae. Zhenchang Xing

Curriculum Vitae. Zhenchang Xing Curriculum Vitae Zhenchang Xing Computing Science Department University of Alberta, Edmonton, Alberta T6G 2E8 Phone: (780) 433 0808 E-mail: xing@cs.ualberta.ca http://www.cs.ualberta.ca/~xing EDUCATION

More information

Curriculum of the research and teaching activities. Matteo Golfarelli

Curriculum of the research and teaching activities. Matteo Golfarelli Curriculum of the research and teaching activities Matteo Golfarelli The curriculum is organized in the following sections I Curriculum Vitae... page 1 II Teaching activity... page 2 II.A. University courses...

More information

Gian-Luca Dei Rossi Curriculum Vitae et Studiorum

Gian-Luca Dei Rossi Curriculum Vitae et Studiorum Gian-Luca Dei Rossi Curriculum Vitae et Studiorum Personal Data Name Surname Place of Birth Gian-Luca Dei Rossi Venice, Italy Date of Birth 10th February 1981 Nationality Education Dec 2013 Apr 2010 Jul

More information

A STUDY OF THE BEHAVIOUR OF THE MOBILE AGENT IN THE NETWORK MANAGEMENT SYSTEMS

A STUDY OF THE BEHAVIOUR OF THE MOBILE AGENT IN THE NETWORK MANAGEMENT SYSTEMS A STUDY OF THE BEHAVIOUR OF THE MOBILE AGENT IN THE NETWORK MANAGEMENT SYSTEMS Tarag Fahad, Sufian Yousef & Caroline Strange School of Design and Communication Systems, Anglia Polytechnic University Victoria

More information

Curriculum Vitae Michael M. Zavlanos

Curriculum Vitae Michael M. Zavlanos Curriculum Vitae Michael M. Zavlanos Home Address Work Address 2114 Pine Street 3330 Walnut Street Apartment 1 Front GRASP Laboratory, Levine Hall 465 Philadelphia, PA 19103 Dept. of Electrical and Systems

More information

Chapter 17: M2M-Based Metropolitan Platform for IMS-Enabled Road Traffic Management in IoT

Chapter 17: M2M-Based Metropolitan Platform for IMS-Enabled Road Traffic Management in IoT Chapter 17: M2M-Based Metropolitan Platform for IMS-Enabled Road Traffic Management in IoT Chih-Yuan Lee Department of CSIE National Taipei University 1 Outline Abstract Introduction Background System

More information

A Contribution to Expert Decision-based Virtual Product Development

A Contribution to Expert Decision-based Virtual Product Development A Contribution to Expert Decision-based Virtual Product Development László Horváth, Imre J. Rudas Institute of Intelligent Engineering Systems, John von Neumann Faculty of Informatics, Óbuda University,

More information

Evaluation of PAMS Adaptive Management Services

Evaluation of PAMS Adaptive Management Services Evaluation of PAMS Adaptive Services Yoonhee Kim, Department of Electrical Engineering and Computer Science, Syracuse University Syracuse, NY 13244 yhkim@ecs.syr.edu ABSTRACT of large-scale parallel and

More information

STUDY AND SIMULATION OF A DISTRIBUTED REAL-TIME FAULT-TOLERANCE WEB MONITORING SYSTEM

STUDY AND SIMULATION OF A DISTRIBUTED REAL-TIME FAULT-TOLERANCE WEB MONITORING SYSTEM STUDY AND SIMULATION OF A DISTRIBUTED REAL-TIME FAULT-TOLERANCE WEB MONITORING SYSTEM Albert M. K. Cheng, Shaohong Fang Department of Computer Science University of Houston Houston, TX, 77204, USA http://www.cs.uh.edu

More information

Dr Christos Anagnostopoulos. 1. Education. 2. Present employment. 3. Previous Appointments. Page 1 of 6

Dr Christos Anagnostopoulos. 1. Education. 2. Present employment. 3. Previous Appointments. Page 1 of 6 Dr Christos Anagnostopoulos 1. Education Ph.D. in Computer Science Department of Informatics & Telecommunications, National and Kapodistrian University of Athens, July 2008 Dissertation: Pervasive and

More information

ReSIST NoE Resilience for Survivability in IST

ReSIST NoE Resilience for Survivability in IST MSc Curriculum in Resilient Computing Courseware availability Luca Simoncini University of Pisa, Italy Curriculum rationale To move from the usual application-driven MSc curricola (like MSc in embedded

More information

An Efficient Fault Tolerance Model for Path Recovery in MPLS Networks

An Efficient Fault Tolerance Model for Path Recovery in MPLS Networks An Efficient Fault Tolerance Model for Path Recovery in MPLS Networks Arunkumar C K M.Tech student, Dept. of ECE, Dayananda Sagar College of Engineering, VTU, Banglore, India ABSTRACT: Increasing demand

More information

A Data Grid Model for Combining Teleradiology and PACS Operations

A Data Grid Model for Combining Teleradiology and PACS Operations MEDICAL IMAGING TECHNOLOGY Vol.25 No.1 January 2007 7 特 集 論 文 / 遠 隔 医 療 と 画 像 通 信 A Data Grid Model for Combining Teleradiology and Operations H.K. HUANG *, Brent J. LIU *, Zheng ZHOU *, Jorge DOCUMET

More information

Modular Communication Infrastructure Design with Quality of Service

Modular Communication Infrastructure Design with Quality of Service Modular Communication Infrastructure Design with Quality of Service Pawel Wojciechowski and Péter Urbán Distributed Systems Laboratory School of Computer and Communication Sciences Swiss Federal Institute

More information

Overview and History of Software Engineering

Overview and History of Software Engineering Overview and History of Software Engineering CS 230 Introduction to Software Engineering Slide 1 Outline Historical aspects - software crisis Software product Software process Software fault and failures

More information

Event Log based Dependability Analysis of Windows NT and 2K Systems

Event Log based Dependability Analysis of Windows NT and 2K Systems Event Log based Dependability Analysis of Windows NT and 2K Systems Cristina Simache, Mohamed Kaâniche, and Ayda Saidane LAAS-CNRS 7 avenue du Colonel Roche 31077 Toulouse Cedex 4 France {crina, kaaniche,

More information

Ph.D., Particle Physics Theory Thesis title: FCNC Processes of B and K Mesons from Lattice QCD University of Edinburgh October 1995 July1999

Ph.D., Particle Physics Theory Thesis title: FCNC Processes of B and K Mesons from Lattice QCD University of Edinburgh October 1995 July1999 Curriculum Vitae Date of Birth: 8 th April 1971 Nationality: Place of Birth: Work Address: Taiwanese Taipei City Institute for Physics National Chiao-Tung University Hsinchu 300 Taiwan Work Telephone:

More information

A Quality Requirements Safety Model for Embedded and Real Time Software Product Quality

A Quality Requirements Safety Model for Embedded and Real Time Software Product Quality A Quality Requirements Safety Model for Embedded and Real Time Product Quality KHALID T. AL-SARAYREH Department of Engineering Hashemite University Zarqa 13115, Jordan khalidt@hu.edu.jo Abstract safety

More information

Sustainability and Energy Efficiency in Data Centers Design and Operation

Sustainability and Energy Efficiency in Data Centers Design and Operation Sustainability and Energy Efficiency in Data Centers Design and Operation Krishna Kant Intel and GMU krishna.kant@intel.com David Du University of Minnesota du@cs.umn.edu Abstract The tutorial will provide

More information

Sofia Ceppi. Personal Information 2. Association Memberships 2. Education 2. Academic Positions and Affiliations 3

Sofia Ceppi. Personal Information 2. Association Memberships 2. Education 2. Academic Positions and Affiliations 3 CURRICULUM VITAE ET STUDIORUM Sofia Ceppi INDICE Personal Information 2 Association Memberships 2 Education 2 Academic Positions and Affiliations 3 Teaching Activities 3 Teaching Assistantships.........................................

More information

CURRICULUM VITAE CLARA GRAZIANO

CURRICULUM VITAE CLARA GRAZIANO CURRICULUM VITAE of CLARA GRAZIANO PERSONAL Name and surname: Clara Graziano Address (private): via Carducci 45, 30172 Mestre-Venezia phone: office 0432 249216, fax: 0432 249229 mobile: 345 9883469 marital

More information

Ali Ebnenasir. (Last updated on September 2013)

Ali Ebnenasir. (Last updated on September 2013) Ali Ebnenasir (Last updated on September 2013) 221 Rekhi Hall E-Mail: aebnenas@mtu.edu Department of Computer Science Phone: 906-487-4372 Michigan Technological University Fax: 906-487-2283 Houghton MI

More information

Dynamic Scheduling of Object Invocations in Distributed Object Oriented Real-Time Systems Jørgensen, Bo Nørregaard; Joosen, Wouter

Dynamic Scheduling of Object Invocations in Distributed Object Oriented Real-Time Systems Jørgensen, Bo Nørregaard; Joosen, Wouter Syddansk Universitet Dynamic Scheduling of Object Invocations in Distributed Object Oriented Real-Time Systems Jørgensen, Bo Nørregaard; Joosen, Wouter Published in: Lecture Notes in Computer Science Publication

More information

Master's Degree Program in Computer Science

Master's Degree Program in Computer Science Master's Degree Program in Computer Science 1. Curriculum Title Master of Science (Computer Science) M.Sc. (Computer Science) 2. Degree Title Master of Science (Computer Science) M.Sc. (Computer Science)

More information

Emerging Trends and The Role of Standards in Future Health Systems. Nation-wide Healthcare Standards Adoption: Working Groups and Localization

Emerging Trends and The Role of Standards in Future Health Systems. Nation-wide Healthcare Standards Adoption: Working Groups and Localization HL7 Pakistan 1 st Workshop Emerging Trends and The Role of Standards in Future Health Systems Nation-wide Healthcare Standards Adoption: Working Groups and Localization Mr. Muhammad Afzal (HL7 V3 RIM Certified

More information

Dependable Computing EDDC-3

Dependable Computing EDDC-3 Jan Hlavicka Erik Maehle Andras Pataricza (Eds.) Dependable Computing EDDC-3 Third European Dependable Computing Conference Prague, Czech Republic, September 15-17, 1999 Proceedings Springer Technische

More information

The Impact of SOA Policy-Based Computing on C2 Interoperation and Computing

The Impact of SOA Policy-Based Computing on C2 Interoperation and Computing The Impact of SOA Policy-Based Computing on C2 Interoperation and Computing Raymond Paul OSD NII Department of Defense Washington, DC W. T. Tsai Department of Computer Science and Engineering Arizona State

More information

Analysis of an Artificial Hormone System (Extended abstract)

Analysis of an Artificial Hormone System (Extended abstract) c 2013. This is the author s version of the work. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purpose or for creating

More information

Curriculum Vitae... Education: 2001 Ph.D. Computer Machines, Systems and Networks; Lviv University, Lviv

Curriculum Vitae... Education: 2001 Ph.D. Computer Machines, Systems and Networks; Lviv University, Lviv Curriculum Vitae... Name: Qadri Jamal Hamarsheh P.O. Box: 1 Philadelphia University, 19392 Jordan Tel: 96264799000/2492 Mobile: 0777398149 E-mail: qhamarsheh@philadelphia.edu.jo qadri_ham@yahoo.com Office:

More information

Collaborative & Integrated Network & Systems Management: Management Using Grid Technologies

Collaborative & Integrated Network & Systems Management: Management Using Grid Technologies 2011 International Conference on Computer Communication and Management Proc.of CSIT vol.5 (2011) (2011) IACSIT Press, Singapore Collaborative & Integrated Network & Systems Management: Management Using

More information

An Object Oriented Role-based Access Control Model for Secure Domain Environments

An Object Oriented Role-based Access Control Model for Secure Domain Environments International Journal of Network Security, Vol.4, No.1, PP.10 16, Jan. 2007 10 An Object Oriented -based Access Control Model for Secure Domain Environments Cungang Yang Department of Electrical and Computer

More information

How To Understand The Difference Between Model Based And Event Based Development In Computer Science And Control Theory

How To Understand The Difference Between Model Based And Event Based Development In Computer Science And Control Theory SOME ISSUES IN MODEL-BASED DEVELOPMENT FOR EMBEDDED CONTROL SYSTEMS Paul Caspi caspi@lmag.fr Verimag-CNRS www-verimag. imag.fr Abstract This presentation aims to discuss the needs for better and more soud

More information

Representing the CRUTIAL project domain by means of UML diagrams

Representing the CRUTIAL project domain by means of UML diagrams Representing the CRUTIAL project domain by means of UML diagrams Davide Cerotti 1, Daniele Codetta-Raiteri 2, Susanna Donatelli 3, C. Brasca 4, Giovanna Dondossola 4, Fabrizio Garrone 4 1 Dipartimento

More information

Multimedia Data Transmission over Wired/Wireless Networks

Multimedia Data Transmission over Wired/Wireless Networks Multimedia Data Transmission over Wired/Wireless Networks Bharat Bhargava Gang Ding, Xiaoxin Wu, Mohamed Hefeeda, Halima Ghafoor Purdue University Website: http://www.cs.purdue.edu/homes/bb E-mail: bb@cs.purdue.edu

More information

Resume of Hanan H. Elazhary

Resume of Hanan H. Elazhary Resume of Hanan H. Elazhary Home Phone: 35853017, 35853986 Cell Phone: 0112302019 E-mail: hanan@eri.sci.eg, hananelazhary@hotmail.com Nationality: Egyptian Gender: Female EDUCATION Ph.D. in Computer Science

More information

Curriculum Vitae Timothy R. Colburn Associate Professor Department of Computer Science University of Minnesota, Duluth Duluth, MN 55812

Curriculum Vitae Timothy R. Colburn Associate Professor Department of Computer Science University of Minnesota, Duluth Duluth, MN 55812 Curriculum Vitae Timothy R. Colburn Associate Professor Department of Computer Science University of Minnesota, Duluth Duluth, MN 55812 email: tcolburn@d.umn.edu web: www.d.umn.edu/~tcolburn Education

More information

SOFTWARE ENGINEERING PROGRAM

SOFTWARE ENGINEERING PROGRAM SOFTWARE ENGINEERING PROGRAM PROGRAM TITLE DEGREE TITLE Master of Science Program in Software Engineering Master of Science (Software Engineering) M.Sc. (Software Engineering) PROGRAM STRUCTURE Total program

More information

Doctorate of Philosophy Candidate, Information and Communication Technologies, January 2013 - March 2015.

Doctorate of Philosophy Candidate, Information and Communication Technologies, January 2013 - March 2015. Antonio Petitti Contact Information Mobile Robotics Laboratory Institute of Intelligent Systems for Automation Via Amendola, 122/D-O, 70126 Bari, Italy Phone: +39 080 592 9423 Email: petitti@ba.issia.cnr.it

More information

EUROPEAN STUDENT GUIDE COMPUTER SCIENCE. www.swansea.ac.uk/compsci www.swansea.ac.uk/science/international

EUROPEAN STUDENT GUIDE COMPUTER SCIENCE. www.swansea.ac.uk/compsci www.swansea.ac.uk/science/international EUROPEAN STUDENT GUIDE COMPUTER SCIENCE www.swansea.ac.uk/compsci www.swansea.ac.uk/science/international Reasons to study at Swansea University Computer Science at Swansea University Established in 1920,

More information

Cayssials, Ricardo Luis

Cayssials, Ricardo Luis CURRICULUM VITAE Cayssials, Ricardo Luis Address: Av. Alem 1253 Tel.: 00 54 291 4595181 1. ACADEMICAL DEGREE Electronics Engineer: Universidad Nacional del Sur, 1993. Bahía Blanca. Engineering PhD, Universidad

More information

Bachelor Degree in Informatics Engineering Master courses

Bachelor Degree in Informatics Engineering Master courses Bachelor Degree in Informatics Engineering Master courses Donostia School of Informatics The University of the Basque Country, UPV/EHU For more information: Universidad del País Vasco / Euskal Herriko

More information

Curriculum Vitae Et Studiorum

Curriculum Vitae Et Studiorum Curriculum Vitae Et Studiorum Gianfranco PRADISI Personal Data Place and Date of Birth: Rocca Canterano (ROMA), Italy, 13 november 1961. Nationality: italian citizen. Marital status: married, 1 son. Private

More information

CURRICULUM VITAE FERNANDO LUÍS TODO-BOM FERREIRA DA COSTA

CURRICULUM VITAE FERNANDO LUÍS TODO-BOM FERREIRA DA COSTA CURRICULUM VITAE FERNANDO LUÍS TODO-BOM FERREIRA DA COSTA Full Name: Fernando Luís Todo-Bom Ferreira da Costa Living Address: R. Tomás da Fonseca 36, 7-B, 1600-275 Lisboa Cell Phone: 91 4426281 E-mail

More information

A Performance Management architecture for QoS enabled heterogeneous networks

A Performance Management architecture for QoS enabled heterogeneous networks IST MOBILE SUMMIT 2007 1 A Performance Management architecture for QoS enabled heterogeneous networks Nikos Koutsouris, Krzysztof Loziak, Marek Sikora, Nuno Sénica and Efstathios Sykas Abstract In a composite

More information

Curriculum Vitae. Vladimír Guzma. Flat 16, Moore Court, 2 Dodd Road, WD24 5DA, Watford, United Kingdom Telephone(s) +44 (0)7581 342 766

Curriculum Vitae. Vladimír Guzma. Flat 16, Moore Court, 2 Dodd Road, WD24 5DA, Watford, United Kingdom Telephone(s) +44 (0)7581 342 766 Curriculum Vitae Personal information Surname(s) / First name(s) Address(es) Flat 16, Moore Court, 2 Dodd Road, WD24 5DA, Watford, United Kingdom Telephone(s) +44 (0)7581 342 766 Email(s) Nationality(-ies)

More information

INDIVIDUAL STUDY PLAN

INDIVIDUAL STUDY PLAN Date of latest revision: 2004-10-14 INDIVIDUAL STUDY PLAN Administrative Data Name of graduate student: Goran Mustapic "Personnummer": 691213-1254 Subject of study: Software Engineering Department: IDt/Computer

More information

PhD Programs: administration and procedures

PhD Programs: administration and procedures PhD Programs: administration and Paola GRASSO Ph.D. Office What is a PhD? The PhD (in italian Dottorato di ricerca ) is a post-graduate Academic Degree awarded by Universities. In Italy, it is an Academic

More information

INSPIRE: INcreasing Security and Protection through Infrastructure REsilience

INSPIRE: INcreasing Security and Protection through Infrastructure REsilience INSPIRE: INcreasing Security and Protection through Infrastructure REsilience Salvatore D Antonio Consorzio Interuniversitario Nazionale per l Informatica saldanto@unina.it CRITIS 2008 - Frascati (Italy)

More information

Workflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment

Workflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment Workflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment Peter Y. Wu wu@rmu.edu Department of Computer & Information Systems Robert Morris University

More information

Martino Sykora CURRICULUM VITAE ET STUDIORUM

Martino Sykora CURRICULUM VITAE ET STUDIORUM Martino Sykora CURRICULUM VITAE ET STUDIORUM Via L. Pasteur, 15 20127 Milano Italy Mob: +39 338 1983694 Mail: martino.sykora@gmail.com Personal Information Birthdate: June 15th, 1978 Birthplace: Basel,

More information

NTT DOCOMO s Initiatives with the Global Certification Forum

NTT DOCOMO s Initiatives with the Global Certification Forum Interconnectivity GCF GSMA NTT DOCOMO s Initiatives with the Global Certification Forum We present an overview of the GCF, which certifies mobile terminals guaranteeing interconnectivity with mobile networks,

More information

TOWARDS AN AUTOMATED EVALUATION PROCESS FOR SOFTWARE ARCHITECTURES

TOWARDS AN AUTOMATED EVALUATION PROCESS FOR SOFTWARE ARCHITECTURES TOWARDS AN AUTOMATED EVALUATION PROCESS FOR SOFTWARE ARCHITECTURES R. Bashroush, I. Spence, P. Kilpatrick, T.J. Brown Queen s University Belfast School of Computer Science 18 Malone Road, Belfast BT7 1NN,

More information

RUBEN JUAREZ Curriculum Vitae. PERSONAL DETAILS Citizenship: Mexico, USA DOB: March 5, 1982 Marital Status: Single

RUBEN JUAREZ Curriculum Vitae. PERSONAL DETAILS Citizenship: Mexico, USA DOB: March 5, 1982 Marital Status: Single RUBEN JUAREZ Curriculum Vitae University of Hawaii Department of Economics 2424 Maile Way, Sauders Hall 530 Honolulu, HI 96822 URL: http://www2.hawaii.edu/~rubenj Phone: (808) 956-7143 Fax: (808) 956-4347

More information

Using Virtualization Technology for Fault- Tolerant Replication in LAN

Using Virtualization Technology for Fault- Tolerant Replication in LAN Using Virtualization Technology for Fault- Tolerant Replication in LAN 1 Fernando Dettoni 1, Lau Cheuk Lung 1, Aldelir Fernando Luiz 2 1 Departamento de Informática e Estatística, Universidade Federal

More information

Computer Science Department, phone: +1 (213) 740-5211

Computer Science Department, phone: +1 (213) 740-5211 Jae young Bang Computer Science Department, phone: +1 (213) 740-5211 Viterbi School of Engineering, e-mail: jaeyounb@usc.edu University of Southern California, web: http://ronia.net Los Angeles, CA 90089

More information

CURRICULUM VITAE. 2, Route de Florissant, 1206, Geneva, Switzerland Plaisio 3, P.O. Box 130, Sternes, 73100 Crete, Greece

CURRICULUM VITAE. 2, Route de Florissant, 1206, Geneva, Switzerland Plaisio 3, P.O. Box 130, Sternes, 73100 Crete, Greece CURRICULUM VITAE 1. PERSONAL DATA Name Dionysios (Dennis) Tsichritzis Date of Birth May 29, 1943 Place of Birth Email Address Home Address Athens, Greece dennis.tsichritzis@gmail.com 2, Route de Florissant,

More information

Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets

Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems Institut für Verkehrssicherheit und Automatisierungstechnik, TU Braunschweig, 2012 FORMS/FORMAT 2012 (http://www.forms-format.de)

More information

DR AYŞE KÜÇÜKYILMAZ. Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK

DR AYŞE KÜÇÜKYILMAZ. Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK DR AYŞE KÜÇÜKYILMAZ Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK http://home.ku.edu.tr/~akucukyilmaz a.kucukyilmaz@imperial.ac.uk

More information

Service-oriented architectures (SOAs) support

Service-oriented architectures (SOAs) support C o v e r f e a t u r e On Testing and Evaluating Service-Oriented Software WT Tsai, Xinyu Zhou, and Yinong Chen, Arizona State University Xiaoying Bai, Tsinghua University, China As service-oriented architecture

More information

Embedded Systems Lecture 9: Reliability & Fault Tolerance. Björn Franke University of Edinburgh

Embedded Systems Lecture 9: Reliability & Fault Tolerance. Björn Franke University of Edinburgh Embedded Systems Lecture 9: Reliability & Fault Tolerance Björn Franke University of Edinburgh Overview Definitions System Reliability Fault Tolerance Sources and Detection of Errors Stage Error Sources

More information

Integrated Modeling for Data Integrity in Product Change Management

Integrated Modeling for Data Integrity in Product Change Management Integrated Modeling for Data Integrity in Product Change Management László Horváth*, Imre J. Rudas** Institute of Intelligent Engineering Systems, John von Neumann Faculty of Informatics, Budapest Tech

More information

How To Compare Load Sharing And Job Scheduling In A Network Of Workstations

How To Compare Load Sharing And Job Scheduling In A Network Of Workstations A COMPARISON OF LOAD SHARING AND JOB SCHEDULING IN A NETWORK OF WORKSTATIONS HELEN D. KARATZA Department of Informatics Aristotle University of Thessaloniki 546 Thessaloniki, GREECE Email: karatza@csd.auth.gr

More information

Duncan McCaffery. Personal homepage URL: http://info.comp.lancs.ac.uk/computing/staff/person.php?member_id=140

Duncan McCaffery. Personal homepage URL: http://info.comp.lancs.ac.uk/computing/staff/person.php?member_id=140 Name: Institution: PhD thesis submission date: Duncan McCaffery Lancaster University, UK Not yet determined Personal homepage URL: http://info.comp.lancs.ac.uk/computing/staff/person.php?member_id=140

More information

Multi-objective Design Space Exploration based on UML

Multi-objective Design Space Exploration based on UML Multi-objective Design Space Exploration based on UML Marcio F. da S. Oliveira, Eduardo W. Brião, Francisco A. Nascimento, Instituto de Informática, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil

More information

The Service Availability Forum Specification for High Availability Middleware

The Service Availability Forum Specification for High Availability Middleware The Availability Forum Specification for High Availability Middleware Timo Jokiaho, Fred Herrmann, Dave Penkler, Manfred Reitenspiess, Louise Moser Availability Forum Timo.Jokiaho@nokia.com, Frederic.Herrmann@sun.com,

More information

Valbonne Consulting NPO Service Offer

Valbonne Consulting NPO Service Offer Valbonne Consulting NPO Service Offer NPO Key Areas (drill-down) NPO CARE connected with Customer's business and technical management we support your Care team during execution of the Care agreement, while

More information

FUTURE RESEARCH DIRECTIONS OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING *

FUTURE RESEARCH DIRECTIONS OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING * International Journal of Software Engineering and Knowledge Engineering World Scientific Publishing Company FUTURE RESEARCH DIRECTIONS OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING * HAIPING XU Computer

More information

RESEARCH INTERESTS Modeling and Simulation, Complex Systems, Biofabrication, Bioinformatics

RESEARCH INTERESTS Modeling and Simulation, Complex Systems, Biofabrication, Bioinformatics FENG GU Assistant Professor of Computer Science College of Staten Island, City University of New York 2800 Victory Boulevard, Staten Island, NY 10314 Doctoral Faculty of Computer Science Graduate Center

More information

SENSORIA Software Engineering for Service-Oriented Overlay Computers

SENSORIA Software Engineering for Service-Oriented Overlay Computers SENSORIA Software Engineering for Service-Oriented Overlay Computers Motivation Computing is becoming a utility and software a service. [... ] applications will no longer be a big chunk of software that

More information

International Summer School on Embedded Systems

International Summer School on Embedded Systems International Summer School on Embedded Systems Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences Shenzhen, July 30 -- August 3, 2012 Sponsored by Chinese Academy of Sciences and

More information