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

Laura Carnevali

university of florence

12H指数
84论文数
725被引数
收录论文 20
发表时间
logo
Time-Sensitive Importance Splitting时间敏感重要性分裂
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errDengler, Gabriel; Budde, Carlos E.; Carnevali, Laura; Hartmanns, Arnd
err分享
err收藏
Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles
errFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
err2026-01-01
err1
PREAI
errCarnevali, Laura; Fantechi, Alessandro; Gori, Gloria; Vreshtazi, Denis; Borselli, Alessandro; Cefaloni, Aria Rosaria; Rota, Lucio
err分享
err收藏
Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections多模式交叉口最优信号配时的高效推导
errRELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF0
err2026-01-01
err0
PREAI
errBertocci, N.; Carnevali, L.; Scommegna, L.; Vicario, E.
err分享
err收藏
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review不确定性条件下列车控制系统定量可信性评估：一项系统文献综述
errRELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF0
err2026-01-01
err0
PREAI
errCarnevali, Laura; Di Giandomenico, Felicita; Fantechi, Alessandro; Gnesi, Stefania; Gori, Gloria
err分享
err收藏
Compositional Coordinated Resource Provisioning in Workflows With Stochastic Durations工作流中具有随机持续时间的组合协调资源供应
errIEEE Transactions on Parallel and Distributed Systems
IF6
err2025-09-01
err0
errOAAI
errLaura Carnevali; Marco Paolieri; Riccardo Reali; Leonardo Scommegna; Enrico Vicario
err分享
err收藏
Cost-Effective Software Rejuvenation Combining Time-Based and Inspection-Based Policies基于时间与检查相结合的软件再生成本效益策略
errIEEE Transactions on Emerging Topics in Computing
IF5.4
err2025-04-01
err0
errOAAI
errLaura Carnevali; Marco Paolieri; Riccardo Reali; Leonardo Scommegna; Enrico Vicario
err分享
err收藏
Multi-task neural networks for multi-step soil moisture forecasting in vineyards using Internet-of-Things sensors
errSMART AGRICULTURAL TECHNOLOGY
IF5.7
err2025-03-01
err0
errOAAI
errBaldi, Ada; Carnevali, Laura; Collodi, Giovanni; Lippi, Marco; Manes, Antonio
err分享
err收藏
Efficient derivation of optimal signal schedules for multimodal intersections
errSIMULATION MODELLING PRACTICE AND THEORY
IF4.6
err2024-05-01
err1
errOAAI
errBertocci, Nicola; Carnevali, Laura; Scommegna, Leonardo; Vicario, Enrico
err分享
err收藏
Compositional Analysis of Hierarchical UML Statecharts
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-01-01
err4
errOAAI
errCarnevali, Laura; German, Reinhard; Santoni, Francesco; Vicario, Enrico
err分享
err收藏
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2021-06-01
err21
PREAI
errPaolieri, Marco; Biagi, Marco; Carnevali, Laura; Vicario, Enrico
err分享
err收藏
Quantitative Analysis of the Dynamic Relevance of Systems系统动态相关性的定量分析
errIEEE TRANSACTIONS ON RELIABILITY
IF5.7
err2021-03-01
err5
PREAI
errYe, Luyao; Zhao, Dongdong; Xiang, Jianwen; Carnevali, Laura; Vicario, Enrico
err分享
err收藏
Performability Evaluation of Water Distribution Systems During Maintenance Procedures
errieee transactions on cybernetics
IF8.7
err2020-05-01
err5
errOAAI
errCarnevali, Laura; Tarani, Fabio; Vicario, Enrico
err分享
err收藏
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments
errIEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS
IF4.4
err2019-08-01
err8
PREAI
errBiagi, Marco; Carnevali, Laura; Paolieri, Marco; Patara, Fulvio; Vicario, Enrico
err分享
err收藏
Performability evaluation of the ERTMS/ETCS - Level 3
errTRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES
IF7.9
err2017-09-01
err20
errOAAI
errBiagi, Marco; Carnevali, Laura; Paolieri, Marco; Vicario, Enrico
err分享
err收藏
Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2013-11-01
err12
PREAI
errBicchierai, Irene; Bucci, Giacomo; Carnevali, Laura; Vicario, Enrico
err分享
err收藏
Compositional Verification for Hierarchical Scheduling of Real-Time Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-05-01
err32
PREAI
errCarnevali, Laura; Pinzuti, Alessandro; Vicario, Enrico
err分享
err收藏
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-03-01
err7
PREAI
errCarnevali, Laura; Ridi, Lorenzo; Vicario, Enrico
err分享
err收藏
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2011-11-01
err10
PREAI
errCarnevali, Laura; Ridi, Lorenzo; Vicario, Enrico
err分享
err收藏
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2009-09-01
err47
PREAI
errVicario, Enrico; Sassoli, Luigi; Carnevali, Laura
err分享
err收藏
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2009-03-01
err24
PREAI
errCarnevali, Laura; Grassi, Leonardo; Vicario, Enrico
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
S
Stefania Gnesi
H 指数: 41 · 论文数: 314
R
Reinhard German
H 指数: 36 · 论文数: 386
A
Alessandro Fantechi
H 指数: 33 · 论文数: 238
M
Marco Lippi
H 指数: 29 · 论文数: 169
E
Enrico Vicario
H 指数: 26 · 论文数: 227
查看更多