Faculty of Engineering: Department of Computing

Alessandra Russo, Publications (Reverse Chronological Order)

Research monograph

Book Chapters

  1. O. Rodrigues, D. Gabbay, and A. Russo, Belief Revision, Handbook of Philosophical Logic, 2008 (to appear).

  2. K. Broda and A. 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.

  3. A. Russo and B. Nuseibeh, On the use of Logical Abduction in Software Engineering, Handbook of Software Engineering and Knowledge Engineering, Chang, S. K., eds., (World Scientific Publishing), December 2001.

  4. K. Broda, A. Russo and D. Gabbay, A Unified Compilation Style Labelled Deductive Systems for Modal, Substructural and Fuzzy Logic, in Discovering World with Fuzzy Logic: Perspectives and Approaches to the Formalisation of Human-Consistent Logical Systems, Novak, V., and Perfilieva, I., eds, (Springer Verlag) 1999.

  5. D. Gabbay, O. Rodrigues, and A. Russo, Revision by Translation (short version), in JFAK – Essay dedicated to Johan van Benthem on the Occasion of his 50th Birthday, Gerbrandy, J., Marx, M., de Rijke, M., and Venema, Y. eds., (Amsterdam University Press) 1999.

  6. D. Gabbay, O. Rodrigues, and A. Russo, Revision by Translation, Information, Uncertainty and Fusion, (Kluwer Scientific Publishers) 1999.

  7. K. Broda, M. D’Agostino, and A. Russo, Transformation methods in LDS, Logic, Language and Reasoning – Essay in Honour of Professor Dov Gabbay, (Kluwer Academic Publishers) 1998.

Journal Publications

  1. D. Gabbay, O. Rodrigues and A. Russo. Belief Revision in Non-classical Logics, Review of Symbolic Logic Journal, 2008 (to appear).

  2. J. Ma, A. Russo, K. Broda and K. Clark. DARE: A System for Distributed Abductive Reasoning, Journal of Autonomous Agents and Multi-Agent Systems, 16(3): 271-197, 2008.

  3. D. Alrajeh, O. Ray, A. Russo and S. Uchitel, Using Abduction and Induction for Operational Requirements Elaboration, Journal of Applied Logic , Elsevier, 2008 (to appear).

  4. M. Charalambides, P. Flegkas, G. Pavlou, J. Rubio-Loyola,. A. Bandara, E. Lupu, A. Russo, N. Dulay, M. SLoman. Policy Conflict Analysis for DiffServ Quality of Service Management, IEEE Transaction on Network and Service Management (under revision 2008).

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

  6. O. Ray, K. Broda and A. Russo, A Hybrid Abductive Inductive Proof Procedure, Logic Journal of the IGPL, Oxford University Press, Vol 12(4), November 2004.

  7. A. d'Avila Garcez, A. Russo, B. Nuseibeh and J. Kramer, Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications, IEE Proceedings - Software, 150(1):25-38, February 2003.

  8. K. Broda, D. Gabbay, L. Lamb and A. Russo, Labelled Natural Deduction for Conditional Logic of Normality, Logic Journal of the IGPL, Vol 10(2), 123-163, Oxford University Press, March 2002.

  9. B. Nuseibeh, S. Easterbrook and A. Russo, Making Inconsistency Respectable in Software Development, Journal of Systems and Software, Elsevier Science, 2001.

  10. B. Nuseibeh, S. Easterbrook and A. Russo, Leveraging Inconsistency in Software Development, IEEE Computer, IEEE CS Press, 33(4):24-29, April 2000. 1 B. Nuseibeh and A. Russo, Using Abduction to Evolve Inconsistent Requirements Specifications, Australian Information Systems Journal, Special Issue on Requirements Engineering, 7(1): 118-130, September 1999.

  11. K. Broda, M. Finger and A. Russo, Labelled Natural Deduction for Substructural; Logics, Logic Journal of IGPL, Oxford University Press, 7(3):283-318, 1999.

  12. A. Russo, B. Nuseibeh and J. Kramer, Restructuring Requirements Specifications, IEE Proceedings: Software, 146(1): 44-53, February 1999.

  13. M. D’Agostino, D. Gabbay and A. Russo, Grafting Modalities onto Substructural Implication Systems, Studia Logica, Kluwer Academic Publishers, 50: 65-102, 1997.

  14. M. D’Agostino, D. Gabbay and A. Russo, Information Frames, Implication Systems and Modalities, Mathware and Soft Computing, Special issue on Aspects of Mechanising Inference: Contexts and Problems, Universitat Politecnica de Catalunya, 3(1): 67-82, 1996.

  15. F. De Rosis, S. Pizzutilo, A. Russo, et al., Modelling the User Knowledge by Belief Networks, International Journal of User-MPublishers, 2:367-388, 1992.

Conference Publications

  1. D. Corapi, O. Ray, A. Russo, A. Bandara and E. Lupu, Learning rules from user behaviour, 2nd International Workshop on the Induction of Process Models”, ECML Workshop, Antwerp 2008.

  2. D. Alrajeh, A. Russo, S. Uchitel, Deriving Non-Zeno Behavior Models from Goal Models using ILP, 11th International Conference on Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, 4961, pp: 1-15, Springer 2008, ISBN: 978-3-540-78742-6.

  3. J. Ma, K. Broda, A. Russo, K. Clark. A Dynamic System for Distributed Reasoning. AAAI Spring Symposium on Architectures for Intelligent Theory-based Agents, Technical Report SS-08-02, 31-36, AAAI Press, Stanford 2008.

  4. L. Dickens, K. Broda and A. Russo, Modelling Multi-agent Systems with Finite Analytic Stochastic Processes, AISB 2008 Symposium on Behaviour Regulation in Multi-Agent Systems, AISB Proceedings, ISBN: 1-902956-64-8, published by The Society for the Study of Artificial Intelligence and Simulation of Behaviour, April 2008.

  5. L. Dickens, K. Broda and A. Russo, Solving Analytic Multi-agent Stochastic Processes, 8th European Workshop on Reinforcement Learning, accepted for presentation, July 2008, Villeneuve d’Ascq, France.

  6. A. Bandara, J. Lobo, S. Calo, E. Lupu, A. Russo, M. Sloman, Toward a Formal Characterization of Policy Specification & Analysis presented at: Annual Conference of ITA (ACITA), University of Maryland, USA, 2007.

  7. D. Alrajeh, O. Ray, A. Russo and S. Uchitel. Extracting requirements from Scenarios using ILP, 16th International Conference on Inductive Logic Programming, LNAI 4455, 63-77, 2007.

  8. D. Alrajeh, A. Russo, S. Uchitel, Using Abduction and Induction for Operational Requirements Elaboration, Proceedings of 3rd International Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics, 2007.

  9. A. Bandara, A. Russo and E. Lupu, Towards Learning Privacy Policies, IEEE Workshop on Policies for Distributed Systems and Networks, June 2007 (Poster).

  10. A. Russo, K. Broda, A Tableau CLDS for Hybrid Logic, Proceedings of automated Reasoning Workshop (ARW07), 2007.

  11. A. Bandara, A. Kakas E. Lupu and A. Russo. Using Argumentation Logic for Firewall Policy Specification and Analysis, 17th IFIP/IEEE Distributed Systems: Operations and Management (DSOM), 2006, Springer-Verlag LNCS. (acceptance rate 25.6%, 21 out of 82 papers).

  12. M. Charalambides, P. Flegkas, G. Pavlou, J. Rubio-Loyola, A. Bandara, E. Lupu, A. Russo, M. Sloman, N. Dulay. Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management, IFIP/IEEE Network Operations and Management Symposium (NOMS), Vancouver, Canada, April 2006. (acceptance rate 28.5%, 53 out of 186 papers).

  13. Dalal Alrajeh, A. Russo, S. 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.

  14. A. Bandara, E. Lupu, A. Russo, N. Dulay, M. Sloman and P. Flegkas, Policy Refinement for DiffServWuality of Service Management, 9th IFIP/IEEE IM 2005. (acceptance rate 23.5%, 53 out of 226 papers).

  15. M. Charalambides, P. Flegkas, G. Pavlou, A. Bandara, E. Lupu, A. Russo, N. Dulay, M. Sloman and J. Rubio-Loyola, Policy Conflict Analysis for Quality of Service Management, Policy 2005. (acceptance rate 22.2%, 20 out of 90 papers).

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

  17. O. Ray, K. Broda and A. Russo, Generalised Kernel Set for Inverse Entailment, in Proceedings of the 20th International Conference on Logic Programming, LNCS 3132: 165-179, Springer Verlag 2004 [Selected as best paper].

  18. A. Bandara, E. Lupu, J. Moffet and A. Russo, A Goal-based Approach to Policy Refinement, in Proceedings 5th International Workshop on Policies for Distributed Systems and Networks, IEEE Computer Society, ISBN 0-7695-2141-X, June 2004. (acceptance rate full papers 25.3%, 18 out of 71 papers).

  19. O. Rodrigues, A. d’Avila Garcez and A. Russo, Reasoning about Requirements Evolution using Cluster Belief Revision, in Proceedings 17th Brazilian Symposium on Artificial Intelligence, LNAI 2507, 2004.

  20. O. Ray, K. Broda and A. Russo, Hybrid Abductive Inductive Learning: A Generalisation of Progol, in LNCS/LNAI Proceedings of the 13th International Conference on Inductive Logic Programming, Springer Verlag, September 2003.

  21. A. Bandara, E. Lupu and A. Russo, Using Event Calculus to Formalise Policy Specifications and Analysis, in IEEE 4th International Workshop on Policies for Distributed Systems and Networks, June 2003.

  22. O. Rodrigues, A. d’Avila Garcez and A. Russo, Reasoning about Requirements Evolution using Cluster Belief Revision, in Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering, WITSE03, ISSN 1364-4009, September 2003.

  23. A. Russo, R. Miller, B. Nuseibeh and J. Kramer, An Abductive Approach for Analysing Event-Based Requirements Specifications, in Proceedings of 18th International Conference on Logic Programming, Copenhagen, Denmark, 29 July-1 August 2002 [Awarded prize for best application paper].

  24. A. d’Avila Garcez, A. Russo, B. Nuseibeh and J. Kramer, An Analysis-Revision Cycle to Evolve Requirements Specifications, in Proceedings of 16th IEEE International Conference on Automated Software Engineering (ASE-2001), 26-29 November 2001.

  25. D. Gabbay, O. Rodrigues and A. Russo, Belief Revision in Non-Classical Logic (I), in IJCAI2001 International Workshop on Inconsistency in Data and Knowledge, August 2001.

  26. A. Russo, R. Miller, B. Nuseibeh and J. Kramer, An Abductive Approach for Handling Inconsistencies in SCR Specifications, in (ICSE200) Proceedings of 3rd International Workshop on Intelligent Software Engineering (WISE-3), 5th June 2000.

  27. B. Nuseibeh and A. Russo, Using Abduction to Evolve Inconsistent Requirements Specifications, in Proceedings of ICSE-99 Workshop on Principles of Software Change and Evolution (SCE’99), Los Angeles, USA, 17th May 1999.

  28. B. Nuseibeh and A. Russo, On the Consequences of Acting in the Presence of Inconsistencies, in Proceedings of 9th International Workshop on Software Specification and Design (IWSSD-9), Ise-shima, Japan, IEEE CS Press, April 1998.

  29. A. Russo, A., B. Nuseibeh and J. Kramer, Restructuring Requirements Specifications for Managing Inconsistencies and Change: A Case Study, in Proceedings of 3rd International Conference on requirements Engineering (ICRE’98), IEEE CS Press, 1998, [Selected as best paper].

  30. A. Russo, A., B. Nuseibeh and J. Kramer, Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study, Proceedings of ICSE-97 Workshop on “Living with Inconsistency”, 17th May 1997.

  31. K. Broda, M. Finger and A. Russo, LDS-Natural Deduction for Substructural Logics, in Proceedings of 3rd International Workshop on Logic, Language, Information and Computation, Special Issue of the Logic Journal of the IGPL, 4(3): 486-489, 1996, Oxford University Press.

  32. K. Broda and A. Russo, Theorem Proving in LDS – A Compilation Approach, Proceedings of the 3rd U.K. Workshop on Automated Reasoning -- Bridging the Gap between Theory and Practice (ARW'2000), Manchester Metropolitan University, 1996.

  33. A. Russo, Generalising Propositional Modal Logics using Labelled Deductive Systems, in Proceedings of 1st International Workshop on Frontiers of Combining Systems, Series of Applied Logics, 3:57-073, 1996, Kluwer Academic Publishers.

PublicationsByYears (last edited 2009-05-21 08:50:50 by localhost)