Kevm: A complete formal semantics of the ethereum virtual machine E Hildenbrandt, M Saxena, N Rodrigues, X Zhu, P Daian, D Guth, ... 2018 IEEE 31st Computer Security Foundations Symposium (CSF), 204-217, 2018 | 531* | 2018 |
Towards a unified proof framework for automated fixpoint reasoning using matching logic X Chen, MT Trinh, N Rodrigues, L Peña, G Roşu Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 14 | 2020 |
A Logical Treatment of Finite Automata N Rodrigues, MO Sebe, X Chen, G Roşu International Conference on Tools and Algorithms for the Construction and …, 2024 | | 2024 |
KBoogie: A Formal Semantics for Boogie N Rodrigues, S Poulsen, G Rosu | | 2021 |
Technical Report: Decidable Fragments of Matching Logic N Rodrigues, X Chen, G Rosu | | 2021 |
Formal semantics of hybrid automata M Saxena, X Chen, N Rodrigues, G Rosu | | 2020 |
Nelson Oppen combination as a rewrite theory N Rodrigues University of Illinois at Urbana-Champaign, 2018 | | 2018 |