Följ
Dorel Lucanu
Dorel Lucanu
Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO
Verifierad e-postadress på info.uaic.ro - Startsida
Titel
Citeras av
Citeras av
År
A rewriting logic framework for operational semantics of membrane systems
O Andrei, G Ciobanu, D Lucanu
Theoretical Computer Science 373 (3), 163-181, 2007
872007
Circular coinduction: A proof theoretical foundation
G Roşu, D Lucanu
International Conference on Algebra and Coalgebra in Computer Science, 127-144, 2009
822009
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
552009
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
432016
CIRC: A Circular Coinductive Prover
D Lucanu, G Roşu
International Conference on Algebra and Coalgebra in Computer Science, 372-378, 2007
422007
Executable specifications of P systems
O Andrei, G Ciobanu, D Lucanu
International Workshop on Membrane Computing, 126-145, 2004
422004
Concurrent object composition in CafeOBJ
S Iida, M Matsumoto, R Diaconescu, K Futatsugi, D Lucanu
北陸先端科学技術大学院大学情報科学研究科, 1998
391998
A generic framework for symbolic execution
A Arusoaie, D Lucanu, V Rusu
International Conference on Software Language Engineering, 281-301, 2013
37*2013
Structural operational semantics of P systems
O Andrei, G Ciobanu, D Lucanu
International Workshop on Membrane Computing, 31-48, 2005
372005
Program equivalence by circular reasoning
D Lucanu, V Rusu
Formal Aspects of Computing 27 (4), 701-726, 2015
362015
The K primer (version 3.3)
A Arusoaie, D Lazar, C Ellison, D Lucanu
36*2013
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 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
262017
K Framework Distilled
D Lucanu, TF Şerbănuţă, G Roşu
Rewriting Logic and Its Applications, 31-53, 2012
24*2012
Semantic web languages–towards an institutional perspective
D Lucanu, YF Li, JS Dong
Algebra, Meaning, and Computation, 99-123, 2006
242006
A generic framework for symbolic execution: A coinductive approach
D Lucanu, V Rusu, A Arusoaie
Journal of Symbolic Computation 80, 125-163, 2017
232017
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
202016
A coinductive approach to proving reachability properties in logically constrained term rewriting systems
Ş Ciobâcă, D Lucanu
International Joint Conference on Automated Reasoning, 295-311, 2018
192018
Symbolic execution based on language transformation
A Arusoaie, D Lucanu, V Rusu
Computer Languages, Systems & Structures 44, 48-71, 2015
172015
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
172006
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20