logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Cyrille Artho

Chalmers University of Technology

23H-index
168Paper Count
2.0KCitation Count
Published Papers 4
Publication Date
logo
Formalizing smart contract design patterns with DCR graphs
errSoftware and Systems Modeling
IF3.2
err2026-05-01
err1
PREAI
errEshghie, Mojtaba; Ahrendt, Wolfgang; Artho, Cyrille; Hildebrandt, Thomas Troels; Schneider, Gerardo
errShare
errSave
Formal Techniques for Safety-Critical Systems (FTSCS 2023)
errSCIENCE OF COMPUTER PROGRAMMING
IF1.4
err2025-10-01
err0
PREAI
errArtho, Cyrille; Olveczky, Peter Csaba
errShare
errSave
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2022-05-01
err18
errOAAI
errWang, Haijun; Liu, Ye; Li, Yi; Lin, Shang-Wei; Artho, Cyrille; Ma, Lei; Liu, Yang
errShare
errSave
Modular Software Model Checking for Distributed Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2014-05-01
err20
errOAAI
errLeungwattanakit, Watcharin; Artho, Cyrille; Hagiya, Masami; Tanabe, Yoshinori; Yamamoto, Mitsuharu; Takahashi, Koichi
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
刘
刘洋 (Yang Liu)
H-index: 106 · Papers: 3.5K
L
Lei Ma
H-index: 43 · Papers: 259
Y
Yi Li
H-index: 32 · Papers: 322
P
Peter Csaba Ölveczky
H-index: 26 · Papers: 185
S
Shang‐Wei Lin
H-index: 25 · Papers: 157
View more