Follow
Andrea Domenici
Andrea Domenici
Verified email at iet.unipi.it - Homepage
Title
Cited by
Cited by
Year
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
782004
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
712004
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
522014
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
422017
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
392015
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
342012
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
282006
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
232014
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
222017
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
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
192016
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
192011
Hrt-uml: Taking hrt-hood onto uml
S Mazzini, M D’Alessandro, MD Natale, A Domenici, G Lipari, ...
International Conference on Reliable Software Technologies, 405-416, 2003
182003
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
162010
Integrated simulation and formal verification of a simple autonomous vehicle
A Domenici, A Fagiolini, M Palmieri
International Conference on Software Engineering and Formal Methods, 300-314, 2017
152017
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
152012
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
132013
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
102010
A model for the Storage Resource Manager
A Domenici, F Donno
Grid Computing, 99-105, 2009
102009
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
102004
The system can't perform the operation now. Try again later.
Articles 1–20