Conference and Workshop Papers Journal Papers and Book Chapters Proceedings and Journal Special Issues Edited Technical Reports Theses Requirements Engineering Questionnaire Selected Talks and Poster Presentations

mfelici@inf.ed.ac.uk

WWW homepages.inf.ed.ac.uk/mfelici/

Conference and Workshop Papers

• Massimo Felici. Closing the Gap between Acting on Trust and Deciding to Trust. 2nd International Conference on Trusted Computing, Trust 2009, Socio-Economic Strand, 2009.

• Massimo Felici. The Risk of trust in Safety: Confidence Games. In Proceedings of the 2nd IET International Conference on System Safety, IET, pp. 249-252, 2007. 
• Massimo Felici. Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain. In N. Guelfi and D. Buchs (Eds.), Proceedings of the 3rd International Workshop on Rapid Integration of Software Engineering techniques, RISE 2006, LNCS 4401, © Copyright Springer-Verlag 2007, pp. 51–65, 2007.
  

• Massimo Felici. Trust strategies: Motivations from the Air Traffic Management domain. In C. Guedes Soares, and E. Zio (Eds.), Safety and Reliability for Managing Risk, Proceedings of  the European Safety and Reliability Conference 2006 (ESREL 2006), Estroril, Portugal, 18-22 September 2006, © 2006 Taylor & Francis Group, Volume 3, pp. 1797-1804. 
• Silvestro Bottitta, Massimo Felici. Understanding and learning trust: A review, characterization and tool. In C. Guedes Soares, and E. Zio (Eds.), Safety and Reliability for Managing Risk, Proceedings of  the European Safety and Reliability Conference 2006 (ESREL 2006), Estroril, Portugal, 18-22 September 2006, © 2006 Taylor & Francis Group, Volume 2, pp. 1273-1280. 
• Massimo Felici. Trust Strategies and Policies in Complex Socio-technical Safety-critical Domains: An Analysis of the Air Traffic Management Domain. In Proceedings of the 3rd International Workshop on Rapid Integration of Software Engineering techniques, RISE 2006, 13-15 September 2006, Geneva, Switzerland, Univerity of Geneva,  pp. 51-65.
• Massimo Felici. Modeling Safety Case Evolution - Examples from the Air Traffic Management Domain. In N. Guelfi and A. Savidis (Eds.), Proceedings of the 2nd International Workshop on Rapid Integration of Software Engineering techniques, RISE 2005, LNCS 3943, © Copyright Springer-Verlag 2006, pp. 81-96, 2006. 

• Massimo Felici. Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain. In R. Winther, B.A. Gran, and G. Dahll (Eds.), Proceedings of the 24th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2005, LNCS 3688, © Copyright Springer-Verlag 2005, pp. 208-221, 2005.
  
• Massimo Felici. Modeling Safety Case Evolution - Examples from the Air Traffic Management Domain. In Proceedings of the 2nd International Workshop on Rapid Integration of Software Engineering techniques, RISE 2005, 8-9 September 2005, Heraklion, Crete, Greece.
  
• Stuart Anderson, Massimo Felici. How democratic will e-Democracy be?. In Proceedings of the 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, 26-28 July 2005, IEEE Computer Society, p. 499.
  
• Massimo Felici. Capturing Emerging Complex Interactions - Safety Analysis in ATM. In Chris Johnson (Ed.), Proceedings of the 2nd Workshop on Complexity in Design and Engineering, GIST Technical Report G2005-1, Department of Computer Science, University of Glasgow, Scotlad, pp. 120-129. Presented also at the 5th annual Dependability IRC workshop, e-Science Institute, Edinburgh.
  

• Stuart Anderson,  Massimo Felici. Heterogeneous Modelling of Evolution for Socio-technical Systems. In the Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks, Workshop on Interdisciplinary approaches to achieving and analysing system dependability, Florence, Italy, June 29, 2004,  pp. 210-215.
• Massimo Felici. Evolutionary Design Observations. In the Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks, Fast Abstracts, Florence, Italy, June 28 - July 1, 2004,  pp. 80-81.
  

2003

• Juliana Küster Filipe, Massimo Felici, Stuart Anderson. Timed Knowledge-based Modelling and Analysis: On the Dependability of Socio-technical Systems. In Proceedings of HAAMAHA 2003, 8th International Conference on Human Aspects of Advanced Manufacturing: Agility & Hybrid Automation, ISBN 88-85059-14-7, 27-30 May, Rome, 2003, pp. 321-328. 
• Massimo Felici. Taxonomy of Evolution and Dependability. In Proceedings of the Second International Workshop on Unanticipated Software Evolution, USE 2003, Warsaw, Poland, 5-6 April 2003, pp. 95-104.
  

2002

• Stuart Anderson, Massimo Felici. Quantitative Aspects of Requirements Evolution. In Proceedings of the 26th Annual International Conference on Computer Software and Applications Conference, COMPSAC 2002, Oxford, England, 26-29th August 2002, IEEE Computer Society, pp. 27-32. 
• Massimo Felici, Juliana Küster Filipe. Limits in Modelling Evolving Computer-based Systems. In Proceedings of the 2002 ACM Symposium on Applied Computing, SAC 2002, March 11-14 2002, Madrid, Spain, pp. 706-710. 

• Stuart Anderson, Massimo Felici. Requirements Evolution: From Process to Product Oriented Management. In Proceedings of the 3rd International Conference on Product Focused Software Profess Improvement, Profes 2001, Kaiserslautern, Germany, September 10-13, 2001, LNCS 2188, © Copyright Springer-Verlag 2001, pp. 27-41. 

• Stuart Anderson, Massimo Felici. Controlling Requirements Evolution: An Avionics Case Study. In F. Koornneef, M. van der Meulen (Eds.), Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 2000, Proceedings, LNCS 1943, © Copyright Springer-Verlag 2000, pp. 361-370. 
• Massimo Felici, Alberto Pasquini, Mark-Alexander Sujan. Applicability Limits of Software Reliability Growth Models. In Proceedings of the Second International Conference on Mathematical Methods in Reliability, MMR 2000 - Methodology, Practice and Inference, Bordeaux, France, July 4-7, 2000, pp. 397-400.
• Massimo Felici. Dependability Prespectives in Requirements Engineering. In Student Forum, Proceedings of International Conference on Dependable Systems and Networks, FTCS-30 and DCCA-8, New York, NY, USA, June 25-28, 2000, pp. A43-A45. 
• Stuart Anderson, Massimo Felici. Requirements Changes Risk/Cost Analyses: An Avionics Case Study. In Foresight and Precaution, M.P. Cottam, D.W. Harwey, R.P. Pape, J. Tait (Eds.), Proceedings of ESREL 2000, SARS and SRA - Europe Annual Conference, Edinburgh, Scotland, UK, 15-17 May 2000, Volume 2, pp. 921-925. 
• Massimo Felici, Mark-Alexander Sujan, Maria Wimmer. Integration of Functional Cognitive and Quality Requirements: A Railways Case Study. In Project Control: The Human Factor, K. Maxwell, R. Kusters, E. van Veenendaal, A. Cowderoy (Eds.), Proceedings of ESCOM - SCOPE 2000, Munich, Germany, 18-20 April 2000, pp. 395-403. 

• Massimo Felici, Alberto Pasquini, Stefano De Panfilis. Software Quality in User Centred Design. In Proceedings of ESCOM - ENCRESS '98, 27-29 May 1998, Rome, Italy, pp. 239-247. 

Journal Papers and Book Chapters

• Stuart Anderson, Massimo Felici, Classes of socio-technical hazards: Microscopic and macroscopic scales of risk analysis, Palgrave Macmillan, Risk Management, 2009. (to appear)

• Massimo Felici. Capturing emerging complex interactions: Safety analysis in air traffic management. In Reliability Engineering & System Safety (RESS), © Elsevier Ltd., December 2006, Volume 91, Issue 12, pp. 1482-1493.

  
  

• Massimo Felici. Structuring evolution: on the evolution of socio-technical systems. In Denis Besnard, Cristina Gacek and Cliff Jones (Eds.), Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, Chapter 3, Springer, 2006.

  
  

• Massimo Felici, Mark-Alexander Sujan, Maria Wimmer. Integration of Functional Cognitive and Quality Requirements: A Railways Case Study. In Information and Software Technology, © Elsevier Science, November 2000,Volume 42, Issue 14, pp. 993-1000.

  
  

• Stefano De Panfilis, Alberto Pasquini, Massimo Felici. Una Metodolologia per la Pianificazione, il Controllo e la Valutazione della Qualità del Software. In De Qualitate, Marzo 2000, Anno IX, n° 3, pp. 74-83.

  
  

Proceedings and Journal Special Issues Edited

• Stuart Anderson, Massimo Felici (Eds.). Safety, Reliability and Security of Industrial Computer Systems. Reliability Engineering & System Safety (RESS), © Elsevier Ltd., July 2005, Volume 89, Issue 1, pp. 1-5.

• Stuart Anderson, Massimo Felici, Bev Littlewood (Eds.). Computer Safety, Reliability and Security 22nd International Conference, SAFECOMP 2003, Edinburgh, Scotland, UK, September 23-26, 2003, Proceedings, LNCS 2788, © Copyright Springer-Verlag 2003.

• Stuart Anderson, Massimo Felici (Eds.). Safety, Reliability and Security of Industrial Computer Systems. Reliability Engineering & System Safety (RESS), © Elsevier Ltd., September 2003, Volume 81, Issue 3, pp. 235-238.

• Stuart Anderson, Sandro Bologna, Massimo Felici (Eds.). Computer Safety, Reliability and Security 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings, LNCS 2434, © Copyright Springer-Verlag 2002.

• Massimo Felici, Karama Kanoun, Alberto Pasquini (Eds.). Computer Safety, Reliability and Security 18th International Conference, SAFECOMP '99, Toulouse, France, September 27-29, 1999, Proceedings, LNCS 1698, © Copyright Springer-Verlag 1999.

Technical Reports

• Massimo Felici. A Formal Framework for Requirements Evolution. Technical Report, Italian National Research Council (CNR) Bando n. 203.01.72, Codice n. 03.01.04, February, 2003.
  
• Massimo Felici. Requirements Evolution: Understanding Formally Software Engineering Processes within Industrial Contexts. Technical Report, Italian National Research Council (CNR) Bando n. 203.15.11, February, 2002. 

Theses

• Massimo Felici. Observational Models of Requirements Evolution. EDI-INF-IP040037, PhD Thesis, University of Edinburgh, 2004. Supervisors: Stuart Anderson and Perdita Stevens. Internal Examiner: Dave Robertson. External Examiner: Chris Johnson, Glasgow University. 
  

• Massimo Felici. Introduzione alla Teoria degli Iperinsiemi e Studio di un Problema di Decidibilità. Tesi di Laurea, University of Catania, Italy, Decembr 1995. Thesis Advisor: Prof. Domenico Cantone. 

Questionnaire

• Stuart Anderson, Massimo Felici. Requirements Engineering Questionnaire. Version 1.0, January, 2001. 

Selected Talks and Presentations

• Mitesh Mistry, Massimo Felici. Implementation of Change Management in Safety Cases. Formal Aspects of Safety-Critical Systems, The Safety-Critical Systems Club arranged jointly with the BCS FACS group and FME, London, 2008.
  
• Massimo Felici. Seeking an experimental approach to Trust. Networking Session on Privacy, Identity Management and Dependability in Emerging ICT-based Interaction Scenarios: Trustworthy Fulfilment of Requirements beyond purely Technological Innovation, ICT 2008, Lyon, 2008.
• Massimo Felici. Modeling Safety Case Evolution - Examples from the Air Traffic Management Domain. Grand Challenge 6 Workshop on Dependable Systems Evolution in association with the FM'05 Formal Methods Conference, University of Newcastle upon Tyne, UK, 18 July 2005.
  
• Massimo Felici. Observational Model of Requirements Evolution - Theory and Practice. Invited presentation at the third annual Critical Systems Conference, The Safety-Critical Systems Club, 29-30 September 2004, UK.
  
• Stuart Anderson, Massimo Felici. Evolution in AmI: Multidisciplinary Research Perspectives Enhancing Dependability and Security in AmI. Workshop on R&D challenges for Resilience in Ambient Intelligence (RAmI) - https://rami.jrc.it/ -, Brussels, 19 March 2004. [abstract]  [presentation]
• Massimo Felici. Evolution of Computer-based Systems. Workshop on Dependability of Computer Based System, 03-08/11/2002, Schloss Dagstuhl, Germany. [abstract]  [presentation]
  
• Massimo Felici. Evolution within the Interdisciplinary Research Collaboration on Dependability of Computer-based Systems, October 2002, CNR/ISTI, Pisa, Italy.
  
• Massimo Felici. Requirements Evolution - Empirical Analyses, Design for Dependability,18-19 July 2001, ITC-IRST/ARS, Trento, Italy.
  
• Massimo Felici. Controlling Requirements Evolution: An Avionics Case Study. Poster Presentation, ISSRE '2000, The 11th International Symposium on Software Reliability Engineering, San Jose, California, October 8-11, 2000.
  
• Domenico Cantone, Massimo Felici. A Tableaux System for a Fragment of the Hyperset Theory. Festival Workshop in Foundations and Computations, Heriot-Watt University, Edinburgh, 16-18 July 2000. [abstract]  [presentation]
• Massimo Felici, Stuart Anderson. Requirements Evolution of an Avionics Safety-Critical Industrial Case Study: Predictive Changes Risk/Cost Analyses. Poster Presentation, ISSRE '99, The 10th International Symposium on Software Reliability Engineering, Boca Raton, Florida, November 1-4, 1999. 
• Massimo Felici. An Introduction to Software Metrics. Invited talk at the University of Catania (Italy) for a class on Software Engineering organised by Dr. Elvinia Riccobene.