| 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 | 80 | 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 | 69 | 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 | 50 | 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, 373-390, 2015 | 50 | 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 | 39 | 2012 |
| Next-generation eu datagrid data management services D Bosio, J Casey, A Frohner, L Guy, P Kunszt, E Laure, S Lemaitre, ... arXiv preprint physics/0305134, 2003 | 32 | 2003 |
| 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 | 30 | 2020 |
| 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 | 27 | 2014 |
| 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 | 27 | 2006 |
| 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 | 25 | 2017 |
| 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 | 24 | 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 | 23 | 2013 |
| Co-simulation of a model predictive control system for automotive applications C Bernardeschi, P Dini, A Domenici, A Mouhagir, M Palmieri, S Saponara, ... International Conference on Software Engineering and Formal Methods, 204-220, 2021 | 21 | 2021 |
| 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 | 21 | 2016 |
| 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 | 20 | 2011 |
| Hrt-uml: Taking hrt-hood onto uml S Mazzini, M D’Alessandro, M Di Natale, A Domenici, G Lipari, ... International Conference on Reliable Software Technologies, 405-416, 2003 | 19 | 2003 |
| Co-simulation and verification of a non-linear control system for cogging torque reduction in brushless motors C Bernardeschi, P Dini, A Domenici, S Saponara Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops …, 2020 | 18 | 2020 |
| 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 |
| 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 | 14 | 2013 |
cinzia bernardeschiDepartment of Information Engineering, University of PisaVerified email at unipi.it
