logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
L

Laura Carnevali

university of florence

12H-index
84Paper Count
725Citation Count
Published Papers 20
Publication Date
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
errShare
errSave
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
errShare
errSave
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.
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
S
Stefania Gnesi
H-index: 41 · Papers: 314
R
Reinhard German
H-index: 36 · Papers: 386
A
Alessandro Fantechi
H-index: 33 · Papers: 238
M
Marco Lippi
H-index: 29 · Papers: 169
E
Enrico Vicario
H-index: 26 · Papers: 226
View more