Follow
Dorel Lucanu
Dorel Lucanu
Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO
Verified email at info.uaic.ro - Homepage
Title
Cited by
Cited by
Year
Circular coinduction: A proof theoretical foundation
G Roşu, D Lucanu
International Conference on Algebra and Coalgebra in Computer Science, 127-144, 2009
952009
A rewriting logic framework for operational semantics of membrane systems
O Andrei, G Ciobanu, D Lucanu
Theoretical Computer Science 373 (3), 163-181, 2007
912007
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
702017
CIRC: A behavioral verification tool based on circular coinduction
D Lucanu, EI Goriac, G Caltais, G Roşu
Algebra and Coalgebra in Computer Science: Third International Conference …, 2009
572009
CIRC: A circular coinductive prover
D Lucanu, G Roşu
International Conference on Algebra and Coalgebra in Computer Science, 372-378, 2007
462007
Executable specifications of P systems
O Andrei, G Ciobanu, D Lucanu
International Workshop on Membrane Computing, 126-145, 2004
462004
A language-independent proof system for full program equivalence
Ş Ciobâcă, D Lucanu, V Rusu, G Roşu
Formal Aspects of Computing 28, 469-497, 2016
452016
A generic framework for symbolic execution
A Arusoaie, D Lucanu, V Rusu
International Conference on Software Language Engineering, 281-301, 2013
41*2013
Concurrent object composition in CafeOBJ
S Iida, M Matsumoto, R Diaconescu, K Futatsugi, D Lucanu
北陸先端科学技術大学院大学情報科学研究科, 1998
401998
Program equivalence by circular reasoning
D Lucanu, V Rusu
Formal Aspects of Computing 27, 701-726, 2015
392015
A generic framework for symbolic execution: A coinductive approach
D Lucanu, V Rusu, A Arusoaie
Journal of Symbolic Computation 80, 125-163, 2017
382017
The K primer (version 3.3)
A Arusoaie, D Lazar, C Ellison, D Lucanu
37*2013
Structural operational semantics of P systems
O Andrei, G Ciobanu, D Lucanu
International Workshop on Membrane Computing, 31-48, 2005
362005
A coinductive approach to proving reachability properties in logically constrained term rewriting systems
Ş Ciobâcă, D Lucanu
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
332018
Matching logic explained
X Chen, D Lucanu, G Roşu
Journal of Logical and Algebraic Methods in Programming 120, 100638, 2021
302021
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
292015
K Framework Distilled
D Lucanu, TF Şerbănuţă, G Roşu
Rewriting Logic and Its Applications, 31-53, 2012
252012
Semantic web languages–towards an institutional perspective
D Lucanu, YF Li, JS Dong
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006
232006
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
212016
Executing Formal Semantics with the K Tool
D Lazar, A Arusoaie, TF Şerbǎnuţǎ, C Ellison, R Mereuta, D Lucanu, ...
FM 2012: Formal Methods, 267-271, 2012
182012
The system can't perform the operation now. Try again later.
Articles 1–20