| Replica consistency in a data grid A Domenici, F Donno, G Pucciani, H Stockinger, K Stockinger Nuclear Instruments and Methods in Physics Research Section A: Accelerators …, 2004 | 78 | 2004 |
| Replica management in the european datagrid project D Cameron, J Casey, L Guy, P Kunszt, S Lemaitre, G McCance, ... Journal of Grid computing 2, 341-351, 2004 | 71 | 2004 |
| 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 | 57 | 2014 |
| 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 | 46 | 2017 |
| 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, 2015 | 43 | 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 | 37 | 2012 |
| Relaxed data consistency with CONStanza A Domenici, F Donno, G Pucciani, H Stockinger Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGRID …, 2006 | 28 | 2006 |
| 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 |
| 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 | 23 | 2017 |
| Failure probability of SRAM-FPGA systems with stochastic activity networks C Bernardeschi, L Cassano, A Domenici 14th IEEE International Symposium on Design and Diagnostics of Electronic …, 2011 | 22 | 2011 |
| Integrated simulation and formal verification of a simple autonomous vehicle A Domenici, A Fagiolini, M Palmieri Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018 | 21 | 2018 |
| 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 | 21 | 2013 |
| Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System C Bernardeschi, A Domenici Information Processing Letters 116 (6), 409-415, 2016 | 19 | 2016 |
| Hrt-uml: Taking hrt-hood onto uml S Mazzini, M D’Alessandro, M Di Natale, A Domenici, G Lipari, ... Reliable Software Technologies—Ada-Europe 2003: 8th Ada-Europe …, 2003 | 19 | 2003 |
| High availability using virtualization F Calzolari, S Arezzini, A Ciampa, E Mazzoni, A Domenici, G Vaglini Journal of Physics: Conference Series 219 (5), 052017, 2010 | 18 | 2010 |
| Unexcitability analysis of SEus affecting the routing structure of SRAM-based FPGAs C Bernardeschi, L Cassano, A Domenici, L Sterpone Proceedings of the 23rd ACM international conference on Great lakes …, 2013 | 15 | 2013 |
| SEU-X: a SEU un-excitability prover for SRAM-FPGAs C Bernardeschi, L Cassano, A Domenici 2012 IEEE 18th International On-Line Testing Symposium (IOLTS), 25-30, 2012 | 15 | 2012 |
| 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 | 13 | 2020 |
| Failure probability and fault observability of SRAM-FPGA systems C Bernardeschi, L Cassano, A Domenici 2011 21st International Conference on Field Programmable Logic and …, 2011 | 11 | 2011 |
| A tool for signal probability analysis of FPGA-based systems C Bernardeschi, L Cassano, A Domenici, P Masci Proceedings of the 2nd International Conference on Computational Logics …, 2011 | 10 | 2011 |
cinzia bernardeschiDepartment of Information Engineering, University of PisaVerified email at unipi.it
