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)
  G. Liva, M. T. Khan, M. Pinzger

Follow me on: