Cinzia Bernardeschi - Publications, H-index & Citations

Cinzia Bernardeschi

university of pisa

19H指数

150论文数

1.1K被引数

收录论文 11

发表时间

Statistical model checking of a dynamic vehicle platoon 动态车辆编队的统计模型检测

International Journal on Software Tools for Technology Transfer

IF1.4

2026-04-01

PREAI

Bernardeschi, Cinzia; Fagiolini, Adriano; Lettieri, Giuseppe; Pagani, Dario; Rossi, Federico

Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case

IEEE ACCESS

IF3.6

2024-01-01

OAAI

Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio

OLT(RE)2: An On-Line On-Demand Testing Approach for Permanent Radiation Effects in Reconfigurable Systems

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING

IF5.4

2018-10-01

OAAI

Cozzi, Dario; Korf, Sebastian; Cassano, Luca; Hagemeyer, Jens; Domenici, Andrea; Bernardeschi, Cinzia; Sterpone, Luca; Porrmann, Mario

A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2018-06-01

OAAI

Bernardeschi, Cinzia; Domenici, Andrea; Masci, Paolo

Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries 模块化锂离子电池分布式充电均衡器的设计与安全性验证

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2014-05-01

PREAI

Baronti, Federico; Bernardeschi, Cinzia; Cassano, Luca; Domenici, Andrea; Roncella, Roberto; Saletti, Roberto

GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2013-11-01

PREAI

Bernardeschi, Cinzia; Cassano, Luca; Cimino, Mario G. C. A.; Domenici, Andrea

JCSI: A tool for checking secure information flow in Java Card applications JCSI: 用于检查Java卡应用程序中安全信息流的工具

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2012-11-01

PREAI

Avvenuti, Marco; Bernardeschi, Cinzia; De Francesco, Nicoletta; Masci, Paolo

An approach to system design based on P/T net simulation

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2001-08-01

PREAI

Bernardeschi, C; De Francesco, N; Vaglini, G

Formal validation of fault-tolerance mechanisms inside GUARDS

RELIABILITY ENGINEERING & SYSTEM SAFETY

IF11

2001-03-01

PREAI

Bernardeschi, C; Fantechi, A; Gnesi, S

Temporal analysis of data flow control systems

AUTOMATICA

IF5.9

1998-02-01

OAAI

Bernardeschi, C; Bondavalli, A; Csertan, G; Majzik, I; Simoncini, L

An industrial application for the JACK environment

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

1997-12-01

PREAI

Bernardeschi, C; Fantechi, A; Gnesi, S

研究方向