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
.