Papers: Dr Alessandra Russo

Email: <ar3 AT SPAMFREE doc DOT ic DOT ac DOT uk>

2006

• Arosha Bandara, Emil Lupu, Alessandra Russo, et al. Policy Refinement for DiffServ Quality of Service Management, IEEE eTransactions on Network and Service Management, 3(2):2-13, 2006.

• Arosha Bandara, Antonis Kakas Emil Lupu and Alessandra Russo, Using Argumentation Logic for Firewall Policy Specification and Analysis, 17th IFIP/IEEE Distributed Systems: Operations and Management (DSOM), 2006, Springer-Verlag LNCS.

• M. Charalambides, P. Flegkas, G. Pavlou, J. Rubio-Loyola, Arosha Bandara, Emil Lupu Alessandra Russo, M. Sloman, N. Dulay, Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management, IFIP/IEEE Netowork Operations and Management Symp. (NOMS), Vancouver, Canada, April 2006.

• Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel, Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning, International ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, 2006.

2005

• Krysia Broda and Alessandra Russo, Compiled Labelled Deductive Systems for Access Control, In We Will Show Them: Essays in Honour of Dov Gabbay, Vol 1. S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods (eds.), 309-338, College Publications, 2005.

• Arosha Bandara, Emil Lupu, Alessandra Russo, et al., Policy Refinement for DiffServ Quality of Service Management, 9th IFIP/IEEE international Symposium on Integrated Networks Management (IM 2005), May 2005.

• Marino Charalambides, Paris Flegkas, George Pavlou, Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, J. Rubio-Loyola, Policy Conflict Analysis for Quality of Service Management, IEEE Proceedings on Policies for Distributed Systems and Networks (Policy 2005), June 2005.

• William Heaven, and Alessandra Russo, Enhancing the Alloy Analyzer with Patterns of Analysis, The 15th International Workshop on Logic-based methods in Programming Environments (WLPE'05), October 2005, Sitges (Barcelona), Spain.

2004

• Krysia Broda, Dov Gabbay, Luis Lamb, Alessandra Russo, Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics, Research Study Press, Hertfordshire, England, ISBN: 0863802966; 2004.

• Oliver Ray, Krysia Broda, and Alessandra Russo, A Hybrid Abductive Inductive Proof Procedure, Logic Journal of the IGPL, Oxford University Press, (to appear in December 2004).

• Oliver Ray, Krysia Broda, and Alessandra Russo, Generalised Kernel Set for Inverse Entailment, Proceeding of the 20th International Conference on Logic Programming, LNCS 3132: 165-179, Springer Verlag, 2004.

• Arosha Bandara, Emil Lupu, Jonathan Moffet, and Alessandra Russo, A Goal-based Approach to Policy Refinement, Proceedings 5th IEEE Workshop on Policies for Distributed Systems and Networks, New York, USA, 2004

• Odinaldo Rodrigues, Artur d'Avila Garcez, and Alessandra Russo, Reasoning about Requirements Evolution using Cluster Belief Revision, Proceedings 17th Brazilian Symposium on Artificial Intelligence, LNAI 2507.

2003

• Artur d'Avila Garcez Alessandra Russo, Bashar Nuseibeh, Jeff Kramer, Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications, IEE Proceedings - Software 150(1):25-38, February 2003.

• Arosha Bandara Emil Lupu Alessandra Russo, Using Event Calculus to Formalize Policy Specifications and Analysis, IEEE 4th International Workshop on Policies for Distributed Systems and Networks, June 2003.

• Odinaldo Rodrigues, A. d'Avila Garcez, Alessandra Russo, Reasoning about Requirements Evolution using Clustered Belief Revision, ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03, Helsinki, Finland, Technical Report ISSN 1364-4009, September 2003.

• Oliver Ray, Krysia Broda, Alessandra Russo, Hybrid Abductive Inductive Learning: A Generalisation of Progol, LNCS/LNAI, Proceeding of the 13th International Conference on Inductive Logic Programming 2003, Springer Verlag, September 2003.

• David Roe, Krysia Broda and Alessandra Russo, Mapping UML Models incorporating OCL Constraints into Object-Z, Imperial College Technical Report No. 2003/9. September 2003.

2002

• Alessandra Russo Rob Miller, Bashar Nuseibeh, Jeff Kramer, An Abductive Approach for Analysing Event-Based Requirements Specifications, Proceedings of 18th International Conference on Logic Programming, Copenhagen, Denmark, 29 July-1 August 2002 (Awarded prize for best application paper).

• Krysia Broda, Dov Gabbay, Luis Lamb and Alessandra Russo, Labelled Natural Deduction for Conditional Logic of Normality, Logic Journal of the IGPL, Vol 10(2), March 2002, 123-163, Oxford University Press

2001

• Bashar Nuseibeh, Steve Easterbrook and Alessandra Russo, Making Inconsistency Respectable in Software Development, Journal of Systems and Software, 56(11), Elsevier Science Publishers, November 2001.

• A. S. d�Avila Garcez, Alessandra Russo, Bashar Nuseibeh and Jeff Kramer, An Analysis-Revision Cycle to Evolve Requirements Specifications, Proceedings of 16th IEEE International Conference on Automated Software Engineering (ASE-2001), 26-29 November 2001, San Diego, USA (to appear).

• Alessandra Russo, and Bashar Nuseibeh, On the Use of Logical Abduction in Software Engineering, Handbook of Software Engineering and Knowledge Engineering, Chang, S. K., Editor, World Scientific Publishing, 2001.

• Dov Gabbay, Odinaldo Rodrigues and Alessandra Russo, Belief Revision in Non-Classical Logics, IJCAI01 Workshop on "Inconsistency in Data and Knowledge", Toronto, 2001.

• Alessandra Russo, Rob Miller, Bashar Nuseibeh and Jeff Kramer, An Abductive Approach for Analysing Event-based Specifications, Technical Report of Imperial College, n. 2001/7, 2001.

2000

• Alessandra Russo, Rob Miller, Bashar Nuseibeh, and Jeff Kramer, An Abductive Approach for Handling Inconsistencies in SCR Specifications, ICSE200 Workshop on Intelligence Software Engineering, 2000.

• Dov Gabbay, Odinaldo Rodrigues and Alessandra Russo, Revision by Translation, Information, Uncertainty and Fusion, 3-31, B. Bouchon-Meunier, R.R. Yager and L.A. Zadeh Editors, Kluwer Academic Publishers, 2000, ISBN 0-7923-8590-X.

• Bashar Nuseibeh, Steve Easterbrook and Alessandra Russo, Leveraging Inconsistency in Software Developoment, IEEE Computer, 33(4):24-29, April 2000.

• Krysia Broda, Alessandra Russo and Dov Gabbay, A Unified Compilation Style Labelled Deductive System for Modal, Substructural and Fuzzy Logics, Discovering World with Fuzzy Logic: Perspectives and Approaches to Formalization of Human-Consistent Logical Systems. Vilem Novak, Irina Perfilieva, Editors, Springer Verlag, 2000.

1999

• Alessandra Russo, Bashar Nuseibeh and Jeff Kramer, Restructuring Requirements Specifications, IEE Proceedings Software, Vol. 146, No. 1, February 1999.

• Bashar Nuseibeh and Alessandra Russo, Using Abduction to Evolve Inconsistent Requirements Specifications, Austrialian Journal of Information Systems, Vol. 7 No. 1, Special Issue on "Requirements Engineering", ISSN: 1039-7841, 1999.

• Bashar Nuseibeh and Alessandra Russo, Using Abduction to Evolve Inconsistent Requirements Specifications, Proceedings of ICSE-99 Workshop on Software Change and Evolution (SCE'99), LA, California, USA, 17th May 1999.

• Dov Gabbay, Odinaldo Rodrigues and Alessandra Russo, Revision by Translation (short version), JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, Editors, Vossiuspers, Amsterdam University Press, ISBN 90 5629 104 1, 1999.

• Krysia Broda, Marcelo Finger and Alessandra Russo, Labelled Natural Deduction for Substructural Logics, Logic Journal of the IGPL, Vol. 7, Issue 3, May 1999.

1998

• Bashar Nuseibeh and Alessandra Russo, On the consequences of Acting in the Presence of Inconsistency, Proceedings of 9th International Workshop on Software Specification and Design (IWSSD9), pp:156-158, Ise-Shima, Japan, 16-18th April 1998.

• Alessandra Russo, Bashar Nuseibeh and Jeff Kramer, Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study, Proceedings of 3rd IEEE International Conference on Requirements Engineering (ICRE98), pp: 51-61, Colorado Spring, USA, 6-10th April 1998. Selected as "best paper".

• Krysia Broda, Marcello D'Agostino and Alessandra Russo, Transformation methods in LDS, Logic, Language and Reasoning, Essays in Honour of Dov Gabbay, Kluwer Academic Publisher, 1998.

• Alessandra Russo, Bashar Nuseibeh and Jeff Kramer, Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study, Technical Report of Imperial College, n. 98/1, 1998.

• Odinaldo Rodrigues and Alessandra Russo, A Translation Method for Four-valued Logics, Imperial College Technical Report 98/7, 1998.

1997

• Alessandra Russo, Bashar Nuseibeh and Jeff Kramer, Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study, ICSE-97 Workshop on "Living with Inconsistency", Boston, Technical Report at University of Oregon, Eugene, USA, 1997.

• Marcello D'Agostino, Dov Gabbay and Alessandra Russo, Grafting Modalities onto Substructural Implication Systems, Studia Logica, Special Issue on "Combining Logics", Kluwer Academic Publishers, Vol. 59, pages 65-102, 1997.

• Krysia Broda and Alessandra Russo, A Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction, Imperial College Technical Report 97/10.

• Krysia Broda and Alessandra Russo, Labelled Natural Deduction for Substructural Logic, Imperial College Technical Report 97/11.

1996

• Marcello D'Agostino, Dov Gabbay and Alessandra Russo, Information Frames, Implication Systems and Modalities, Mathware and Soft Computing Journal, Special Issue Workshop on Aspects of Mechanizing Inference: Contexts and Problems, Vol. 3, N. 1-2, pages 67-82, 1996.

• Alessandra Russo, Generalising Propositional Modal Logics using Labelled Deductive Systems, Applied Logic Series Vol. 3, "Frontiers of Combining Systems", F. Baader and K.U. Schulz (Eds.), Kluwer Academic Publishers, pp: 57-74, 1996.

• Krysia Broda, Marcelo Finger and Alessandra Russo, LDS - Natural Deduction for Substructural Logics, Journal of the IGPL, Vol. 4 N. 3, Third Workshop on Logic, Language, Information and Computation, pp: 486-489, 1996 (extended abstract).

• Alessandra Russo, Modal Logics as Labelled Deductive Systems, Ph.D. Thesis, Department of Computing, Imperial College, London, 1996. [Preface].

1995