Andrea Domenici
Orcid: 0000-0003-0685-2864
According to our database1,
Andrea Domenici
authored at least 50 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case.
IEEE Access, 2024
2023
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications.
Comput. J., February, 2023
Towards a Basic Theory for Partial Differentiation in the Prototype Verification System.
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023
2022
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022
2021
Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021
Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021
Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021
2020
J. Comput. Virol. Hacking Tech., 2020
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020
2019
Logic-Based Formalization of System Requirements for Integrated Clinical Environments.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019
Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors.
Proceedings of the Software Engineering and Formal Methods, 2019
Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems.
IEEE Trans. Software Eng., 2018
OLT(RE)<sup>2</sup>: An On-Line On-Demand Testing Approach for Permanent Radiation Effects in Reconfigurable Systems.
IEEE Trans. Emerg. Top. Comput., 2018
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
2017
Proceedings of the Software Engineering and Formal Methods, 2017
2016
Towards a Formalization of System Requirements for an Integrated Clinical Environment.
EAI Endorsed Trans. Self Adapt. Syst., 2016
Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System.
Inf. Process. Lett., 2016
UA<sup>2</sup>TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs.
Integr., 2016
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
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
2015
SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies.
J. Comput. Sci. Technol., 2015
2014
Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries.
IEEE Trans. Ind. Informatics, 2014
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014
2013
J. Syst. Archit., 2013
Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries.
Proceedings of the IECON 2013, 2013
Proceedings of the Great Lakes Symposium on VLSI 2013 (part of ECRC), 2013
Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems, 2013
2012
Proceedings of the 18th IEEE International On-Line Testing Symposium, 2012
Proceedings of the 2012 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2012
2011
Proceedings of the International Conference on Field Programmable Logic and Applications, 2011
Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011
2010
A performance study on the synchronisation of heterogeneous Grid databases using CONStanza.
Future Gener. Comput. Syst., 2010
2009
J. Grid Comput., 2009
2006
Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006
2005
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
2004
2003
Proceedings of the Reliable Software Technologies, 2003
1998
The DASE Tool: An Environment for the Development of Real-Time Applications.
Proceedings of the Distributed and Parallel Embedded Systems, 1998
1990
1989
Microprocessing and Microprogramming, 1989