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.