Publications

Papers (2002 onwards)

R. Hinch, W. Probert, A. Nurtay, M. Kendall, C. Wymant, M. Hall, K. Lythgoe, A. B. Cruz, L. Zhao, A. Stewart, L. Ferretti, D. Montero, J. Warren, N. Mather, M. Abueg, N. Wu, O. Legat, K. Bentley, T. Mead, K. Van-Vuuren, D. Feldner-Busztin, T. Ristori, A. Finkelstein, D. Bonsall, L. Abeler-Dörner and C. Fraser (2021). "OpenABM-Covid19—An agent-based model for non-pharmaceutical interventions against COVID-19 including contact tracing." PLoS Computational Biology 17(7), July 2021, e1009146.

L. Suzuki and A. Finkelstein, Data as Infrastructure for Smart Cities. 313ps, ISBN: 9781785615993, London: IET, 2018.

P. Boeing, M. Leon, D. Nesbeth, A. Finkelstein and C. Barnes, "Towards an Aspect-Oriented Design and Modelling Framework for Synthetic Biology", Processes, 6, 167, pp. 1-19, 2018.

R. dos Santos, C. Werner and A. Finkelstein, "Ecosystems effects on software-consuming organizations: an experience report on two observational studies" in Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems (WDES '18); Proceedings of the 12th European Conference on Software Architecture: CP23, Madrid, Spain, ACM Press, 2018.

A. Finkelstein, M. Harman, Y. Jia, W. Martin, F. Sarro and Y. Zhang, "Investigating the Relationship between Price, Rating, and Popularity in the BlackBerry World App Store," Information and Software Technology, vol. 87, July 2017, pp. 119-139.

C. Pichardo-Almarza, L. Metcalf, A. Finkelstein and V. Diaz-Zuccarini, "Using a Systems Pharmacology Approach to Study the Effect of Statins on the Early Stage of Atherosclerosis in Humans," CPT: Pharmacometrics and Systems Pharmacology, vol. 4, pp. 1-10, 2014.

A. Finkelstein and L. Finkelstein, "The Convergence of Measurement Science and Computer Science: a scientific conversation", Measurement vol. 46, pp. 2946-2949, 2013.

S. L. Lim, D. Damian, F. Ishikawa and A. Finkelstein, "Using Web 2.0 for Stakeholder Analysis: StakeSource and its Application in Ten Industrial Projects," in Managing Requirements Knowledge, W. Maalej and A. Thurimella, Eds.: Springer, 2013, pp. 221-242.

F. Zervoudakis, D. Rosenblum, S. Elbaum and A. Finkelstein, "Cascading Verification: An Integrated Method for Domain-Specific Model Checking," in ESEC/FSE 9th European Software Engineering Conference & ACM SIGSOFT Symposium on the Foundations of Software Engineering: ACM Press, 2013, pp. 400-410.

D. Dermeval, J. Pimentel, C. Silva, J. Castro, E. Santos, G. Guedes and A. Finkelstein, "STREAM-ADD Supporting the Documentation of Architectural Design Decisions in an Architecture Derivation Process," in Proceedings of the 36th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2012). Izmir, Turkey: IEEE, 2012, pp. 602-611.

A. Finkelstein, "Requirements and Relationships: a foreword" in Software and Systems Traceability, J. Cleland-Huang, O. Gotel and A. Zisman, Eds. London: Springer, 2012.

J. Hetherington, T. Sumner, R. M. Seymour, L. Li, M. V. Rey, S. Yamaji, P. Saffrey, O. Margoninski, I. D. L. Bogle, A. Finkelstein and A. Warner, "A Composite Computational Model of Liver Glucose Homeostasis. Part 1: building the composite model," Journal of the Royal Society Interface, vol. 9, pp. 689-700, 2012.

S. L. Lim and A. Finkelstein, "StakeRare: Using Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation," IEEE Transactions on Software Engineering, vol. 38, pp. 707-735, 2012.

J. Pimentel, J. Castro, E. Santos and A. Finkelstein, "Towards Requirements and Architecture Co-evolution," in International Workshop on System/Software Architectures (IWSSA), vol. 112, Lecture Notes in Business Information Processing, M. Bajec and J. Eder, Eds. Gdansk, Poland: Springer, 2012, pp. 159-170.

J. Pimentel, E. Santos, J. Castro and A. Finkelstein, "Towards Architectural Evolution through Model Transformations," in Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE 2012). California, USA: KSI, 2012, pp. 448-451.

E. Santos, J. Pimentel, J. Castro and A. Finkelstein, "On the Dynamic Configuration of Business Process Models," in Enterprise, Business-Process and Information Systems Modeling BPMDS/EMMSAD 2012, vol. 113, Lecture Notes in Business Information Processing, I. Bider, T. Halpin, J. Krogstie, S. Nurcan, E. Proper, R. Schmidt, P. Soffer and S. Wrycza, Eds. Gdansk, Poland: Springer, 2012, pp. 331-346.

T. Sumner, J. Hetherington, R. M. Seymour, L. Li, M. V. Rey, S. Yamaji, P. Saffrey, O. Margoninski, I. D. L. Bogle, A. Finkelstein and A. Warner, "A Composite Computational Model of Liver Glucose Homeostasis. Part 2: exploring system behaviour," Journal of the Royal Society Interface, vol. 9, pp. 701-706, 2012.

K. Boness, A. Finkelstein and R. Harrison, "A Method for Assessing Confidence in Requirements Analysis", Information and Software Technology, vol. 53, pp. 1084-1096, 2011.

P. Bunyakiati and A. Finkelstein, "Standards Compliance Testing for UML Modeling Tools", IET Software, vol. 5, pp. 120-131, 2011.

C. Fitzgerald, E. Letier and A. Finkelstein, "Early Failure Prediction in Feature Request Management Systems", in International Conference on Requirements Engineering (RE 11). Trento, Italy: IEEE CS Press, 2011, pp. 229-238. [Distinguished Paper]

A. Gonzalez-Beltran, B. Tagger and A. Finkelstein, "Federated Ontology-Based Queries over Cancer Data", BMC Bioinformatics, vol. 13, 2011.

B. Jennings and A. Finkelstein, "Implicit Social Production: utilising socially generated data by-products," in Business Process Management Workshops, vol. 66, Lecture Notes in Business Information Processing, M. Muehlen and J. Su, Eds.: Springer Berlin Heidelberg, 2011, pp. 359-371.

S. L. Lim, D. Damian and A. Finkelstein, "StakeSource2.0: Using Social Networks of Stakeholders to Identify and Prioritise Requirements," in International Conference on Software Engineering (ICSE). Honolulu, Hawaii, USA, 2011, pp 1022-1024.

S. L. Lim and A. Finkelstein, "Anticipating Change in Requirements Engineering," in Relating Software Requirements and Architectures, P. Avgeriou, J. Grundy, J. Hall, P. Lago and I. Mistrík, Eds.: Springer-Verlag, Accepted for publication, 2011.

Y. Zhang, M. Harman, A. Finkelstein and S. A. Mansouri, "Comparing the Performance of Metaheuristics for the Analysis of Multi-Stakeholder Tradeoffs in Requirements Optimisation", Information and Software Technology, Accepted for publication, 2011. Pre-publication draft.

N. Bencomo, J. Whittle, P. Sawyer, A. Finkelstein and E. Letier, "Requirements Reﬂection: Requirements as Runtime Entities" in International Conference on Software Engineering (ICSE), vol. 2. Cape Town, South Africa: IEEE CS Press, 2010, pp. 199-202.

A. Gonzalez-Beltran, B. Tagger and A. Finkelstein, "Ontology-based Queries over Cancer Data" in Semantic Web Applications and Tools for Life Sciences. Berlin, Germany, 2010. [Winner Best Paper]

S. L. Lim, D. Quercia and A. Finkelstein, "StakeNet: using social networks to analyse the stakeholders of large-scale software projects" in International Conference on Software Engineering (ICSE), vol. 1. Cape Town, South Africa: IEEE CS Press, 2010, pp. 295-304.

S. L. Lim, D. Quercia and A. Finkelstein, "StakeSource: Harnessing the Power of Crowdsourcing and Social Networks in Stakeholder Analysis," in International Conference on Software Engineering (ICSE), vol. 2. Cape Town, South Africa: IEEE CS Press, 2010, pp. 239-242.

M. Sabetzadeh, A. Finkelstein and M. Goedicke, "Viewpoints," in Encyclopedia of Software Engineering, P. Laplante, Ed. New York: Taylor and Francis, 2010.

A. G. Beltran, A. Finkelstein, J. M. Wilkinson and J. Kramer, "Domain Concept-Based Queries for Cancer Research Data Sources," presented at 22nd IEEE International Symposium on Computer-Based Medical Systems (CBMS 2009), Albuquerque, New Mexico, 2009.

D. Bolchini, A.Finkelstein, V. Perrone and S. Nagl, "Better Bioinformatics Through Usability Analysis," Bioinformatics, vol. 25, pp. 406-412, 2009. [Supplementary Information]

D. Bolchini, A. Finkestein and P. Paolini, "Designing Usable Bio-Information Architectures," in HCI International 2009, vol. 5613. San Diego, California, USA: Springer LNCS, 2009.

P. Bunyakiati and A. Finkelstein, "The Compliance Testing of Software Tools with respect to the UML Standards Specification: the ArgoUML case study" in Fourth International Workshop on the Automation of Software Test (AST’09) Vancouver, Canada, IEEE CS Press, 2009.

B. Cheng, R. d. Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun, B. Cukic, G. D. M. Serugendo, S. Dustdar, A. Finkelstein, C. Gacek, K. Geihs, V. Grassi, G. Karsai, H. Kienle, J. Kramer, M. Litoiu, S. Malek, R. Mirandola, H. Muller, S. Park, M. Shaw, M. Tichy, M. Tivoli, D. Weyns and J. Whittle, "Software Engineering for Self-Adaptive Systems: A Research Roadmap," in Software Engineering for Self-Adaptive Systems , vol. 5529: Springer, 2009, pp. 1-26.

A. Finkelstein, M. Harman, S. A. Mansouri, J. Ren and Y. Zhang, "A Search Based Approach to Fairness Analysis in Requirements Assignments to Aid Negotiation, Mediation & Decision Making," Requirements Engineering Journal, vol. 14, pp. 231-245, 2009.

S. Jansen, S. Brinkkemper and A. Finkelstein, "Business Network Management as a Survival Strategy: a tale of two software ecosystems" in Proceedings of the 1st International Workshop on Software Ecosystems (IWSECO). Falls Church, Virginia: CEUR-WS, 2009, pp. 34-48.

S. Jansen, A. Finkelstein and S. Brinkkemper, "A Sense of Community: A Research Agenda for Software Ecosystems," presented at International Conference on Software Engineering (New Ideas and Emerging Results Track), Vancouver, Canada, IEEE CS Press, 2009.

B. Jennings and A. Finkelstein, "Micro Workﬂow Gestural Analysis: representation in social business processes" in Workshop on Business Process Management and Social Software (BPMS2'09) in conjunction with BPM 2009 Ulm, Germany: Springer, 2009.

J. McCusker, J. Phillips, A. G. Beltran, A. Finkelstein and M. Krauthammer, "Semantic Web Data Warehousing for caGrid," BMC Bioinformatics, vol. 10 (Suppl 10:S2), 2009.

G. Napolitano, A. G. Beltran, C. Fox, A. Marshall, A. Finkelstein and P. McCarron, "Biomedical Ontologies and Grid Computing - As New Resources for Cancer Registries," in 2nd International Conference on Health Informatics (HEALTHINF 2009). Porto, Portugal: INSTICC Press, 2009, pp. pp512-517.

K. Boness, A. Finkelstein and R. Harrison, "A Lightweight Technique for Assessing Risks in Requirements Analysis," IET Software, vol. 2, pp. 46-57, 2008.

P. Bunyakiati, A. Finkelstein, J. Skene and C. Chapman, "Using JULE to Generate a Compliance Test Suite for the UML Standard," presented at International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.

A. Egyed, E. Letier and A. Finkelstein, "Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models," presented at 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, 2008.

A. Finkelstein, M. Harman, S. Mansouri, J. Ren and Y. Zhang, "'Fairness Analysis' in Requirements Assignments," presented at International Conference on Requirements Engineering (RE 08), Barcelona, Spain, 2008.

R. Harbird, M. Ahmed, A. Finkelstein, E. McKinney and A. Burroughs, "Privacy Impact Assessment with PRAIS," in 8th Privacy Enhancing Technologies Symposium (PETS 2008). Leuven, Belgium: HotPETS Technical Reports, 2008.

R. Harbird, A. Finkelstein, S. Hailes, E. McKinney and R. Jeyarajah-Dent, "PRAIS - PRivacy impact Analysis for Information Sharing," presented at Healthcare Computing Conference (HC2008), Harrogate, UK, 2008.

S. Jansen, S. Brinkkemper and A. Finkelstein, "Component Assembly Mechanisms and Relationship Intimacy in a Software Supply Network," presented at 15th Annual EuroMA Conference (Euroma 2008), Groningen, Netherlands, 2008.

B. Jennings and A. Finkelstein, "Digital Identity and Reputation in the Context of a Bounded Social Ecosystem," in Workshop on Business Process Management and Social Software (BPMS2'08) in conjunction with BPM 2008. Milan, Italy: Springer, 2008.

B. Jennings and A. Finkelstein, "Flexible Workflows," in Service Chain Management: technology innovation for service business, C. Voudouris, G. Owusu, R. Dorne and D. Lesaint, Eds.: Springer, 2008, pp. 171-185.

B. Jennings and A. Finkelstein, "Flexible Workﬂows: Reputation-based Message Routing " presented at 9th Workshop on Business Process Modeling, Development, and Support (BPMDS 08), Montpellier, 2008.

Y. Zhang, A. Finkelstein and M. Harman, "Search Based Requirements Optimisation: Existing Work & Challenges " presented at International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 08), Montpellier, France, 2008.

S. Jansen, S. Brinkkemper and A. Finkelstein, "Providing Transparency In The Business Of Software: A Modeling Technique For Software Supply Networks," presented at IFIP Working Conference on Virtual Enterprises (Pro-VE): Establishing The Foundation Of Collaborative Networks, Spain, 2007.

P. Bunyakiati, A. Finkelstein and D. Rosenblum, "The Certification of Software Tools with Respect to Software Standards," presented at IEEE Conference on Information Reuse and Integration (IRI 2007), Las Vegas, Nevada, 2007.

J. Hetherington, I. Bogle, P. Saffrey, O. Margoninski, L. Li, M. V. Rey, S. Yamaji, S. Baigent, J. Ashmore, K. Page, R. Seymour, A. Finkelstein and A. Warner, "Addressing the Challenges of Multiscale Model Management in Systems Biology," Computers and Chemical Engineering (7th World Congress of Chemical Engineering), vol. 31, pp. 962-979, 2007.

C. Mattmann, V. Perrone, S. Kelly, D. Crichton, A. Finkelstein and N. Medvidovic, "A Reference Framework for Requirements and Architecture in Biomedical Grid Systems," presented at IEEE Conference on Information Reuse and Integration (IRI 2007), Las Vegas, Nevada, 2007.

V. Perrone and A. Finkelstein, "Analyzing Requirements for a Large Scale System for Cancer Research," presented at 20th IEEE International Symposium on Computer Based Medical Systems (CBMS 2007), Maribor, Slovenia, 2007.

P. Saffrey, O. Margoninski, J. Hetherington, M. Varela-Rey, S. Yamaji, A. Finkelstein, D. Bogle, and A. Warner, "End-to-End Information Management for Systems Biology," Transactions on Computational Systems Biology, vol. VIII, pp. 77-91, 2007.

Z. Sun, A. Finkelstein, and J. Ashmore, "Using Ontology with Semantic Web Services to Support Modeling in Systems Biology," in International Workshop on Approaches and Architectures for Web Data Integration and Mining in Life Sciences (WebDIM4LS), Nancy, France, 2007, pp. 41-51.

A. Finkelstein, J. Lewis-Bowen, G. Piccinelli and W.Emmerich, "Using Event Models in Grid Design," in Grid Computing: Software Environments and Tools , J. Cunha and O. Rana, Eds.: Springer, 2006, pp. 19-44.

L. Goldin and A. Finkelstein, "Abstraction-Based Requirements Management," presented at Role of Abstraction in Software Engineering (ROA '06), Shanghai, China, 2006.

A. Dingwall-Smith and A. Finkelstein, "Checking Complex Compositions of Web Services Against Policy Constraints," in 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems. Madeira: INSTICC Press, 2007.

O. Margoninski, P. Saffrey, J. Hetherington, A. Finkelstein and A. Warner, "A Specification Language and a Framework for the Execution of Composite Models in Systems Biology," LNCS Transactions on Computational Systems Biology, 2006.

C. Alves, X. Franch, J. Carvallo and A. Finkelstein, "Using Goals and Quality Models to Support the Matching Analysis During COTS Selection," presented at 4th International Conference on COTS-Based Software Systems, Bilbao, Spain, 2005.

R. Begent, J. M. Brady, A. Finkelstein, D. Gavaghan, P. Kerr, H. Parkinson, F. Reddington and J. M. Wilkinson, "Challenges of Ultra Large Scale Integration of Biomedical Computing Systems," presented at 18th IEEE International Symposium on Computer-Based Medical Systems, Dublin, Ireland, 2005.

C. Courbis and A. Finkelstein, "Weaving Aspects into Web Service Orchestrations," presented at 3rd IEEE International Conference on Web Services (ICWS 2005), Orlando, Florida, 2005.

C. Courbis and A. Finkelstein, "Towards Aspect Weaving Applications," presented at 27th Int. Conference on Software Engineering, St. Louis, Missouri, USA, 2005.

C. Courbis and A. Finkelstein, "Towards an Aspect Weaving BPEL Engine," presented at Third AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS'04), 2004.

A. Finkelstein, C. Gryce and J. Lewis-Bowen, "Relating Requirements and Architectures: A Study of Data-Grids," Journal of Grid Computing, vol. 2, pp. 207-222, 2004.

A. Finkelstein, J. Hetherington, L. Li, O. Margoninski, P. Saffrey, R. Seymour and A. Warner, "Computational Challenges of Systems Biology," IEEE Computer, vol. 37, pp. 26-33, 2004.

W. Heaven and A. Finkelstein, "A UML Profile to Support Requirements Engineering with KAOS," IEE Proceedings - Software, vol. 151, pp. 10-27, 2004.

N. Yoshioka, S. Honiden and A. Finkelstein, "Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems," presented at 8th International IEEE Enterprise Distributed Object Computing Conference, 2004.

C. Alves and A. Finkelstein, "Investigating Conflicts in COTS Decision-Making," International Journal of Software Engineering and Knowledge Engineering, vol. 13, pp. 1--21, 2003.

D. Bush and A. Finkelstein, "Requirements Stability Assessment Using Scenarios," presented at Requirements Engineering (RE 2003), Monterey, California, 2003.

C. Nentwich, W. Emmerich and A. Finkelstein, "Consistency Management with Repair Actions," presented at Proc. of the 25th Int. Conference on Software Engineering, Portland, Oregon, 2003.

C. Nentwich, W. Emmerich, A. Finkelstein and E. Ellmer, "Flexible Consistency Checking," ACM Transactions on Software Engineering and Methology, vol. 12, pp. 28-63, 2003.

B. Nuseibeh, A. Finkelstein and J. Kramer, "ViewPoints: meaningful relationships are difficult," presented at International Conference on Software Engineering (ICSE 2003), Portland, Oregon, 2003.

G. Piccinelli, A. Finkelstein and T. Costa, "Flexible B2B processes: the answer is in the nodes," Journal of Information and Software Technology, 2003.

G. Piccinelli, A. Finkelstein and S. Williams, "Service-oriented Workflows: the DySCo framework," presented at Euromicro Conference, Antalya, Turkey, 2003.

C. Alves and A. Finkelstein, "Challenges in COTS-Decision Making: A Goal-Driven Requirements Engineering Perspective," presented at Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE), Ischia, Italy, 2002.

C. Alves and A. Finkelstein, "Negotiating Requirements for COTS-Based Systems," presented at Eighth International Workshop on Requirements Engineering: Foundation for Software Quality, Essen, Germany, 2002.

G. Avellis and A. Finkelstein, "How to Annotate Educational Multimedia with Non-Functional Requirements," Educational Technology & Society, vol. 5, 2002.

A. Dingwall-Smith and A. Finkelstein, "From Requirements to Monitors by Way of Aspects," presented at Workshop on Early Aspects at the 1st International Conference on Aspect-Oriented Software Development (AOSD), Enschede, Netherlands, 2002.

A. Finkelstein, A. Savigni, G. Kappel, W. Retschitzegger, E. Kimmerstorfer, W. Schwinger, T. Hofer, B. Proell and C. Feichtner, "Ubiquitous Web Application Development: a framework for understanding," presented at 6th World Multiconference on Systematics, Cybernetics and Informatics, 2002.

C. Gryce, A. Finkelstein and C. Nentwich, "Lightweight Checking for UML Based Software Development," presented at UML 2002, Model Engineering, Concepts and Tools. Workshop on Consistency Problems in UML-based Software Development., Dresden, Germany, 2002.

K. Lawson and A. Finkelstein, "Integration of Product and Technology Development Process with R&D Portfolio Management using Efficient Frontier Analysis," presented at IEEE/IEE International Engineering Management Conference (IEMC), 2002.

C. Nentwich, L. Capra, W. Emmerich and A. Finkelstein, "xlinkit: A Consistency Checking and Smart Link Generation Service," ACM Transactions on Internet Technology, vol. 2, pp. 151-185, 2002.

C. Nentwich, W. Emmerich and A. Finkelstein, "Edit, Compile, Debug - From Hacking to Distributed Engineering," presented at Proceedings of the Workshop on Aspect Oriented Design at the 1st International Conference on Aspect Oriented Software Development (AOSD), 2002.

G. Piccinelli, A. Finkelstein and C. Nentwich, "Web Services Need Consistency," presented at OOPSLA 2002 Workshop on Object-Oriented Web Services, 2002.

G. Piccinelli, A. Finkelstein and E. Stammers, "Automated Engineering of e-business Processes: the RosettaNet case study," presented at 6th International Conference on Systems, Cybernetics and Informatics, Orlando, Florida, 2002.

Learn More

This is an almost complete list of papers from 2002 onwards. Most are linked here for download. A publications archive containing older papers is available including papers on requirements engineering, requirements traceability, viewpoints and a lot more besides!