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

Ylìès Falcone

University of California Berkeley

28H指数
189论文数
2.9K被引数
收录论文 4
发表时间
logo
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2020-01-30
err19
errOAAI
errEl-Hokayem, Antoine; Falcone, Ylies
err分享
err收藏
Decentralized enforcement of document lifecycle constraints
errenterprise information systems
IF3.4
err2018-05-01
err10
errOAAI
errHalle, Sylvain; Khoury, Raphael; Betti, Quentin; El-Hokayem, Antoine; Falcone, Ylies
err分享
err收藏
Predictive runtime verification of timed properties定时属性的预测运行时验证
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2017-10-01
err41
errOAAI
errPinisetty, Srinivas; Jeron, Thierry; Tripakis, Stavros; Falcone, Ylies; Marchand, Herve; Preoteasa, Viorel
err分享
err收藏
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
errRUNTIME VERIFICATION, RV 2015
IF0
err2015-11-15
err13
errOAAI
errDaian, Philip; Falcone, Ylies; Meredith, Patrick; Serbanuta, Traian Florin; Shiriashi, Shin'ichi; Iwai, Akihito; Rosu, Grigore
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
G
Grigore Roşu
H 指数: 55 · 论文数: 336
S
Stavros Tripakis
H 指数: 47 · 论文数: 275
H
Hervé Marchand
H 指数: 28 · 论文数: 183
T
Thierry Jéron
H 指数: 27 · 论文数: 123
S
Sylvain Hallé
H 指数: 19 · 论文数: 216
查看更多