D
Dorel Lucanu
Researcher at Alexandru Ioan Cuza University
Publications - 100
Citations - 928
Dorel Lucanu is an academic researcher from Alexandru Ioan Cuza University. The author has contributed to research in topics: Rewriting & Operational semantics. The author has an hindex of 15, co-authored 95 publications receiving 860 citations.
Papers
More filters
Journal ArticleDOI
A rewriting logic framework for operational semantics of membrane systems
TL;DR: An operational semantics of a basic class of P systems is defined, and two implementations of the operational semantics using rewriting logic are given, including two operational correspondence results.
Book ChapterDOI
Circular coinduction: a proof theoretical foundation
Grigore Rosu,Dorel Lucanu +1 more
TL;DR: A three-rule proof system that can be used to formally derive circular coinductive proofs is given and is proved behaviorally sound and is exemplified by proving several properties of infinite streams.
Book ChapterDOI
CIRC: a behavioral verification tool based on circular coinduction
TL;DR: The current status of the coinductive features of the CIRC prover is presented, focusing on new features added over the last two years.
Book ChapterDOI
CIRC: a circular coinductive prover
Dorel Lucanu,Grigore Rosu +1 more
TL;DR: The circular coinductive technique that forms the core of CIRC is discussed, together with a high-level implementation using metalevel capabilities of rewriting logic, and an example defining and proving properties about infinite streams of infinite binary trees is shown.
Journal ArticleDOI
A generic framework for symbolic execution
TL;DR: It is proved that the symbolic execution thus defined has the properties naturally expected from it, meaning that the feasible symbolic executions of a program and the concrete executions of the same program mutually simulate each other.