BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × Italy
1 × Switzerland
Collaborated with:
N.Aguirre G.Regis N.D'Ippolito D.Alrajeh S.Uchitel P.Ponzio M.F.Frias F.Molina N.Ricci P.F.Castro
Talks about:
base (4) goal (3) conflict (2) tempor (2) system (2) fluent (2) count (2) autom (2) operationalis (1) algorithm (1)

Person: Renzo Degiovanni

DBLP DBLP: Degiovanni:Renzo

Contributed to:

ICSE 20152015
ICSE 20142014
TAP 20112011
ASE 20162016
ESEC/FSE 20172017
ASE 20182018

Wrote 6 papers:

ICSE-v1-2015-RegisDDA #logic #specification
Specifying Event-Based Systems with a Counting Fluent Temporal Logic (GR, RD, ND, NA), pp. 733–743.
ICSE-2014-DegiovanniAAU #automation #satisfiability
Automated goal operationalisation based on interpolation and SAT solving (RD, DA, NA, SU), pp. 129–139.
TAP-2011-DegiovanniPAF #abstraction #automation #generative #requirements #specification #testing
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications (RD, PP, NA, MFF), pp. 84–101.
ASE-2016-DegiovanniRACA #detection #satisfiability
Goal-conflict detection based on temporal satisfiability checking (RD, NR, DA, PFC, NA), pp. 507–518.
ESEC-FSE-2017-RegisDDA #lts #named
CLTSA: labelled transition system analyser with counting fluent support (GR, RD, ND, NA), pp. 979–983.
ASE-2018-DegiovanniMRA #algorithm #identification #search-based
A genetic algorithm for goal-conflict identification (RD, FM, GR, NA), pp. 520–531.

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.