Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alessandra Russo
2010 – today
- 2013
[j20]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Elaborating Requirements Using Model Checking and Inductive Learning. IEEE Trans. Software Eng. 39(3): 361-383 (2013)- [c59]Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue: Learning revised models for planning in adaptive systems. ICSE 2013: 63-71
- [c58]Dalal Alrajeh, Alessandra Russo, James Lockerbie, Neil A. M. Maiden, Alistair Mavin, Mark Novak: Computational alignment of goals and scenarios for complex systems. ICSE 2013: 1249-1252
- 2012
- [c57]Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Handling change in normative specifications. AAMAS 2012: 1369-1370
- [c56]Jorge Lobo, Jiefei Ma, Alessandra Russo, Franck Le: Declarative Distributed Computing. Correct Reasoning 2012: 454-470
- [c55]Ian Molloy, Luke Dickens, Charles Morisset, Pau-Chen Cheng, Jorge Lobo, Alessandra Russo: Risk-based security decisions under uncertainty. CODASPY 2012: 157-168
- [c54]Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Handling Change in Normative Specifications. DALT 2012: 1-19
- [c53]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE 2012: 377-393
- [c52]Duangtida Athakravi, Krysia Broda, Alessandra Russo: Predicate Invention in Inductive Logic Programming. ICCSW 2012: 15-21
- [c51]Luke Dickens, Ian Molloy, Jorge Lobo, Pau-Chen Cheng, Alessandra Russo: Learning Stochastic Models of Information Flow. ICDE 2012: 570-581
- [c50]Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel: Generating obstacle conditions for requirements completeness. ICSE 2012: 705-715
- [c49]Moritz Y. Becker, Alessandra Russo, Nik Sultana: Foundations of Logic-Based Trust Management. IEEE Symposium on Security and Privacy 2012: 161-175
- 2011
- [j19]Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Normative design using inductive learning. TPLP 11(4-5): 783-799 (2011)
- [c48]Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu: Multi-agent abductive reasoning with confidentiality. AAMAS 2011: 1137-1138
- [c47]Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman: Refinement of History-Based Policies. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 280-299
- [c46]Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo: Probabilistic Rule Learning in Nonmonotonic Domains. CLIMA 2011: 243-258
- [c45]Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman: Policy refinement: Decomposition and operationalization for dynamic domains. CNSM 2011: 1-9
- [c44]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: An Inductive Approach for Modal Transition System Refinement. ICLP (Technical Communications) 2011: 106-116
- [c43]Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu: Multi-agent Confidential Abductive Reasoning. ICLP (Technical Communications) 2011: 175-186
- [c42]Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer: Integrating Model Checking and Inductive Logic Programming. ILP 2011: 45-60
- [c41]Domenico Corapi, Alessandra Russo, Emil Lupu: Inductive Logic Programming in Answer Set Programming. ILP 2011: 91-97
- [i2]Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Normative design using inductive learning. CoRR abs/1107.4967 (2011)
- 2010
- [b1]Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo: Revision, Acceptability and Context - Theoretical and Algorithmic Aspects. Cognitive Technologies, Springer 2010, ISBN 978-3-642-14158-4, pp. I-X, 1-385
- [j18]Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda: Speculative constraint processing for hierarchical agents. AI Commun. 23(4): 373-388 (2010)
- [j17]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Deriving non-Zeno behaviour models from goal models using ILP. Formal Asp. Comput. 22(3-4): 217-241 (2010)
- [c40]Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh: Norm Refinement and Design through Inductive Learning. COIN@AAMAS&MALLOW 2010: 77-94
- [c39]Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu: Distributed abductive reasoning with constraints. AAMAS 2010: 1381-1382
- [c38]Fabrizio Maria Maggi, Domenico Corapi, Alessandra Russo, Emil Lupu, Giuseppe Visaggio: Revising Process Models through Inductive Learning. Business Process Management Workshops 2010: 182-193
- [c37]Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh: Speculative Abductive Reasoning for Hierarchical Agent Systems. CLIMA 2010: 49-64
- [c36]Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman: Decomposition techniques for policy refinement. CNSM 2010: 72-79
- [c35]Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu: Distributed Abductive Reasoning with Constraints. DALT 2010: 148-166
- [c34]Luke Dickens, Krysia Broda, Alessandra Russo: The Dynamics of Multi-Agent Reinforcement Learning. ECAI 2010: 367-372
- [c33]Domenico Corapi, Alessandra Russo, Emil Lupu: Inductive Logic Programming as Abductive Search. ICLP (Technical Communications) 2010: 54-63
- [c32]Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh: Norm Refinement and Design through Inductive Learning. MALLOW 2010
2000 – 2009
- 2009
- [j16]Francesco Beritelli, Salvatore Casale, Alessandra Russo, Salvatore Serrano: Adaptive V/UV Speech Detection Based on Characterization of Background Noise. EURASIP J. Audio, Speech and Music Processing 2009 (2009)
- [j15]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)
- [j14]Marinos Charalambides, Paris Flegkas, George Pavlou, Javier Rubio-Loyola, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman: Policy conflict analysis for diffserv quality of service management. IEEE Transactions on Network and Service Management 6(1): 15-30 (2009)
- [c31]Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo: SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI 2009: 112-117
- [c30]Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu: Multi-agent planning with confidentiality. AAMAS (2) 2009: 1275-1276
- [c29]Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara: Expressive policy analysis with enhanced system dynamicity. ASIACCS 2009: 239-250
- [c28]Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh: On the Implementation of Speculative Constraint Processing. CLIMA 2009: 178-195
- [c27]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning operational requirements from goal models. ICSE 2009: 265-275
- [c26]Domenico Corapi, Oliver Ray, Alessandra Russo, Arosha K. Bandara, Emil C. Lupu: Learning Rules from User Behaviour. AIAI 2009: 459-468
- [c25]Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo: Using argumentation logic for firewall configuration management. Integrated Network Management 2009: 180-187
- [c24]Tim Kimber, Krysia Broda, Alessandra Russo: Induction on Failure: Learning Connected Horn Theories. LPNMR 2009: 169-181
- [c23]Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman: Security policy refinement using data integration: a position paper. SafeConfig 2009: 25-28
- 2008
- [j13]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)
- [c22]Jiefei Ma, Krysia Broda, Alessandra Russo, Keith Clark: A Dynamic System for Distributed Reasoning. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 31-36
- [c21]Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Deriving Non-zeno Behavior Models from Goal Models Using ILP. FASE 2008: 1-15
- [c20]Salvatore Casale, Alessandra Russo, G. Scebba, Salvatore Serrano: Speech Emotion Classification Using Machine Learning Algorithms. ICSC 2008: 158-165
- 2007
- [j12]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)
- [c19]Giuseppe Maraviglia, Marina Masi, Vincenzo Merlo, Francesco Licandro, Alessandra Russo, Giovanni Schembra: Synchronous multipoint E-learning realized on an intelligent software-router platform over unicast networks: Design and performance issues. ETFA 2007: 1172-1179
- [c18]Arosha K. Bandara, Alessandra Russo, Emil C. Lupu: Towards Learning Privacy Policies. POLICY 2007: 274
- 2006
- [j11]Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou: Policy refinement for IP differentiated services Quality of Service management. IEEE Transactions on Network and Service Management 3(2): 2-13 (2006)
- [c17]Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo: Using Argumentation Logic for Firewall Policy Specification and Analysis. DSOM 2006: 185-196
- [c16]Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel: Extracting Requirements from Scenarios with ILP. ILP 2006: 64-78
- [c15]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
- [c14]Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Inferring operational requirements from scenarios and goal models using inductive learning. SCESM 2006: 29-36
- 2005
- [c13]Krysia Broda, Alessandra Russo: Compiled Labelled Deductive Systems for Access Control. We Will Show Them! (1) 2005: 309-338
- [c12]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
- [c11]William Heaven, Alessandra Russo: Enhancing the Alloy Analyzer with Patterns of Analysis. WLPE 2005: 14-30
- [c10]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
- [i1]William Heaven, Alessandra Russo: Enhancing the Alloy Analyzer with Patterns of Analysis. CoRR abs/cs/0508109 (2005)
- 2004
- [j10]Oliver Ray, Krysia Broda, Alessandra Russo: A Hybrid Abductive Inductive Proof Procedure. Logic Journal of the IGPL 12(5): 371-397 (2004)
- [c9]Oliver Ray, Krysia Broda, Alessandra Russo: Generalised Kernel Sets for Inverse Entailment. ICLP 2004: 165-179
- [c8]Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo: A Goal-based Approach to Policy Refinement. POLICY 2004: 229-239
- [c7]Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo: Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA 2004: 41-51
- 2003
- [j9]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)
- [c6]Oliver Ray, Krysia Broda, Alessandra Russo: Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP 2003: 311-328
- [c5]Arosha K. Bandara, Emil Lupu, Alessandra Russo: Using Event Calculus to Formalise Policy Specification and Analysis. POLICY 2003: 26-
- 2002
- [j8]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)
- [c4]Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer: An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP 2002: 22-37
- 2001
- [j7]Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo: Making inconsistency respectable in software development. Journal of Systems and Software 58(2): 171-180 (2001)
- [c3]Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358
- 2000
- [j6]Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo: Leveraging Inconsistency in Software Development. IEEE Computer 33(4): 24-29 (2000)
1990 – 1999
- 1999
- [j5]Bashar Nuseibeh, Alessandra Russo: Using Abduction to Evolve Inconsistent Requirements Specification. Australasian J. of Inf. Systems 6(2) (1999)
- [j4]Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring requirement specifications. IEE Proceedings - Software 146(1): 44-50 (1999)
- [j3]Krysia Broda, Marcelo Finger, Alessandra Russo: Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL 7(3): 283-318 (1999)
- 1998
- [c2]Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. ICRE 1998: 51-
- 1997
- [j2]Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo: Grafting Modalities onto Substructural Implication Systems. Studia Logica 59(1): 65-102 (1997)
- 1996
- [c1]Alessandra Russo: Generalising Propositional Modal Logic Using Labelled Deductive Systems. FroCoS 1996: 57-73
- 1992
- [j1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:20 CEST by the dblp team