Cinzia Bernardeschi - Concepedia

Author

Cinzia Bernardeschi

University of Pisa ORCID

Also Known As

BERNARDESCHI, CINZIA, Bernardeschi, Cinzia, C. Bernardeschi, Cinzia Bernardeschi

148

Publications

1.1K

Citations

H-Index

Concepts

All Affiliations

University of Pisa Polytechnic University of Turin University of Florence Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	23	562
2	Computer Science	13	16	338
3	Computer Engineering	11	12	308
4	Electrical Engineering	2	2	92
5	Space Engineering	1	1	35

Cinzia Bernardeschi

Publications

645

Citations

H-Index

Page 1

	Year	Citations
A Formal Verification Environment for Railway Signaling System Design Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Formal Methods in System Design	1998	64
Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries Federico Baronti, Cinzia Bernardeschi, Luca Cassano, IEEE Transactions on Industrial Informatics Electric BatteryElectrical EngineeringModular Li-ion BatteriesStorage SystemsCircular Balancing Bus	2014	54
Model checking fault tolerant systems Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi Software Testing Verification and Reliability Reliability EngineeringEngineeringFormal ModelingSoftware TestingVerification	2002	48
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 Safety EngineeringHardware SecuritySafety-critical SystemEngineeringVlsi Design	2015	46
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems Cinzia Bernardeschi, Andrea Domenici, Paolo Masci IEEE Transactions on Software Engineering Pacemaker ModelEngineeringVerificationIndustrial Control SystemCo-simulation	2017	38
Java bytecode verification for secure information flow Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco ACM SIGPLAN Notices Java Bytecode VerificationEngineeringInformation SecurityVerificationFormal Verification	2003	36
Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Energies EngineeringVerificationModel VerificationCo-simulationFormal Verification	2020	35
Formally Verifying Fault Tolerant System Designs Cinzia Bernardeschi The Computer Journal EngineeringVerificationComputer-aided VerificationSystem-level DesignModel Checking	2000	30
Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, EngineeringVlsi DesignAccurate SimulationMem TestingComputer Architecture	2012	26
Checking security of Java bytecode by abstract interpretation Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco EngineeringInformation SecurityVerificationSoftware AnalysisFormal Verification	2002	25

Page 1