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.