BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lucanu:Dorel

Contributed to:

WRLA 20142014
IFM 20132013
SLE 20132013
FM 20122012
WRLA 20122012
WRLA 20082009
SEKE 20052005
IFM 20042004
VMCAI 20042004
WRLA 20042005
IJCAR 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.