Giovanni Liva

PhD Candidate
Software Engineering Research Group
Institute of Informatics Systems
Alpen-Adria University of Klagenfurt
Universitätsstraße 65-67
9020 Klagenfurt, Austria

E-mail:giovanni.liva (at) aau (dot) at

Office Room: E.2.64, main building, south wing, second floor

  • Extracting Parallel Control Flow Graphs with Synchronization Information from Java Programs (pdf)
    G. Liva, F. Spegni, L. Spalazzi, A. Bollin, M. Pinzger. Technical Report
  • Extracting Timed Automata from Java Methods (pdf) (tool/src)
    G. Liva, M. T. Khan, M. Pinzger
  • Modeling Time in Java Programs for Automatic Error Detection (pdf) (tool/src)
    G. Liva, M. T. Khan, F. Spegni, L. Spalazzi, A. Bollin, M. Pinzger

Follow me on:


I have moved my web-site to GitHub pages. This web-site will stay online for some more months but then will be removed.


Topic revision: r13 - 2018-08-09 - GiovanniLiva

Copyright © 2012-2022 by the Software Engineering Research Group, University of Klagenfurt, Austria