BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Russo:Alessandra

Facilitated 3 volumes:

CBSE 2008PrCo
ESEC/FSE 2019Ed
FASE 2018Ed

Contributed to:

ICLP 20152015
ICLP 20132013
ICSE 20132013
FASE 20122012
ICSE 20122012
ICLP 20112011
ICLP 20112011
ICLP 20102010
ICSE 20092009
FASE 20082008
ICLP 20042004
ICLP 20022002
ASE 20012001
ICRE 19981998
ASE 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.