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
A rewriting logic framework for operational semantics of membrane systems
O Andrei, G Ciobanu, D Lucanu
Theoretical Computer Science 373 (3), 163-181, 2007
862007
Circular Coinduction: A Proof Theoretical Foundation.
G Rosu, D Lucanu
CALCO 5728, 127-144, 2009
842009
CIRC: A Behavioral Verification Tool Based on Circular Coinduction.
D Lucanu, EI Goriac, G Caltais, G Rosu
CALCO 9, 433-442, 2009
552009
A language-independent proof system for full program equivalence
S Ciobâca, D Lucanu, V Rusu, G Rosu
Formal Aspects of Computing 28 (3), 469--497, 2016
44*2016
CIRC: A Circular Coinductive Prover
D Lucanu, G Roşu
Algebra and Coalgebra in Computer Science: Second International Conference …, 2007
432007
Executable specifications of P systems
O Andrei, G Ciobanu, D Lucanu
Membrane Computing: 5th International Workshop, WMC 2004, Milan, Italy, June …, 2005
432005
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
402017
A generic framework for symbolic execution
A Arusoaie, D Lucanu, V Rusu
Software Language Engineering: 6th International Conference, SLE 2013 …, 2013
40*2013
Concurrent object composition in CafeOBJ
S Iida, M Matsumoto, R Diaconescu, K Futatsugi, D Lucanu
北陸先端科学技術大学院大学情報科学研究科, 1998
401998
The K primer (version 3.3)
A Arusoaie, D Lazar, C Ellison, D Lucanu
39*2013
Structural operational semantics of P systems
O Andrei, G Ciobanu, D Lucanu
Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria …, 2006
372006
Program equivalence by circular reasoning
D Lucanu, V Rusu
Formal Aspects of Computing 27, 701-726, 2015
362015
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
282015
A generic framework for symbolic execution: A coinductive approach
D Lucanu, V Rusu, A Arusoaie
Journal of Symbolic Computation 80, 125-163, 2017
272017
K Framework Distilled
D Lucanu, TF Şerbănuţă, G Roşu
Rewriting Logic and Its Applications, 31-53, 2012
242012
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
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
202018
Matching logic explained
X Chen, D Lucanu, G Roşu
Journal of Logical and Algebraic Methods in Programming 120, 100638, 2021
192021
Symbolic execution based on language transformation
A Arusoaie, D Lucanu, V Rusu
Computer Languages, Systems & Structures 44, 48-71, 2015
172015
The system can't perform the operation now. Try again later.
Articles 1–20