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

Alexandre Petrenko

universite de montreal

31H指数
175论文数
3.5K被引数
收录论文 6
发表时间
logo
Component-Based Design by Solving Language Equations
errPROCEEDINGS OF THE IEEE
IF25.9
err2015-11-01
err10
PREAI
errVilla, Tiziano; Petrenko, Alexandre; Yevtushenko, Nina; Mishchenko, Alan; Brayton, Robert
err分享
err收藏
A formal approach for run-time verification of web applications using scope-extended LTL
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2013-12-01
err7
PREAI
errHaydar, May; Petrenko, Alexandre; Boroday, Sergiy; Sahraoui, Houari
err分享
err收藏
Generating asynchronous test cases from test purposes从测试目的生成异步测试用例
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2011-11-01
err15
PREAI
errSimao, Adenilso; Petrenko, Alexandre
err分享
err收藏
Checking Completeness of Tests for Finite State Machines
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2010-08-01
err23
PREAI
errSimao, Adenilso; Petrenko, Alexandre
err分享
err收藏
Testing from partial deterministic FSM specifications根据部分确定性FSM规范进行测试
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2005-09-01
err93
PREAI
errPetrenko, A; Yevtushenko, N
err分享
err收藏
Confirming configurations in EFSM testing
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2004-01-01
err115
PREAI
errPetrenko, A; Boroday, S; Groz, R
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
R
Robert K. Brayton
H 指数: 75 · 论文数: 584
H
Houari Sahraoui
H 指数: 38 · 论文数: 267
A
Alan Mishchenko
H 指数: 33 · 论文数: 250
T
Tiziano Villa
H 指数: 28 · 论文数: 223
N
Nina Yevtushenko
H 指数: 24 · 论文数: 243
查看更多