logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
E

Emmanouela Stachtiari

aristotle university of thessaloniki

8H指数
18论文数
241被引数
收录论文 3
发表时间
logo
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-07-01
err6
PREAI
errNelaturu, Keerthi; Mavridou, Anastasia; Stachtiari, Emmanouela; Veneris, Andreas; Laszka, Aron
err分享
err收藏
Early validation of system requirements and design through correctness-by-construction
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2018-11-01
err22
errOAAI
errStachtiari, Emmanouela; Mavridou, Anastasia; Katsaros, Panagiotis; Bliudze, Simon; Sifakis, Joseph
err分享
err收藏
Compositional execution semantics for business process verification
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2018-03-01
err2
PREAI
errStachtiari, Emmanouela; Katsaros, Panagiotis
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Joseph Sifakis
H 指数: 57 · 论文数: 318
A
Andreas Veneris
H 指数: 28 · 论文数: 225
Á
Áron Lászka
H 指数: 26 · 论文数: 196
P
Panagiotis Katsaros
H 指数: 18 · 论文数: 140
S
Simon Bliudze
H 指数: 16 · 论文数: 102
查看更多