| No. |
Title |
Author |
Year |
| 1 |
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431) |
Bjørner, Nikolaj S. et al. |
2022 |
| 2 |
Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk) |
Rosu, Grigore |
2020 |
| 3 |
Matching mu-Logic: Foundation of K Framework (Invited Paper) |
Chen, Xiaohong et al. |
2019 |
| 4 |
Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk) |
Rosu, Grigore |
2018 |
| 5 |
Matching Logic - Extended Abstract (Invited Talk) |
Rosu, Grigore |
2015 |
| 6 |
A Rewriting Logic Semantics Approach to Modular Program Analysis |
Hills, Mark et al. |
2010 |
| 7 |
07011 Abstracts Collection -- Runtime Verification |
Finkbeiner, Bernd et al. |
2008 |
| 8 |
07011 Executive Summary -- Runtime Verification |
Finkbeiner, Bernd et al. |
2008 |
