Concepedia

Cinzia Bernardeschi

CB

25

Publications

645

Citations

16

H-Index

1998

Active since

Affiliations

University of Pisa(Current)

Polytechnic University of Turin

University of Florence

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Cinzia Bernardeschi is an author at University of Pisa specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringFormal VerificationComputer ScienceVerificationFormal MethodsSoftware AnalysisComputer EngineeringProgram AnalysisHardware SecuritySystems Engineering

Publications per year

1998–2023

25

Publications

25

A Formal Verification Environment for Railway Signaling System Design

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi et al. · Formal Methods in System Design · 1998 · 64 citations

Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries

Federico Baronti, Cinzia Bernardeschi, Luca Cassano et al. · IEEE Transactions on Industrial Informatics · 2014 · 54 citations

Electric Battery, Electrical Engineering, Modular Li-ion Batteries +15

Model checking fault tolerant systems

Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi · Software Testing Verification and Reliability · 2002 · 48 citations

Reliability Engineering, Engineering, Formal Modeling +15

SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies

Cinzia Bernardeschi, Luca Cassano, Andrea Domenici · Journal of Computer Science and Technology · 2015 · 46 citations · Full text

Safety Engineering, Hardware Security, Safety-critical System +10

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

Cinzia Bernardeschi, Andrea Domenici, Paolo Masci · IEEE Transactions on Software Engineering · 2017 · 38 citations · Full text

Pacemaker Model, Engineering, Verification +23

Rows per page

1–5 of 25