Publications

We include the papers on this page to ensure timely dissemination on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by the copyrights. These works may not be reposted without the explicit permission of the copyright holder.

2019

  • Automatic Repair of Timestamp Comparisons
    G. Liva, M. T. Khan, M. Pinzger, F. Spegni, and L. Spalazzi. IEEE Transactions on Software Engineering (TSE), to appear, IEEE, 2019.
  • Semantics-Driven Extraction of Timed Automata from Java Programs
    G. Liva, M. T. Khan, and M. Pinzger. Journal of Empirical Software Engineering (EMSE), to appear, Springer, 2019.

2018

  • Towards Model Checking Security of Real Time Java Software (pdf)
    F. Spegni, L.Spalazzi, G. Liva, and M. Pinzger. In Proceedings of the International Workshop on Security and High Performance Computing Systems (SHPCS), to appear, IEEE/ACM, 2018.
  • Modeling Time in Java Programs for Automatic Error Detection (pdf)
    G. Liva, M. T. Khan, F. Spegni, L.Spalazzi, A. Bollin, and M. Pinzger. In Proceedings of the International Conference on Formal Methods in Software Engineering (FormaliSE), pp. 50-59, IEEE, 2018.
  • Automatic verification of time behavior of programs (pdf)
    G. Liva. In Proceedings of the International Conference on Software Engineering, Doctoral Symposium, pp. 468-471, IEEE, 2018.

2017

  • Extracting Timed Automata from Java Methods (pdf)
    G. Liva, M. T. Khan, and M. Pinzger. In Proceedings of the International Working Conference on Source Code Analysis and Manipulation (SCAM), pp. 91-100, IEEE, 2017.
  • Extracting Parallel Control Flow Graphs with Synchronization Information from Java Programs (pdf)
    G. Liva, F. Spegni, L. Spalazzi, A. Bollin, and M. Pinzger. Technical Report, University of Klagenfurt, 2017

Topic revision: r6 - 2019-10-15 - MartinPinzger
 

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