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:


Topic revision: r10 - 2017-08-02 - GiovanniLiva

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