Publications

Export 31 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Last Name is G  [Clear All Filters]
Conference Proceedings
Kafle B., Gallagher J.P., Ganty P..  2016.  Solving non-linear Horn clauses using a linear Horn clause solver. Electronic Proceedings in Theoretical Computer Science. 219:33-48.
Kafle B., Gallagher J.P..  2016.  Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. 28th International Conference Computer Aided Verification - CAV 2016. :261-268.
Orfei F, Gammaitoni L.  2015.  Logic Switches Operating at the Minimum Energy of Computing. IEEE Computer Society Annual Symposium on VLSI.
Kafle B., Gallagher J.P..  2016.  Interpolant tree automata and their application in Horn clause verification. Theoretical Computer Science - EPTCS. 216:104-117.
Li X., Gallagher J.P..  2016.  Fine-Grained Energy Modeling for the Source Code of a Mobile Application. International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services.
Georgiou K..  2016.  Energy Transparency for Deeply Embedded Programs. ACM Transactions on Architecture and Code Optmiziation (TACO). 1:309-314.

Pages