Andrei Arusoaie
Andrei Arusoaie
Associate Professor at Faculty of Computer Science, Alexandru Ioan Cuza University
Verified email at uaic.ro - Homepage
Title
Cited by
Cited by
Year
A generic framework for symbolic execution
A Arusoaie, D Lucanu, V Rusu
International Conference on Software Language Engineering, 281-301, 2013
36*2013
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
31*2014
Verifying reachability-logic properties on rewriting-logic specifications
D Lucanu, V Rusu, A Arusoaie, D Nowak
Logic, Rewriting, and Concurrency, 451-474, 2015
282015
A generic framework for symbolic execution: A coinductive approach
D Lucanu, V Rusu, A Arusoaie
Journal of Symbolic Computation 80, 125-163, 2017
202017
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
192016
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
182010
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
172017
Symbolic execution based on language transformation
A Arusoaie, D Lucanu, V Rusu
Computer Languages, Systems & Structures 44, 48-71, 2015
172015
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
142012
The K primer (version 2.5)
TF Serbanuta, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Rosu
K 11, 2012
142012
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
112014
Towards a K Semantics for OCL
A Arusoaie, D Lucanu, V Rusu
Electronic Notes in Theoretical Computer Science 304, 81-96, 2014
72014
Unification modulo builtins
Ş Ciobācă, A Arusoaie, D Lucanu
International Workshop on Logic, Language, Information, and Computation, 179-195, 2018
52018
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
52017
Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
S Escobar
Springer, 2014
52014
Making Maude definitions more interactive
A Arusoaie, TF Şerbănuţă, C Ellison, G Roşu
International Workshop on Rewriting Logic and its Applications, 83-98, 2012
52012
Executing and verifying higher-order functional-imperative programs in Maude
V Rusu, A Arusoaie
Journal of logical and algebraic methods in programming 93, 68-91, 2017
42017
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
42013
Automating abstract syntax tree construction for context free grammars
A Arusoaie, DI Vicol
2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012
42012
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
A Arusoaie, D Lucanu, D Nowak, V Rusu, RIC Iaşi
4
The system can't perform the operation now. Try again later.
Articles 1–20