All-path reachability logic A Ştefănescu, Ş Ciobâcă, R Mereuta, BM Moore, TF Şerbănută, G Roşu International Conference on Rewriting Techniques and Applications, 425-440, 2014 | 86 | 2014 |
Executing Formal Semantics with the Tool D Lazar, A Arusoaie, TF Şerbǎnuţǎ, C Ellison, R Mereuta, D Lucanu, ... International symposium on formal methods, 267-271, 2012 | 18 | 2012 |
All-path reachability logic A Stefanescu, S Ciobâca, R Mereuta, B Moore, TF Serbanuta, G Rosu Logical Methods in Computer Science 15, 2019 | 15 | 2019 |
Extending the Service Composition Formalism with Relational Parameters P Diac, L Tucar, R Mereuta arXiv preprint arXiv:1909.04393, 2019 | | 2019 |
Parsing K definitions R Mereuţă, G Grigoraş Electronic Notes in Theoretical Computer Science 304, 151-166, 2014 | | 2014 |
Parsing in K framework R Mereuta | | 2011 |