Giovanni Liva

According to our database, Giovanni Liva authored at least 8 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Automatic Repair of Timestamp Comparisons.

Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger, Francesco Spegni, Luca Spalazzi

IEEE Trans. Software Eng., 2021

2020

Verifying temporal specifications of Java programs.

Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin

Softw. Qual. J., 2020

Exploring digital government transformation: a literature review.

Giovanni Liva, Cristiano Codagnone, Gianluca Misuraca, Vaida Gineikyte, Egidijus Barcevicius

Proceedings of the ICEGOV 2020: 13th International Conference on Theory and Practice of Electronic Governance, 2020

2019

Semantics-driven extraction of timed automata from Java programs.

Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger

Empir. Softw. Eng., 2019

2018

Towards Model Checking Security of Real Time Java Software.

Luca Spalazzi, Francesco Spegni, Giovanni Liva, Martin Pinzger

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

Modeling time in Java programs for automatic error detection.

Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Automatic verification of time behavior of programs.

Giovanni Liva

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Extracting Timed Automata from Java Methods.

Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger

Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017