Giovanni Liva

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 8

Top Topics

Literature Review

Digital Government

Top Venues

ICSE (Companion Volume)

Publications

Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger, Francesco Spegni, Luca Spalazzi
Automatic Repair of Timestamp Comparisons. IEEE Trans. Software Eng. 47 (11) (2021)
Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin
Verifying temporal specifications of Java programs. Softw. Qual. J. 28 (2) (2020)
Giovanni Liva, Cristiano Codagnone, Gianluca Misuraca, Vaida Gineikyte, Egidijus Barcevicius
Exploring digital government transformation: a literature review. ICEGOV (2020)
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger
Semantics-driven extraction of timed automata from Java programs. Empir. Softw. Eng. 24 (5) (2019)
Luca Spalazzi, Francesco Spegni, Giovanni Liva, Martin Pinzger
Towards Model Checking Security of Real Time Java Software. HPCS (2018)
Giovanni Liva
Automatic verification of time behavior of programs. ICSE (Companion Volume) (2018)
Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger
Modeling time in Java programs for automatic error detection. FormaliSE@ICSE (2018)
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger
Extracting Timed Automata from Java Methods. SCAM (2017)