Alessandra Russo

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)

Coauthor Index

1	Dalal Alrajeh	[24] [26] [32] [33]
2	Arosha Bandara	[34]
3	Arosha K. Bandara	[13] [17] [22] [23] [25] [27] [29]
4	Dianne C. Berry	[1]
5	Krysia Broda	[5] [10] [14] [15] [18] [20] [30]
6	Salvatore Casale	[28] [31]
7	Marinos Charalambides	[22] [23] [25]
8	Keith Clark	[30]
9	Robert Craven	[34]
10	Marcello D'Agostino	[3]
11	Naranker Dulay	[22] [23] [25]
12	Steve M. Easterbrook	[7] [8]
13	Marcelo Finger	[5]
14	Paris Flegkas	[22] [23] [25]
15	Dov M. Gabbay	[3] [10]
16	Artur S. d'Avila Garcez	[9] [12] [16]
17	William Heaven	[19] [21]
18	Antonis C. Kakas	[27]
19	Jeff Kramer	[4] [6] [9] [11] [12]
20	Luís C. Lamb (Luís da Cunha Lamb)	[10]
21	Jorge Lobo	[34]
22	Emil C. Lupu (Emil Lupu)	[13] [17] [22] [23] [25] [27] [29] [34]
23	Jiefei Ma	[30] [34]
24	Rob Miller (Robert Simon Miller)	[11]
25	Jonathan D. Moffett	[17]
26	F. Javier Nicolau Molina	[1]
27	Bashar Nuseibeh	[4] [6] [7] [8] [9] [11] [12]
28	George Pavlou	[22] [23] [25]
29	Sebastiano Pizzutilo	[1]
30	Oliver Ray	[14] [15] [18] [26] [33]
31	Odinaldo Rodrigues	[16]
32	Fiorella de Rosis	[1]
33	Javier Rubio-Loyola	[22] [25]
34	G. Scebba	[31]
35	Salvatore Serrano	[28] [31]
36	Morris Sloman	[22] [23] [25]
37	Sebastián Uchitel	[24] [26] [32] [33]

Colors in the list of coauthors