Följ
Giovanni Liva
Giovanni Liva
PhD in Software Engineering, University of Klagenfurt, Austria
Verifierad e-postadress på aau.at - Startsida
Titel
Citeras av
Citeras av
År
Extracting timed automata from Java methods
G Liva, MT Khan, M Pinzger
2017 IEEE 17th International Working Conference on Source Code Analysis and …, 2017
152017
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
82018
Automatic repair of timestamp comparisons
G Liva, MT Khan, M Pinzger, F Spegni, L Spalazzi
IEEE Transactions on Software Engineering 47 (11), 2369-2381, 2019
52019
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
52018
Semantics-driven extraction of timed automata from Java programs
G Liva, MT Khan, M Pinzger
Empirical Software Engineering 24 (5), 3114-3150, 2019
22019
Extracting parallel control flow graphs with synchronization information from java program
G Liva, F Spegni, L Spalazzi, A Bollin, M Pinzger
Alpen-Adria-Universitat Klagenfurt, Klagenfurt, Austria, Tech. Rep. AAU-SERG …, 2017
12017
Verifying temporal specifications of Java programs
F Spegni, L Spalazzi, G Liva, M Pinzger, A Bollin
Software Quality Journal 28, 695-744, 2020
2020
Automatic verification of time behavior of programs
G Liva
Proceedings of the 40th International Conference on Software Engineering …, 2018
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–10