Cost Analysis of Programs Based on the Refinement of Cost Relations
Sep 2017Antonio Flores-Montoya
Computer Science Department, Technical University of Darmstadt, Germany link
Computer Science Department, Technical University of Darmstadt, Germany link
In Journal of Automated Reasoning link
In Proceedings of Formal Methods - 21st International Symposium, FM 2016 link
In ACM Transactions on Computational Logic link
In Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, Revised Selected Papers link
In 12th Asian Symposium on Programming Languages and Systems, APLAS 2014 link
In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014 link
In Proceedings of Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013 link
In Proceedings of Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013 link
In 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE’12 link
In Proceedings of Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012 link
In 18th Working Conference on Reverse Engineering, WCRE 2011 link