cinzia bernardeschi

Cited by

	All	Since 2019
Citations	1459	545
h-index	22	13
i10-index	45	15

120

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 4 5 15 20 12 23 23 14 42 47 37 66 36 39 27 34 43 61 68 53 64 61 69 87 114 88 79 115 62

Public access

View all

28 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Andrea DomeniciUniversity of PisaVerified email at iet.unipi.it
Paolo MasciResearch Scientist, Associate Principal, AMA/NASA Langley Research CenterVerified email at nasa.gov
A. FantechiUniversità di FirenzeVerified email at unifi.it
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Luca SimonciniProfessor of Computer Engineering, University of PisaVerified email at isti.cnr.it
Giuseppe LettieriAssociate Professor of Computer Engineering, Università di PisaVerified email at unipi.it
Luca SterponePolitecnico di TorinoVerified email at polito.it
Marco AvvenutiDip. Ingegneria dell'Informazione, University of Pisa, ItalyVerified email at iet.unipi.it
andrea bondavalliProfessor of computer science, University of FirenzeVerified email at unifi.it
Adriano FagioliniAssociate Professor, University of PalermoVerified email at unipa.it
GIANLUCA DINIDept. of Ingegneria di Informazione, University of PisaVerified email at unipi.it
Antonella SantoneVerified email at unisannio.it
Mario Giovanni Cosimo Antonio CiminoAssociate Professor, Department of Information EngineeringVerified email at unipi.it
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaVerified email at sssup.it
Federico BarontiUniversity of PisaVerified email at iet.unipi.it
Roberto SalettiUniversity of PisaVerified email at iet.unipi.it
gigliola vagliniProfessore di Ingegneria informatica, Università di pisaVerified email at iet.unipi.it
Harold ThimblebyProfessor of Computer Science, Swansea UniversityVerified email at swansea.ac.uk
Gioacchino MauroVerified email at studenti.unipi.it
Dario CozziBielefeld UniversityVerified email at cit-ec.uni-bielefeld.de

cinzia bernardeschi

Department of Information Engineering, University of Pisa

Verified email at unipi.it - Homepage

Formal methods dependable systems safety security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A formal verification environment for railway signaling system design C Bernardeschi, A Fantechi, S Gnesi, S Larosa, G Mongardi, D Romano Formal Methods in System Design 12, 139-161, 1998	90	1998
Design and safety verification of a distributed charge equalizer for modular li-ion batteries F Baronti, C Bernardeschi, L Cassano, A Domenici, R Roncella, R Saletti IEEE Transactions on Industrial Informatics 10 (2), 1003-1011, 2014	65	2014
Model checking fault tolerant systems C Bernardeschi, A Fantechi, S Gnesi Software testing, verification and reliability 12 (4), 251-275, 2002	65	2002
A PVS-simulink integrated environment for model-based analysis of cyber-physical systems C Bernardeschi, A Domenici, P Masci IEEE Transactions on Software Engineering 44 (6), 512-533, 2017	51	2017
Java bytecode verification for secure information flow M Avvenuti, C Bernardeschi, N De Francesco ACM SIGPLAN Notices 38 (12), 20-27, 2003	51	2003
SRAM-based FPGA systems for safety-critical applications: A survey on design standards and proposed methodologies C Bernardeschi, L Cassano, A Domenici Journal of Computer Science and Technology 30, 373-390, 2015	47	2015
Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs C Bernardeschi, L Cassano, A Domenici, L Sterpone 2012 IEEE International Symposium on Defect and Fault Tolerance in VLSI and …, 2012	40	2012
Checking security of java bytecode by abstract interpretation R Barbuti, C Bernardeschi, N De Francesco Proceedings of the 2002 ACM symposium on Applied computing, 229-236, 2002	39	2002
Formally verifying fault tolerant system designs C Bernardeschi, A Fantechi, L Simoncini The Computer Journal 43 (3), 191-205, 2000	38	2000
Combining abstract interpretation and model checking for analysing security properties of Java bytecode C Bernardeschi, N De Francesco International Workshop on Verification, Model Checking, and Abstract …, 2002	37	2002
PyXEL: an integrated environment for the analysis of fault effects in SRAM-based FPGA routing L Bozzoli, C De Sio, L Sterpone, C Bernardeschi 2018 International Symposium on Rapid System Prototyping (RSP), 70-75, 2018	33	2018
Formal verification and co-simulation in the design of a synchronous motor control algorithm C Bernardeschi, P Dini, A Domenici, M Palmieri, S Saponara Energies 13 (16), 4057, 2020	29	2020
A framework for FMI-based co-simulation of human–machine interfaces M Palmieri, C Bernardeschi, P Masci Software and Systems Modeling 19 (3), 601-623, 2020	28	2020
Abstract interpretation of operational semantics for secure information flow R Barbuti, C Bernardeschi, N De Francesco Information Processing Letters 83 (2), 101-108, 2002	28	2002
Ros/gazebo based simulation of co-operative uavs C Bernardeschi, A Fagiolini, M Palmieri, G Scrima, F Sofia Modelling and Simulation for Autonomous Systems: 5th International …, 2019	27	2019
Checking secure information flow in java bytecode by code transformation and standard bytecode verification C Bernardeschi, N De Francesco, G Lettieri, L Martini Software: Practice and Experience 34 (13), 1225-1255, 2004	27	2004
ASSESS: A simulator of soft errors in the configuration memory of SRAM-based FPGAs C Bernardeschi, L Cassano, A Domenici, L Sterpone IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2014	26	2014
Transformations and consistent semantics for ODP viewpoints C Bernardeschi, J Dustzadeh, A Fantechi, E Najm, A Nimour, F Olsen Formal Methods for Open Object-based Distributed Systems: Volume 2, 371-386, 1997	26	1997
Extending a user interface prototyping tool with automatic MISRA C code generation G Mauro, H Thimbleby, A Domenici, C Bernardeschi arXiv preprint arXiv:1701.08468, 2017	24	2017
Early prototyping of wireless sensor network algorithms in PVS C Bernardeschi, P Masci, H Pfeifer Computer Safety, Reliability, and Security: 27th International Conference …, 2008	24	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors