| Extracting timed automata from Java methods G Liva, MT Khan, M Pinzger 2017 IEEE 17th International Working Conference on Source Code Analysis and …, 2017 | 15 | 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 | 8 | 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 | 6 | 2018 |
| 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 | 5 | 2019 |
| Semantics-driven extraction of timed automata from Java programs G Liva, MT Khan, M Pinzger Empirical Software Engineering 24 (5), 3114-3150, 2019 | 3 | 2019 |
| Verifying temporal specifications of Java programs F Spegni, L Spalazzi, G Liva, M Pinzger, A Bollin Software Quality Journal 28, 695-744, 2020 | 1 | 2020 |
| 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 | 1 | 2017 |
| 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 | | |
