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
752007
Circular coinduction: A proof theoretical foundation
G Roşu, D Lucanu
International Conference on Algebra and Coalgebra in Computer Science, 127-144, 2009
732009
CIRC: A behavioral verification tool based on circular coinduction
D Lucanu, EI Goriac, G Caltais, G Roşu
International Conference on Algebra and Coalgebra in Computer Science, 433-442, 2009
492009
CIRC: A Circular Coinductive Prover
D Lucanu, G Roşu
International Conference on Algebra and Coalgebra in Computer Science, 372-378, 2007
392007
Executable specifications of P systems
O Andrei, G Ciobanu, D Lucanu
International Workshop on Membrane Computing, 126-145, 2004
392004
Concurrent object composition in CafeOBJ
S Iida, M Matsumoto, R Diaconescu, K Futatsugi, D Lucanu
北陸先端科学技術大学院大学情報科学研究科, 1998
381998
Structural operational semantics of P systems
O Andrei, G Ciobanu, D Lucanu
International Workshop on Membrane Computing, 31-48, 2005
352005
A language-independent proof system for full program equivalence
Ş Ciobācă, D Lucanu, V Rusu, G Roşu
Formal Aspects of Computing 28 (3), 469-497, 2016
342016
A generic framework for symbolic execution
A Arusoaie, D Lucanu, V Rusu
International Conference on Software Language Engineering, 281-301, 2013
342013
The K primer (version 3.3)
A Arusoaie, D Lazar, C Ellison, D Lucanu
29*2013
Program equivalence by circular reasoning
D Lucanu, V Rusu
Formal Aspects of Computing 27 (4), 701-726, 2015
272015
Verifying reachability-logic properties on rewriting-logic specifications
D Lucanu, V Rusu, A Arusoaie, D Nowak
Logic, Rewriting, and Concurrency, 451-474, 2015
252015
Semantic web languages–towards an institutional perspective
D Lucanu, YF Li, JS Dong
Algebra, Meaning, and Computation, 99-123, 2006
242006
K Framework Distilled
D Lucanu, TF Şerbănuţă, G Roşu
Rewriting Logic and Its Applications, 31-53, 2012
22*2012
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 generic framework for symbolic execution: A coinductive approach
D Lucanu, V Rusu, A Arusoaie
Journal of Symbolic Computation 80, 125-163, 2017
172017
Events, causality, and concurrency in membrane systems
G Ciobanu, D Lucanu
International Workshop on Membrane Computing, 209-227, 2007
172007
Symbolic execution based on language transformation
A Arusoaie, D Lucanu, V Rusu
Computer Languages, Systems & Structures 44, 48-71, 2015
162015
Operational semantics and rewriting logic in membrane computing
O Andrei, D Lucanu, G Ciobanu
Electronic Notes in Theoretical Computer Science 156 (1), 57-78, 2006
162006
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
14*2012
The system can't perform the operation now. Try again later.
Articles 1–20