dblp.uni-trier.dewww.uni-trier.de

Alessandra Russo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
34EERobert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha Bandara: Expressive policy analysis with enhanced system dynamicity. ASIACCS 2009: 239-250
33EEDalal 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
32EEDalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Deriving Non-zeno Behavior Models from Goal Models Using ILP. FASE 2008: 1-15
31EESalvatore Casale, Alessandra Russo, G. Scebba, Salvatore Serrano: Speech Emotion Classification Using Machine Learning Algorithms. ICSC 2008: 158-165
30EEJiefei 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
29EEArosha K. Bandara, Alessandra Russo, Emil C. Lupu: Towards Learning Privacy Policies. POLICY 2007: 274
28EESalvatore 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
27EEArosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo: Using Argumentation Logic for Firewall Policy Specification and Analysis. DSOM 2006: 185-196
26EEDalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel: Extracting Requirements from Scenarios with ILP. ILP 2006: 64-78
25EEMarinos 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
24EEDalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Inferring operational requirements from scenarios and goal models using inductive learning. SCESM 2006: 29-36
2005
23EEArosha 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
22EEMarinos 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
21EEWilliam 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
19EEWilliam Heaven, Alessandra Russo: Enhancing the Alloy Analyzer with Patterns of Analysis CoRR abs/cs/0508109: (2005)
2004
18EEOliver Ray, Krysia Broda, Alessandra Russo: Generalised Kernel Sets for Inverse Entailment. ICLP 2004: 165-179
17EEArosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo: A Goal-based Approach to Policy Refinement. POLICY 2004: 229-239
16EEOdinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo: Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA 2004: 41-51
15EEOliver Ray, Krysia Broda, Alessandra Russo: A Hybrid Abductive Inductive Proof Procedure. Logic Journal of the IGPL 12(5): 371-397 (2004)
2003
14EEOliver Ray, Krysia Broda, Alessandra Russo: Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP 2003: 311-328
13EEArosha 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
11EEAlessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer: An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP 2002: 22-37
10EEKrysia 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
9EEArtur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358
8EEBashar 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)
5EEKrysia Broda, Marcelo Finger, Alessandra Russo: Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL 7(3): 283-318 (1999)
1998
4EEAlessandra 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)