List of Publications: Program Analysis
-
M. Avanzini and G. Moser. “Complexity of Acyclic Term Graph Rewriting”. Proceedings of the 1th International Conference on Formal Structures for Computation and Deduction, volume 52 of Leibnitz International Proceedings in Informatics, pages 10:1–10:18, 2016. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.
-
M. Avanzini and G. Moser and M. Schaper. “TcT: Tyrolean Complexity Tool”. (Preprint). Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 9636 of Lecture Notes in Computer Science, pages 407–423, 2016. Springer Verlag Heidelberg. © Springer Verlag Heidelberg.
-
M. Avanzini and G.Moser. “Tyrolean Complexity Tool: Features and Usage”. Proceedings of the 24th International Conference on Rewriting Techniques and Applications, volume 21 of Leibnitz International Proceedings in Informatics, pages 71–80, 2013. Leibnitz Zentrum für Informatik. © Creative Commons License - ND.