Andrea Domenici

Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries

Federico Baronti, Cinzia Bernardeschi, Luca Cassano et al. · IEEE Transactions on Industrial Informatics · 2014 · 54 citations

Computing, Computer Science, Systems Engineering +13

Replica consistency in a Data Grid

Andrea Domenici, Flavia Donno, Gianni Pucciani et al. · Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment · 2004 · 50 citations

Computing, Computer Science, Computer Systems +14

Replica Management in the European DataGrid Project

David Cameron, James W. Casey, L. P. Guy et al. · Journal of Grid Computing · 2004 · 48 citations · Full text

Computing, Computer Science, Computer Systems +14

SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies

Cinzia Bernardeschi, Luca Cassano, Andrea Domenici · Journal of Computer Science and Technology · 2015 · 46 citations · Full text

Engineering, Computer Engineering, Electrical Engineering +16

A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems

Cinzia Bernardeschi, Andrea Domenici, Paolo Masci · IEEE Transactions on Software Engineering · 2017 · 39 citations · Full text

Computing, Computer Science, Systems Engineering +17