`Travelled to:`

1 × Estonia

1 × Finland

1 × Republic of China

1 × USA

1 × United Kingdom

2 × France

`Collaborated with:`

G.Ciobanu V.Rusu O.Andrei A.Arusoaie T.Serbanuta G.Rosu S.Ciobaca Y.Li J.S.Dong E.Goriac G.Caltais G.Grigoras A.Stefanescu D.Lazar C.Ellison R.Mereuta

`Talks about:`

object (3) framework (2) concurr (2) system (2) specif (2) rewrit (2) hidden (2) execut (2) metalanguag (1) constrain (1)

## Person: Dorel Lucanu

### DBLP: Lucanu:Dorel

### Contributed to:

### Wrote 12 papers:

- WRLA-2014-ArusoaieLRSSR
- Language Definitions as Rewrite Theories (AA, DL, VR, TFS, AS, GR), pp. 97–112.
- IFM-2013-LucanuR #equivalence #reasoning
- Program Equivalence by Circular Reasoning (DL, VR), pp. 362–377.
- SLE-2013-ArusoaieLR #execution #framework #symbolic computation
- A Generic Framework for Symbolic Execution (AA, DL, VR), pp. 281–301.
- FM-2012-LazarASEMLR #semantics
- Executing Formal Semantics with the K Tool (DL, AA, TFS, CE, RM, DL, GR), pp. 267–271.
- WRLA-2012-LucanuSR #framework #𝕂
- 𝕂 Framework Distilled (DL, TFS, GR), pp. 31–53.
- WRLA-2008-AndreiL09 #calculus #proving
- Strategy-Based Proof Calculus for Membrane Systems (OA, DL), pp. 23–43.
- WRLA-2008-GoriacCLAG09 #maude #metalanguage
- Patterns for Maude Metalanguage Applications (EIG, GC, DL, OA, GG), pp. 121–138.
- SEKE-2005-LucanuLD #morphism #owl
- Institution Morphisms for Relating OWL and Z (DL, YFL, JSD), pp. 286–291.
- IFM-2004-CiobanuL #concurrent #specification #verification
- Specification and Verification of Synchronizing Concurrent Objects (GC, DL), pp. 307–327.
- VMCAI-2004-LucanuC #algebra #model checking #specification
- Model Checking for Object Specifications in Hidden Algebra (DL, GC), pp. 97–109.
- WRLA-2004-CiobanuL05 #communication #concurrent
- Communicating Concurrent Objects in HiddenCCS (GC, DL), pp. 353–373.
- IJCAR-2018-CiobacaL #approach #induction #proving #reachability #term rewriting
- A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems (SC, DL), pp. 295–311.