Travelled to:1 × Canada
1 × Denmark
1 × Estonia
1 × France
1 × Hungary
1 × Switzerland
1 × United Kingdom
4 × USA
Collaborated with:J.Kramer D.Alrajeh S.Uchitel B.Nuseibeh K.Broda D.Corapi E.Lupu J.Ma M.Law O.Ray R.Miller A.S.d.Garcez F.Le D.Wood J.Lobo A.v.Lamsweerde M.D.Vos J.A.Padget K.Satoh J.Lockerbie N.A.M.Maiden A.Mavin M.Novak D.Sykes J.Magee K.Inoue Y.Rafiq L.Dickens A.K.Bandara M.Yang A.Stuart M.Levine G.Calikli B.A.Price
Talks about:learn (6) specif (5) requir (5) model (4) approach (3) system (3) induct (3) abduct (3) goal (3) scenario (2)
♀ Person: Alessandra Russo
DBLP: Russo:Alessandra
Facilitated 3 volumes:
PrCo
Ed
EdContributed to:
20152013
2013201220122011201120102009200820042002
2001
19982017Wrote 17 papers:
- ICLP-J-2015-LawRB #constraints #learning #programming #set
- Learning weak constraints in answer set programming (ML, AR, KB), pp. 511–525.
- ICLP-J-2013-MaLWRL #analysis #approach #declarative #distributed #execution #specification
- A declarative approach to distributed computing: Specification, execution and analysis (JM, FL, DW, AR, JL), pp. 815–830.
- ICSE-2013-AlrajehRLMMN
- Computational alignment of goals and scenarios for complex systems (DA, AR, JL, NAMM, AM, MN), pp. 1249–1252.
- ICSE-2013-SykesCMKRI #adaptation #learning #modelling
- Learning revised models for planning in adaptive systems (DS, DC, JM, JK, AR, KI), pp. 63–71.
- FASE-2012-AlrajehKRU #learning #satisfiability #specification
- Learning from Vacuously Satisfiable Scenario-Based Specifications (DA, JK, AR, SU), pp. 377–393.
- ICSE-2012-AlrajehKLRU #generative #requirements
- Generating obstacle conditions for requirements completeness (DA, JK, AvL, AR, SU), pp. 705–715.
- ICLP-2011-AlrajehKRU #approach #induction #refinement
- An Inductive Approach for Modal Transition System Refinement (DA, JK, AR, SU), pp. 106–116.
- ICLP-2011-MaRBL #abduction #multi #reasoning
- Multi-agent Confidential Abductive Reasoning (JM, AR, KB, EL), pp. 175–186.
- ICLP-J-2011-CorapiRVPS #design #induction #learning #using
- Normative design using inductive learning (DC, AR, MDV, JAP, KS), pp. 783–799.
- ICLP-2010-CorapiRL10 #abduction #induction #logic programming
- Inductive Logic Programming as Abductive Search (DC, AR, EL), pp. 54–63.
- ICSE-2009-AlrajehKRU #learning #modelling #requirements
- Learning operational requirements from goal models (DA, JK, AR, SU), pp. 265–275.
- FASE-2008-AlrajehRU #behaviour #modelling #using
- Deriving Non-zeno Behavior Models from Goal Models Using ILP (DA, AR, SU), pp. 1–15.
- ICLP-2004-RayBR #kernel #set
- Generalised Kernel Sets for Inverse Entailment (OR, KB, AR), pp. 165–179.
- ICLP-2002-RussoMNK #abduction #approach #requirements #specification
- An Abductive Approach for Analysing Event-Based Requirements Specifications (AR, RM, BN, JK), pp. 22–37.
- ASE-2001-GarcezRNK #requirements #specification
- An Analysis-Revision Cycle to Evolve Requirements Specifications (ASdG, AR, BN, JK), pp. 354–358.
- ICRE-1998-RussoNK #case study #consistency #nondeterminism #requirements #specification
- Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study (AR, BN, JK), p. 51–?.
- ASE-2017-RafiqDRBYSLCPN #adaptation #learning #network #online #re-engineering #social
- Learning to share: engineering adaptive decision-support for online social networks (YR, LD, AR, AKB, MY, AS, ML, GC, BAP, BN), pp. 280–285.