cinzia bernardeschi
cinzia bernardeschi
Department of Information Engineering, University of Pisa
Email verificata su unipi.it - Home page
Titolo
Citata da
Citata da
Anno
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 (2), 139-161, 1998
811998
Model checking fault tolerant systems
C Bernardeschi, A Fantechi, S Gnesi
Software Testing, Verification and Reliability 12 (4), 251-275, 2002
642002
Java bytecode verification for secure information flow
M Avvenuti, C Bernardeschi, N De Francesco
ACM SIGPLAN Notices 38 (12), 20-27, 2003
472003
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
422014
Formally verifying fault tolerant system designs
C Bernardeschi, A Fantechi, L Simoncini
The Computer Journal 43 (3), 191-205, 2000
402000
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
372002
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
342002
Abstract interpretation of operational semantics for secure information flow
R Barbuti, C Bernardeschi, N De Francesco
292002
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
282012
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 (2), 373-390, 2015
272015
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, 371-386, 1997
271997
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
252017
Early prototyping of wireless sensor network algorithms in PVS
C Bernardeschi, P Masci, H Pfeifer
International Conference on Computer Safety, Reliability, and Security, 346-359, 2008
232008
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
222004
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
212014
GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs
C Bernardeschi, L Cassano, MGCA Cimino, A Domenici
Journal of Systems Architecture 59 (10), 1243-1254, 2013
202013
Analysis of wireless sensor network protocols in dynamic scenarios
C Bernardeschi, P Masci, H Pfeifer
Symposium on Self-Stabilizing Systems, 105-119, 2009
202009
Combining PVSio with stateflow
P Masci, Y Zhang, P Jones, P Oladimeji, E D’Urso, C Bernardeschi, ...
NASA Formal Methods Symposium, 209-214, 2014
182014
JCSI: A tool for checking secure information flow in Java Card applications
M Avvenuti, C Bernardeschi, N De Francesco, P Masci
Journal of Systems and Software 85 (11), 2479-2493, 2012
182012
Using standard verifier to check secure information flow in java bytecode
C Bernardeschi, N De Francesco, G Lettieri
Proceedings 26th Annual International Computer Software and Applications …, 2002
172002
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20