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 × Austria
1 × Canada
1 × Estonia
1 × Finland
1 × USA
Collaborated with:
S.Kremer ∅ D.Lucanu A.Stefanescu B.M.Moore G.Rosu R.Chadha S.Delaune R.Mereuta T.Serbanuta
Talks about:
reachabl (3) logic (3) protocol (2) properti (2) semant (2) step (2) path (2) cryptograph (1) constrain (1) knowledg (1)

Person: Stefan Ciobaca

DBLP DBLP: Ciobaca:Stefan

Contributed to:

RTA-TLCA 20142014
IFM 20132013
LICS 20132013
ESOP 20122012
CADE 20092009
IJCAR 20182018

Wrote 6 papers:

RTA-TLCA-2014-StefanescuCMMSR #logic #reachability
All-Path Reachability Logic (AS, SC, RM, BMM, TFS, GR), pp. 425–440.
IFM-2013-Ciobaca #automation #semantics
From Small-Step Semantics to Big-Step Semantics, Automatically (SC), pp. 347–361.
LICS-2013-RosuSCM #logic #reachability
One-Path Reachability Logic (GR, AS, SC, BMM), pp. 358–367.
ESOP-2012-ChadhaCK #automation #encryption #equivalence #protocol #verification
Automated Verification of Equivalence Properties of Cryptographic Protocols (RC, SC, SK), pp. 108–127.
CADE-2009-CiobacaDK #convergence #equation #protocol #security
Computing Knowledge in Security Protocols under Convergent Equational Theories (SC, SD, SK), pp. 355–370.
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.