Giovanni Liva

Orcid: 0000-0002-9337-5762

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Automatic Repair of Timestamp Comparisons.
IEEE Trans. Software Eng., 2021

2020
Verifying temporal specifications of Java programs.
Softw. Qual. J., 2020

Exploring digital government transformation: a literature review.
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.
Empir. Softw. Eng., 2019

2018
Towards Model Checking Security of Real Time Java Software.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

Modeling time in Java programs for automatic error detection.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Automatic verification of time behavior of programs.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Extracting Timed Automata from Java Methods.
Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017


  Loading...