Andrea Domenici

According to our database1, Andrea Domenici authored at least 30 papers between 1998 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems.
IEEE Trans. Software Eng., 2018

OLT(RE)2: An On-Line On-Demand Testing Approach for Permanent Radiation Effects in Reconfigurable Systems.
IEEE Trans. Emerging Topics Comput., 2018

Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle.
Proceedings of the Software Engineering and Formal Methods, 2017

Towards a Formalization of System Requirements for an Integrated Clinical Environment.
EAI Endorsed Trans. Self-Adaptive Systems, 2016

Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System.
Inf. Process. Lett., 2016

UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs.
Integration, 2016

Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation.
Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning.
Proceedings of the Wireless Mobile Communication and Healthcare, 2016

Detecting Elderly Behavior Shift via Smart Devices and Stigmergic Receptive Fields.
Proceedings of the Wireless Mobile Communication and Healthcare, 2016

Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System.
Proceedings of the IEEE Symposium on Computers and Communication, 2016

SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies.
J. Comput. Sci. Technol., 2015

Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries.
IEEE Trans. Industrial Informatics, 2014

ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2014

GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs.
Journal of Systems Architecture - Embedded Systems Design, 2013

Unexcitability analysis of SEus affecting the routing structure of SRAM-based FPGAs.
Proceedings of the Great Lakes Symposium on VLSI 2013 (part of ECRC), 2013

Formal approaches to SEU testing in FPGAs.
Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems, 2013

SEU-X: A SEu un-excitability prover for SRAM-FPGAs.
Proceedings of the 18th IEEE International On-Line Testing Symposium, 2012

Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs.
Proceedings of the 2012 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2012

Failure Probability and Fault Observability of SRAM-FPGA Systems.
Proceedings of the International Conference on Field Programmable Logic and Applications, 2011

Failure probability of SRAM-FPGA systems with Stochastic Activity Networks.
Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

A performance study on the synchronisation of heterogeneous Grid databases using CONStanza.
Future Generation Comp. Syst., 2010

Static and Dynamic Data Models for the Storage Resource Manager v2.2.
J. Grid Comput., 2009

Relaxed Data Consistency with CONStanza.
Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006

Experiences in Grid Architectures.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005

FACT: A Tool for Code Generation from Communicating Automata.
Proceedings of the IASTED International Conference on Software Engineering, 2005

Replica Management in the European DataGrid Project.
J. Grid Comput., 2004

HRT-UML: Taking HRT-HOOD onto UML.
Proceedings of the Reliable Software Technologies, 2003

The DASE Tool: An Environment for the Development of Real-Time Applications.
Proceedings of the Distributed and Parallel Embedded Systems, 1998