Massimo
Felici's
Publications
mfelici@inf.ed.ac.uk
Conference and Workshop
Papers
2008-2009
- 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.
2007
- 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.

2006
- 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.

2005
- 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.

2004
- 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.
2001
- 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.
2000
- 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.
1998
- 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.
Copyright
@ 2004 by the University of Edinburgh. All Rights
Reserved. The
author and The University
of Edinburgh retain the right
to
reproduce and publish this thesis for non-commercial purposes. Permission is
granted for
this thesis to be reproduced by
others
for non-commercial purposes as long as this copyright notice is
reprinted in full
in any reproduction. Applications
to make other use of this material should be addressed in
the first
instance to Copyright
Permissions, School of Informatics,
The University of Edinburgh, 2 BUccleuch Place, Edinburgh
EH8
9LW, Scotland.
- 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.