Cinzia Bernardeschi

1.1k total citations
80 papers, 540 citations indexed

About

Cinzia Bernardeschi is a scholar working on Hardware and Architecture, Electrical and Electronic Engineering and Computational Theory and Mathematics. According to data from OpenAlex, Cinzia Bernardeschi has authored 80 papers receiving a total of 540 indexed citations (citations by other indexed papers that have themselves been cited), including 30 papers in Hardware and Architecture, 27 papers in Electrical and Electronic Engineering and 25 papers in Computational Theory and Mathematics. Recurrent topics in Cinzia Bernardeschi's work include Radiation Effects in Electronics (22 papers), Formal Methods in Verification (20 papers) and Security and Verification in Computing (18 papers). Cinzia Bernardeschi is often cited by papers focused on Radiation Effects in Electronics (22 papers), Formal Methods in Verification (20 papers) and Security and Verification in Computing (18 papers). Cinzia Bernardeschi collaborates with scholars based in Italy, Germany and United Kingdom. Cinzia Bernardeschi's co-authors include Andrea Domenici, Luca Cassano, Paolo Masci, Stefania Gnesi, Alessandro Fantechi, Luca Sterpone, Nicoletta De Francesco, Giuseppe Lettieri, Roberto Barbuti and Marco Avvenuti and has published in prestigious journals such as Automatica, IEEE Access and IEEE Transactions on Software Engineering.

In The Last Decade

Cinzia Bernardeschi

67 papers receiving 499 citations

Peers

Cinzia Bernardeschi

EEE

CTM

CNC

Eric Armengaud Austria

Ahmed Khoumsi Canada

Ludovic Apvrille France

Sudipta Chattopadhyay Singapore

Stacy Prowell United States

Houssam Abbas United States

P.P. Chakrabarti India

Jan Olaf Blech Australia

Françoise Simonot‐Lion France

Eric Armengaud Austria

Cinzia Bernardeschi

184 ×0.8

EEE

193 ×1.1

65 ×0.4

49 ×0.3

CTM

98 ×0.8

CNC

Citations per year, relative to Cinzia Bernardeschi Cinzia Bernardeschi (= 1×) peers Eric Armengaud

Countries citing papers authored by Cinzia Bernardeschi

Since Specialization

Citations

This map shows the geographic impact of Cinzia Bernardeschi's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Cinzia Bernardeschi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Cinzia Bernardeschi more than expected).

Fields of papers citing papers by Cinzia Bernardeschi

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Cinzia Bernardeschi. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Cinzia Bernardeschi. The network helps show where Cinzia Bernardeschi may publish in the future.

Co-authorship network of co-authors of Cinzia Bernardeschi

This figure shows the co-authorship network connecting the top 25 collaborators of Cinzia Bernardeschi. A scholar is included among the top collaborators of Cinzia Bernardeschi based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Cinzia Bernardeschi. Cinzia Bernardeschi is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Bernardeschi, Cinzia, et al.. (2024). Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover. Engineering Applications of Artificial Intelligence. 137. 109238–109238. 2 indexed citations

Merola, Francesco, Cinzia Bernardeschi, & Giuseppe Lami. (2024). A Risk Assessment Framework Based on Fuzzy Logic for Automotive Systems. Safety. 10(2). 41–41. 4 indexed citations

Bernardeschi, Cinzia, et al.. (2024). Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. CINECA IRIS Institutial research information system (University of Pisa). 1–6. 1 indexed citations

Quadri, Christian, et al.. (2023). Co-simulated digital twin on the network edge: A vehicle platoon. Computer Communications. 212. 35–47. 12 indexed citations

Pagano, Pasquale, et al.. (2021). ReLock: a resilient two-phase locking RESTful transaction model. Service Oriented Computing and Applications. 15(1). 75–92.

Bernardeschi, Cinzia, et al.. (2021). Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. The Computer Journal. 66(2). 295–317. 6 indexed citations

Hagemeyer, Jens, et al.. (2016). OLT(RE)²: An On-Line On-Demand Testing Approach for Permanent Radiation Effects in Reconfigurable Systems. IEEE Transactions on Emerging Topics in Computing. 6(4). 511–523. 1 indexed citations

Avvenuti, Marco, Cinzia Bernardeschi, Luca Cassano, & Alessio Vecchio. (2016). Adapting the duty cycle to traffic load in a preamble sampling MAC for WSNs: Formal specification and performance evaluation. CINECA IRIS Institutial research information system (University of Pisa). 31. 101–129. 1 indexed citations

Bernardeschi, Cinzia, Luca Cassano, Mario G. C. A. Cimino, & Andrea Domenici. (2012). Application of a Genetic Algorithm for Testing SEUs in SRAM-FPGA Systems. CINECA IRIS Institutial research information system (University of Pisa). 1–10. 7 indexed citations

10.

Avvenuti, Marco, Cinzia Bernardeschi, Nicoletta De Francesco, & Paolo Masci. (2012). JCSI: A tool for checking secure information flow in Java Card applications. Journal of Systems and Software. 85(11). 2479–2493. 9 indexed citations

11.

Bernardeschi, Cinzia, et al.. (2011). Simulated Injection of Radiation-Induced Logic Faults in FPGAs. CINECA IRIS Institutial research information system (University of Pisa). 84–89. 6 indexed citations

12.

Bernardeschi, Cinzia, et al.. (2008). Decomposing bytecode verification by abstract interpretation. ACM Transactions on Programming Languages and Systems. 31(1). 1–63. 2 indexed citations

13.

Bernardeschi, Cinzia, Gianluca Dini, & Andrea Domenici. (2005). FACT: a Tool for Code Generation from Communicating Automata. International Conference on Software Engineering. 1. 313–318.

14.

Bernardeschi, Cinzia, et al.. (2004). Enforcement of applet boundaries in Java card systems.. CINECA IRIS Institutial research information system (University of Pisa). 96–101. 1 indexed citations

15.

Bernardeschi, Cinzia, et al.. (2004). Java bytecode verification with dynamic structures.. CINECA IRIS Institutial research information system (University of Pisa). 559–564. 5 indexed citations

16.

Bernardeschi, Cinzia, Nicoletta De Francesco, & Giuseppe Lettieri. (2003). Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. Fundamenta Informaticae. 60(1). 81–98. 1 indexed citations

17.

Barbuti, Roberto, Cinzia Bernardeschi, & Nicoletta De Francesco. (2002). Checking security of Java bytecode by abstract interpretation.

18.

Bernardeschi, Cinzia, Alessandro Fantechi, & Stefania Gnesi. (2002). Model checking fault tolerant systems. Software Testing Verification and Reliability. 12(4). 251–275. 25 indexed citations

19.

Bernardeschi, Cinzia. (2000). Formally Verifying Fault Tolerant System Designs. The Computer Journal. 43(3). 191–205. 21 indexed citations

20.

Bernardeschi, Cinzia, et al.. (1994). Analysis of temporal properties of dataflow networks. Florence Research (University of Florence). 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact