Giovanni Liva
Cited by
Cited by
Extracting timed automata from Java methods
G Liva, MT Khan, M Pinzger
2017 IEEE 17th International Working Conference on Source Code Analysis and …, 2017
Towards model checking security of real time Java software
L Spalazzi, F Spegni, G Liva, M Pinzger
2018 International Conference on High Performance Computing & Simulation …, 2018
Modeling time in Java programs for automatic error detection
G Liva, MT Khan, F Spegni, L Spalazzi, A Bollin, M Pinzger
Proceedings of the 6th Conference on Formal Methods in Software Engineering …, 2018
Automatic repair of timestamp comparisons
G Liva, MT Khan, M Pinzger, F Spegni, L Spalazzi
IEEE Transactions on Software Engineering, 2019
Verifying temporal specifications of Java programs
F Spegni, L Spalazzi, G Liva, M Pinzger, A Bollin
Software Quality Journal 28, 695-744, 2020
Semantics-driven extraction of timed automata from Java programs
G Liva, MT Khan, M Pinzger
Empirical Software Engineering 24 (5), 3114-3150, 2019
Automatic verification of time behavior of programs
G Liva
Proceedings of the 40th International Conference on Software Engineering …, 2018
Automatic Identification and Recovery of Errors in Programs-A Rigorous Approach
G Liva, F Spegni, M Taimoor, LS Khan, M Pinzger
Proof of Soundness of TTS and Repair Strategy
G Liva, MT Khan
Extracting Parallel Control Flow Graphs with Synchronization Information from Java Programs
G Liva, F Spegni, L Spalazzi, A Bollin, M Pinzger
The system can't perform the operation now. Try again later.
Articles 1–10