Andrea Domenici
Andrea Domenici
Verified email at iet.unipi.it - Homepage
TitleCited byYear
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
732004
Replica management in the european datagrid project
D Cameron, J Casey, L Guy, P Kunszt, S Lemaitre, G McCance, ...
Journal of Grid computing 2 (4), 341-351, 2004
622004
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
342014
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
252006
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
232015
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
232012
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
192013
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
172014
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
172003
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
152011
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
142012
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
122017
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
102013
Application of a genetic algorithm for testing SEUs in SRAM-FPGA Systems
C Bernardeschi, L Cassano, M Cimino, A Domenici
Proceedings of the 6th HiPEAC Workshop on Reconfigurable Computing (WRC2012), 2012
92012
Replica management services in the european datagrid project
D Cameron, J Casey, L Guy, P Kunszt, S Lemaitre, G McCance, ...
Proceedings of AHM 2004, 2004
92004
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
82017
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
82016
A performance study on the synchronisation of heterogeneous Grid databases using CONStanza
G Pucciani, A Domenici, F Donno, H Stockinger
Future Generation Computer Systems 26 (6), 820-834, 2010
82010
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
72011
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
72011
The system can't perform the operation now. Try again later.
Articles 1–20