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
792004
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
692004
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
622014
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
502017
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
472015
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
392012
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
272020
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
272014
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
272006
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
242018
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
232017
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
222013
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
222011
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
212016
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
192003
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
172021
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
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
142020
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
142013
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
122011
The system can't perform the operation now. Try again later.
Articles 1–20