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: Degiovanni:Renzo
Contributed to:
20152014
2011
2016
20172018Wrote 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.