Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:N.Aguirre R.Degiovanni N.D'Ippolito T.S.E.Maibaum P.Ponzio M.F.Frias F.Molina M.Uva C.Cornejo S.G.Brida M.Politano F.Raverta J.P.Galeotti
Talks about:tempor (2) system (2) specif (2) fluent (2) count (2) alloy (2) base (2) workaround (1) behaviour (1) algorithm (1)
Person: Germán Regis
DBLP: Regis:Germ=aacute=n
Contributed to:
2015
2007
2017
2018
2017Wrote 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.
- IFM-2007-AguirreRM #community #design #verification
- Verifying Temporal Properties of CommUnity Designs (NA, GR, TSEM), pp. 1–20.
- ESEC-FSE-2017-RegisCBPRPAGF #alloy #analysis #behaviour #modelling #specification
- DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour (GR, CC, SGB, MP, FR, PP, NA, JPG, MFF), pp. 969–973.
- 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.
- FASE-2017-UvaPRAF #automation #java #satisfiability #specification
- Automated Workarounds from Java Program Specifications Based on SAT Solving (MU, PP, GR, NA, MFF), pp. 356–373.