Computing Publications

Publications Home » Authors » Dr Alessandra Russo

Authors

Dr Alessandra Russo

50 publications for this author.

Book

Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (2004)
Krysia Broda, Dov Gabbay, Luis Lamb, Alessandra Russo
Research Monograph
Research Study Press
2004

Book Chapters

Compiled Labelled Deductive Systems for Access Control (2005)
Krysia Broda, Alessandra Russo
We Will Show Them: Essays in Honour of Dov Gabbay
Volume 1, pp.309–338
College Publications
2005
On the Use of Logical Abduction in Software Engineering.
Alessandra Russo, Bashar Nuseibeh
Handbook of Software Engineering and Knowledge Engineering
pp.889–914
World Scientific
December, 2001
A Unified Compilation Style Natural Deduction System for Modal, Substructural and Fuzzy Logics
Krysia Broda, Alessandra Russo, Dov Gabbay
Discovering World with Fuzzy Logic: Perspectives and Approaches to Formalization of Human-consistent Logical Systems
Volume 57, pp.495–548
Springer-Verlag
November, 2000
Revision by Transformation
Dov Gabbay, Odinaldo Rodrigues, Alessandra Russo
Information, Uncertainty and Fusion
Volume 10, pp.3–31
Kluwer Academic Publishers
2000
Transformation methods in LDS [Postscript]
Krysia Broda, Marcello D'Agostino, Alessandra Russo
Essays in Honour of Dov Gabbay
pp.335–376
Kluwer Academic Publishers
1999
Revision by Translation
Dov Gabbay, Odinaldo Rodrigues, Alessandra Russo
JFAK. Essays Dedicated to Johan van Benthem
Amsterdam University Press
1999

Journal Articles

Policy Refinement for DiffServ Quality of Service Management (2006) [PDF]
Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou
e-Transactions on Network and Service Management
Volume 2, Issue 2
IEEE
2006
A Hybrid Abductive Inductive Proof Procedure
Oliver Ray, Krysia Broda, Alessandra Russo
Logic Journal of the IGPL
Volume 12, Issue 5, pp.371–397
Oxford University Press
December, 2004
Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications (2003)
Artur d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
Volume 150, Issue 1, pp.25–38
IEE
February, 2003
Labelled Natural Deduction for Conditional Logic of Normality.
Krysia Broda, Luis Lamb, Alessandra Russo, Dov Gabbay
Logic Journal of the IGPL
Volume 10, pp.123–163
Oxford University Press
March, 2002
Making Inconsistency Respectable in Software Development.
Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo
Journal of Systems and Software
Volume 56, Issue 11
Elsevier Science Bv
November, 2001
Leveraging Inconsistency in Software Development
Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo
IEEE Computer
Volume 33, Issue 4, pp.24–29
IEEE Computer Society Press
2000
Labelled Natural Deduction for Substructural Logics [PDF]
Krysia Broda, Marcelo Finger, Alessandra Russo
Logic Journal of the IGPL
Volume 7, Issue 3, pp.283–318
Oxford University Press
1999
Using Abduction to Evolve Inconsistent Requirements Specifications
Alessandra Russo
Australian Information Systems Journal
Volume 7, Issue 1, pp.118–130
1999
Restructuring Requirements Specifications
Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
IEE Proceedings - Software
Volume 146, Issue 1, pp.44–53
IEE
1999
Grafting Modalities onto Substructural Implication Systems [Postscript]
Marcello D'Agostino, Dov Gabbay, Alessandra Russo
Studia Logica
Volume 50, pp.65–102
Kluwer Academic Publishers
1997
LDS-Natural Deduction for Substructural Logics [Postscript]
Krysia Broda, Marcelo Finger, Alessandra Russo
Volume 4, Issue 3, pp.486–489
Oxford University Press
1996
Information Frames, Implication Systems and Modalities [Postscript]
Marcello D'Agostino, Dov Gabbay, Alessandra Russo
Special issue on Aspects of Mechanising Inference: : Contexts and Problems
Volume 3, Issue 1, pp.67–82
Universitat Politecnica de Catalunya
1996
Modelling the User Knowledge by Belief Networks
Floriana De Rosis, S. Pizzutilo, Alessandra Russo
Journal of User-Modelling and User-Adapted Interaction
Volume 2, pp.367–388
Kluwer Academic Publishers
1992

Conference and Workshop Papers

Extracting Requirements from Scenarios using ILP
Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel
16th International Conference on Inductive Logic Programming
Volume 4455, pp.64–78
Lecture Notes in Computer Science, Springer Verlag
August, 2007
Toward a Formal Characterization of Policy Specification & Analysis [PDF]
Arosha Bandara, Jorge Lobo, Seraphin Calo, Emil Lupu, Alessandra Russo, Morris Sloman
Annual Conference of ITA (ACITA), University of Maryland, USA
August, 2007
Using Argumentation Logic for Firewall Policy Specification and Analysis
Arosha Bandara, Antonis Kakas, Emil Lupu, Alessandra Russo
17th IFIP/IEEE Distributed Systems: Operations and Management (DSOM)
Springer Verlag
2006
Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning (2006) [PDF]
Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel
International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools at the 29th IEEE/ACM International Conference on Software Engineering (ICSE). Shanghai, China, 2003.
April, 2006
Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management [PDF]
Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha Bandara, Naranker Dulay, Emil Lupu, Javier Rubio-Loyola, Alessandra Russo, Morris Sloman
IFIP/IEEE Network Operations and Management Symposium (NOMS 2006)
IEEE Computer Society
March, 2006
Enhancing the Alloy Analyzer with Patterns of Analysis (2005)
Will Heaven, Alessandra Russo
15th International Workshop on Logic-based methods in Programming Environments (WLPE'05)
pp.14–30
September, 2005
Policy Conflict Analysis for Quality of Service Management (2005) [PDF]
Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Javier Rubio-Loyola
6th IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2005)
May, 2005
Policy Refinement for DiffServ Quality of Service Management (2005) [PDF]
Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou
9th IFIP/IEEE Intl. Symp. on Integrated Management (IM 2005)
April, 2005
Reasoning about Requirements Evolution using Cluster Belief Revision
Odinaldo Rodrigues, Artur dAvila Garcez, Alessandra Russo
Brazilian Symposium on Artificial Intelligence
Volume 3171
Springer-Verlag Berlin
September, 2004
Generalised Kernel Set for Inverse Entailment
Oliver Ray, Krysia Broda, Alessandra Russo
International Conference on Logic Programming
Volume 3132, pp.165–179
Springer Verlag
August, 2004
A goal-based approach to policy refinement (2004) [PDF]
Arosha Bandara, Emil Lupu, Jonathan Moffett, Alessandra Russo
5th IEEE international workshop on policies for distributed systems and networks (POLICY 2004), IBM T J Watson Res Lab, Yorktown Heights, NY
IEEE Computer Soc
May, 2004
Hybrid abductive inductive learning: a generalisation of Progol
Krysia Broda, Alessandra Russo
13th international conference on inductive logic programming, Szeged, Hungary
Volume 2835, pp.311–328
Springer-Verlag
2003
Hybrid Abductive Inductive Learning: A Generalisation of Progol
Oliver Ray, Krysia Broda, Alessandra Russo
13th International Conference on Inductive Logic Programming
Volume 2835, pp.311–328
Springer Verlag
August, 2003
Reasoning about Requirements Evolution using Clustered Belief Revision ,
Genaina Rodrigues, Artur dAvila Garcez, Alessandra Russo
ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering
August, 2003
Reasoning about requirements evolution using clustered belief revision
Odinaldo Rodrigues, Artur d'Avila Garcez, Alessandra Russo
ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03
2003
Using Event Calculus to Formalise Policy Speciflcation and Analysis (2003) [PDF]
Arosha Bandara, Emil Lupu, Alessandra Russo
4th IEEE International Workshop on Policies for Distributed Systems and Networks, Lake Como, Italy, 2003
May, 2003
An Abductive Approach for Analysing Event-Based Requirements Specifications.
Alessandra Russo, Robert Miller, Jeff Kramer, Bashar Nuseibeh
18th International Conference on Logic Programming
Volume 2401, pp.22–37
Springer Verlag
July, 2002
An Analysis-Revision Cycle to Evolve Requirements Specifications.
Artur dAvila Garcez, Alessandra Russo, Jeff Kramer, Bashar Nuseibeh
16th IEEE International Conference on Automated Software Engineering
IEEE
November, 2001
Belief Revision in Non-Classical Logics.
Odinaldo Rodrigues, Alessandra Russo, Dov Gabbay
IJCAI01 Workshop on Inconsistency in Data and Knowledge
Workshop Proceedings
August, 2001
An Abductive Approach for Handling Inconsistencies in SCR Specifications
Alessandra Russo, Robert Miller, Bashar Nuseibeh, Jeff Kramer
3rd (ICSE) International Workshop on Intelligent Software Engineering (WISE-3)
pp.80–89
2000
Restructuring Requirements Specifications for Managing Inconsistencies and Change: A Case Study
Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
3rd International Conference on Requirements Engineering (ICRE'98)
pp.51–60
IEEE Computer Society Press
1998
On the Consequences of Acting in the Presence of Inconsistencies [Postscript]
Alessandra Russo, Bashar Nuseibeh
9th International Workshop on Software Specification and Design (IWSSD-9)
pp.156–158
IEEE Computer Society Press
1998
Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study [Postscript]
Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
ICSE-97 Workshop on "Living with Inconsistency", Boston
University of Oregon
1997
Generalising Propositional Modal Logics using Labelled Deductive Systems
Alessandra Russo
1st International Workshop on Frontiers of Combining Systems
Volume 3, pp.57–73
Kluwer Academic Publishers
1996

PhD Thesis

Modal Logics as Labelled Deductive Systems [GZipped Postscript]
Alessandra Russo
PhD Thesis
May, 1996

Technical Reports

Mapping UML Models incorporating OCL Constraints into Object-Z
David Roe, Krysia Broda, Alessandra Russo
Technical Report
Department of Computing, Imperial College London
August, 2003
An Abductive Approach for Analysing Event-based Specifications
Alessandra Russo, Robert Miller, Jeff Kramer, Bashar Nuseibeh
Technical Report
Imperial College of Science, Technology and Medicine, Department of Computing
August, 2001
A Translation Method for Four-valued Logics [PDF]
Alessandra Russo, Odinaldo Rodrigues
Technical Report
Imperial College London, Department of Computing
1998
A Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction
Krysia Broda, Alessandra Russo
Technical Report
Imperial College London, Department of Computing
1997
Modal Labelled Deductive Systems
Alessandra Russo
Technical Report
Imperial College London, Department of Computing
1995

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.