| A comparison of open-source static analysis tools for vulnerability detection in c/c++ code A Arusoaie, S Ciobâca, V Craciun, D Gavrilut, D Lucanu 2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017 | 48 | 2017 |
| The K Primer (version 3.3). TF Serbanuta, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Rosu Electron. Notes Theor. Comput. Sci. 304, 57-80, 2014 | 41* | 2014 |
| A generic framework for symbolic execution A Arusoaie, D Lucanu, V Rusu International Conference on Software Language Engineering, 281-301, 2013 | 40* | 2013 |
| A generic framework for symbolic execution: A coinductive approach D Lucanu, V Rusu, A Arusoaie Journal of Symbolic Computation 80, 125-163, 2017 | 32 | 2017 |
| Augmented reality A Arusoaie, AI Cristei, C Chircu, MA Livadariu, V Manea, A Iftene 2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010 | 31 | 2010 |
| Verifying reachability-logic properties on rewriting-logic specifications D Lucanu, V Rusu, A Arusoaie, D Nowak Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015 | 29 | 2015 |
| Language definitions as rewrite theories V Rusu, D Lucanu, TF Şerbănuţă, A Arusoaie, A Ştefănescu, G Roşu Journal of Logical and Algebraic Methods in Programming 85 (1), 98-120, 2016 | 21 | 2016 |
| Symbolic execution based on language transformation A Arusoaie, D Lucanu, V Rusu Computer Languages, Systems & Structures 44, 48-71, 2015 | 17 | 2015 |
| 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 | 16 | 2012 |
| The K primer (version 2.5) TF Serbanuta, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Rosu K 11, 2012 | 15 | 2012 |
| Language definitions as rewrite theories A Arusoaie, D Lucanu, V Rusu, TF Şerbănuţă, A Ştefănescu, G Roşu International Workshop on Rewriting Logic and its Applications, 97-112, 2014 | 11 | 2014 |
| Unification in matching logic A Arusoaie, D Lucanu Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 9 | 2019 |
| Certifying Findel derivatives for blockchain A Arusoaie Journal of Logical and Algebraic Methods in Programming 121, 100665, 2021 | 8 | 2021 |
| A certified procedure for RL verification A Arusoaie, D Nowak, V Rusu, D Lucanu 2017 19th International Symposium on Symbolic and Numeric Algorithms for …, 2017 | 8 | 2017 |
| Automating abstract syntax tree construction for context free grammars A Arusoaie, DI Vicol 2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012 | 8 | 2012 |
| Towards a K Semantics for OCL A Arusoaie, D Lucanu, V Rusu Electronic Notes in Theoretical Computer Science 304, 81-96, 2014 | 7 | 2014 |
| Unification modulo builtins Ş Ciobâcă, A Arusoaie, D Lucanu Logic, Language, Information, and Computation: 25th International Workshop …, 2018 | 5 | 2018 |
| Proving reachability-logic formulas incrementally V Rusu, A Arusoaie Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016 …, 2016 | 5 | 2016 |
| Engineering Hoare Logic-based Program Verification in K Framework A Arusoaie SYNASC, 2013 | 5 | 2013 |
| The K primer (version 2.5) TF Şerbănuţă, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Roşu Proceedings of the 2nd Intl. K Wkshp.(K 2011). Electronic Notes in …, 2013 | 5 | 2013 |
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROVerified email at info.uaic.ro
