2009 | ||
---|---|---|
34 | EE | Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha Bandara: Expressive policy analysis with enhanced system dynamicity. ASIACCS 2009: 239-250 |
33 | EE | Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel: Using abduction and induction for operational requirements elaboration. J. Applied Logic 7(3): 275-288 (2009) |
2008 | ||
32 | EE | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Deriving Non-zeno Behavior Models from Goal Models Using ILP. FASE 2008: 1-15 |
31 | EE | Salvatore Casale, Alessandra Russo, G. Scebba, Salvatore Serrano: Speech Emotion Classification Using Machine Learning Algorithms. ICSC 2008: 158-165 |
30 | EE | Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark: DARE: a system for distributed abductive reasoning. Autonomous Agents and Multi-Agent Systems 16(3): 271-297 (2008) |
2007 | ||
29 | EE | Arosha K. Bandara, Alessandra Russo, Emil C. Lupu: Towards Learning Privacy Policies. POLICY 2007: 274 |
28 | EE | Salvatore Casale, Alessandra Russo, Salvatore Serrano: Multistyle classification of speech under stress using feature subset selection based on genetic algorithms. Speech Communication 49(10-11): 801-810 (2007) |
2006 | ||
27 | EE | Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo: Using Argumentation Logic for Firewall Policy Specification and Analysis. DSOM 2006: 185-196 |
26 | EE | Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel: Extracting Requirements from Scenarios with ILP. ILP 2006: 64-78 |
25 | EE | Marinos Charalambides, Paris Flegkas, George Pavlou, Javier Rubio-Loyola, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Morris Sloman, Naranker Dulay: Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management. NOMS 2006: 294-304 |
24 | EE | Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Inferring operational requirements from scenarios and goal models using inductive learning. SCESM 2006: 29-36 |
2005 | ||
23 | EE | Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou: Policy refinement for DiffServ quality of service management. Integrated Network Management 2005: 469-482 |
22 | EE | Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Javier Rubio-Loyola: Policy Conflict Analysis for Quality of Service Management. POLICY 2005: 99-108 |
21 | EE | William Heaven, Alessandra Russo: Enhancing the Alloy Analyzer with Patterns of Analysis. WLPE 2005: 14-30 |
20 | Krysia Broda, Alessandra Russo: Compiled Labelled Deductive Systems for Access Control. We Will Show Them! (1) 2005: 309-338 | |
19 | EE | William Heaven, Alessandra Russo: Enhancing the Alloy Analyzer with Patterns of Analysis CoRR abs/cs/0508109: (2005) |
2004 | ||
18 | EE | Oliver Ray, Krysia Broda, Alessandra Russo: Generalised Kernel Sets for Inverse Entailment. ICLP 2004: 165-179 |
17 | EE | Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo: A Goal-based Approach to Policy Refinement. POLICY 2004: 229-239 |
16 | EE | Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo: Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA 2004: 41-51 |
15 | EE | Oliver Ray, Krysia Broda, Alessandra Russo: A Hybrid Abductive Inductive Proof Procedure. Logic Journal of the IGPL 12(5): 371-397 (2004) |
2003 | ||
14 | EE | Oliver Ray, Krysia Broda, Alessandra Russo: Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP 2003: 311-328 |
13 | EE | Arosha K. Bandara, Emil Lupu, Alessandra Russo: Using Event Calculus to Formalise Policy Specification and Analysis. POLICY 2003: 26- |
12 | Artur S. 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 (2003) | |
2002 | ||
11 | EE | Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer: An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP 2002: 22-37 |
10 | EE | Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo: Labelled Natural Deduction for Conditional Logics of Normality. Logic Journal of the IGPL 10(2): 123-163 (2002) |
2001 | ||
9 | EE | Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358 |
8 | EE | Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo: Making inconsistency respectable in software development. Journal of Systems and Software 58(2): 171-180 (2001) |
2000 | ||
7 | Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo: Leveraging Inconsistency in Software Development. IEEE Computer 33(4): 24-29 (2000) | |
1999 | ||
6 | Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring requirement specifications. IEE Proceedings - Software 146(1): 44-50 (1999) | |
5 | EE | Krysia Broda, Marcelo Finger, Alessandra Russo: Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL 7(3): 283-318 (1999) |
1998 | ||
4 | EE | Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. ICRE 1998: 51- |
1997 | ||
3 | Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo: Grafting Modalities onto Substructural Implication Systems. Studia Logica 59(1): 65-102 (1997) | |
1996 | ||
2 | Alessandra Russo: Generalising Propositional Modal Logic Using Labelled Deductive Systems. Frontiers of Combining Systems (FroCos) 1996: 57-73 | |
1992 | ||
1 | Fiorella de Rosis, Sebastiano Pizzutilo, Alessandra Russo, Dianne C. Berry, F. Javier Nicolau Molina: Modeling the User Knowledge by Belief Networks. User Model. User-Adapt. Interact. 2(4): 367-388 (1992) |