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

Simona Bernardi

University of Zaragoza

21H指数
96论文数
1.5K被引数
收录论文 12
发表时间
logo
Security modelling and formal verification of survivability properties: Application to cyber-physical systems
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2021-01-01
err18
errOAAI
errBernardi, S.; Gentile, U.; Marrone, S.; Merseguer, J.; Nardone, R.
err分享
err收藏
Advancements in knowledge elicitation for computer-based critical systems
errFUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
IF6.1
err2020-09-01
err0
PREAI
errBernardi, Simona; Gentile, Ugo; Nardone, Roberto; Marrone, Stefano
err分享
err收藏
An Evaluation Framework for Comparative Analysis of Generalized Stochastic Petri Net Simulation Techniques
errieee transactions on cybernetics
IF8.7
err2020-08-01
err10
PREAI
errRodriguez, Ricardo J.; Bernardi, Simona; Zimmermann, Armin
err分享
err收藏
Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study
errINFORMATION SYSTEMS FRONTIERS
IF8.3
err2018-04-14
err10
errOAAI
errRequeno, Jose, I; Merseguer, Jose; Bernardi, Simona; Perez-Palacin, Diego; Giotis, Giorgos; Papanikolaou, Vasilis
err分享
err收藏
A systematic approach for performance assessment using process mining An industrial experience report
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2018-03-21
err8
PREAI
errBernardi, Simona; Dominguez, Juan L.; Gomez, Abel; Joubert, Christophe; Merseguer, Jose; Perez-Palacin, Diego; Requeno, Jose I.; Romeu, Alberto
err分享
err收藏
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2013-12-01
err28
PREAI
errBernardi, S.; Flammini, F.; Marrone, S.; Mazzocca, N.; Merseguer, J.; Nardone, R.; Vittorini, V.
err分享
err收藏
A Min-Max Problem for the Computation of the Cycle Time Lower Bound in Interval-Based Time Petri Nets
errieee transactions on cybernetics
IF8.7
err2013-09-01
err13
PREAI
errBernardi, Simona; Campos, Javier
err分享
err收藏
Dependability Modeling and Analysis of Software Systems Specified with UML
errACM COMPUTING SURVEYS
IF28
err2012-12-07
err55
errOAAI
errBernardi, Simona; Merseguer, Jose; Petriu, Dorina C.
err分享
err收藏
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2011-02-01
err36
PREAI
errBernardi, Simona; Campos, Javier; Merseguer, Jose
err分享
err收藏
Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2009-05-01
err32
errOAAI
errBernardi, Simona; Campos, Javier
err分享
err收藏
Performance evaluation of UML design with Stochastic well-formed nets
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2007-11-01
err31
PREAI
errBernardi, Simona; Merseguer, Jose
err分享
err收藏
QoS assessment via stochastic analysis
errIEEE INTERNET COMPUTING
IF4.4
err2006-05-01
err14
PREAI
errBernardi, Simona; Merseguer, Jose
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
S
S. Marrone
H 指数: 38 · 论文数: 316
F
Francesco Flammini
H 指数: 33 · 论文数: 322
D
Dorina C. Petriu
H 指数: 30 · 论文数: 163
N
Nicola Mazzocca
H 指数: 29 · 论文数: 307
J
José Merseguer
H 指数: 24 · 论文数: 112
查看更多