Alessandra Russo's Publications and Reports

2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1992

2007
  • Dalal Alrajeh, Oliver Ray Alessandra Russo, Sebastian Uchitel,
    Extracting Requirements from Scenarios using ILP. Proceedings of the 16th International Conference on Inductive Logic Programming, LNAI 4455, 63-77, 2007.
  • Odinaldo Rodrigues, Dov Gabbay, Alessandra Russo.
    Belief Revision. Handbook of Philosophical Logic (To appear 2007).
  • Alessandra Russo, Krysia Broda,
    A Tableau CLDS for Hybrid Logic. Automated Reasoning Workshop (ARW07), Imperial College London, 19th-20th April 2007. (Extended Abstract).
  • Arosha Bandara, Alessandra Russo, and Emil Lupu.
    Towards Learning Privacy Policies. IEE Workshop on Policies for Distributed Systems and Networks, Italy, 13-15 June 2007 (Poster)

  • 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
  • Alessandra Russo.
    Modal Labelled Deductive Systems,
    Imperial College Technical Report 95/7.

  • 1992
  • F. De Rosis, S. Pizzutilo and Alessandra Russo et al..
    Modeling the User Knowledge by Belief Networks.
    User modeling and User-adapted Interaction, International Journal, Kluwer Academic Publishers, Vol.2 N.4, 1992.

  • Back to the Home Page .