A protocol for resource locking and deadlock detection in a multi-user environment. - Andrea Domenici; Beatrice Lazzerini; Cosimo Antonio Prete (Microprocessing and Microprogramming, 1989)

Petri nets in logic. - Andrea Domenici (Microprocessing and Microprogramming, 1990)

The DASE Tool: An Environment for the Development of Real-Time Applications. - Marco Di Natale; Andrea Domenici (DIPES, 1998)

HRT-UML: Taking HRT-HOOD onto UML. - Silvia Mazzini; Massimo D'Alessandro; Marco Di Natale; Andrea Domenici; Giuseppe Lipari; Tullio Vardanega (Ada-Europe, 2003)

Replica Management in the European DataGrid Project. - David G. Cameron; James Casey; Leanne Guy; Peter Z. Kunszt; Sophie Lemaitre; Gavin McCance; Heinz Stockinger; Kurt Stockinger; Giuseppe Andronico; William H. Bell; Itzhak Ben-Akiva; Diana Bosio; et al. (J. Grid Comput., 2004)

FACT: A Tool for Code Generation from Communicating Automata. - Cinzia Bernardeschi; Gianluca Dini; Andrea Domenici (IASTED Conf. on Software Engineering, 2005)

Experiences in Grid Architectures. - Andrea Domenici (Parallel and Distributed Computing and Networks, 2005)

Relaxed Data Consistency with CONStanza. - Andrea Domenici; Flavia Donno; Gianni Pucciani; Heinz Stockinger (CCGRID, 2006)

Static and Dynamic Data Models for the Storage Resource Manager v2.2. - Andrea Domenici; Flavia Donno (J. Grid Comput., 2009)

A performance study on the synchronisation of heterogeneous Grid databases using CONStanza. - Gianni Pucciani; Andrea Domenici; Flavia Donno; Heinz Stockinger (Future Gener. Comput. Syst., 2010)

Failure probability of SRAM-FPGA systems with Stochastic Activity Networks. - Cinzia Bernardeschi; Luca Cassano; Andrea Domenici (DDECS, 2011)

Failure Probability and Fault Observability of SRAM-FPGA Systems. - Cinzia Bernardeschi; Luca Cassano; Andrea Domenici (FPL, 2011)

Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs. - Cinzia Bernardeschi; Luca Cassano; Andrea Domenici; Luca Sterpone (DFT, 2012)

SEU-X: A SEu un-excitability prover for SRAM-FPGAs. - Cinzia Bernardeschi; Luca Cassano; Andrea Domenici (IOLTS, 2012)

High availability using virtualization - 3RC - Federico Calzolari; Silvia Arezzini; Alberto Ciampa; Enrico Mazzoni; Andrea Domenici; Gigliola Vaglini (CoRR, 2012)

Formal approaches to SEU testing in FPGAs. - Cinzia Bernardeschi; Luca Cassano; Andrea Domenici (AHS, 2013)

Unexcitability analysis of SEus affecting the routing structure of SRAM-based FPGAs. - Cinzia Bernardeschi; Luca Cassano; Andrea Domenici; Luca Sterpone (ACM Great Lakes Symposium on VLSI, 2013)

Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries. - Federico Baronti; Cinzia Bernardeschi; Luca Cassano; Andrea Domenici; Roberto Roncella; Roberto Saletti (IECON, 2013)

GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs. - Cinzia Bernardeschi; Luca Cassano; Mario G. C. A. Cimino; Andrea Domenici (J. Syst. Archit., 2013)

ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs. - Cinzia Bernardeschi; Luca Cassano; Andrea Domenici; Luca Sterpone (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries. - Federico Baronti; Cinzia Bernardeschi; Luca Cassano; Andrea Domenici; Roberto Roncella; Roberto Saletti (IEEE Trans. Ind. Informatics, 2014)

SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies. - Cinzia Bernardeschi; Luca Cassano; Andrea Domenici (J. Comput. Sci. Technol., 2015)

Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. - Cinzia Bernardeschi; Andrea Domenici; Paolo Masci 001 (ISCC, 2016)

Detecting Elderly Behavior Shift via Smart Devices and Stigmergic Receptive Fields. - Marco Avvenuti; Cinzia Bernardeschi; Mario G. C. A. Cimino; Guglielmo Cola; Andrea Domenici; Gigliola Vaglini (MobiHealth, 2016)

Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning. - Cinzia Bernardeschi; Mario G. C. A. Cimino; Andrea Domenici; Gigliola Vaglini (MobiHealth, 2016)

Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation. - Gioacchino Mauro; Harold Thimbleby; Andrea Domenici; Cinzia Bernardeschi (F-IDE@FM, 2016)

UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs. - Cinzia Bernardeschi; Luca Cassano; Andrea Domenici; Luca Sterpone (Integr., 2016)

Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System. - Cinzia Bernardeschi; Andrea Domenici (Inf. Process. Lett., 2016)

Towards a Formalization of System Requirements for an Integrated Clinical Environment. - Cinzia Bernardeschi; Andrea Domenici; Paolo Masci 001 (EAI Endorsed Trans. Self Adapt. Syst., 2016)

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. - Andrea Domenici; Adriano Fagiolini; Maurizio Palmieri (SEFM Workshops, 2017)

Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator. - Cinzia Bernardeschi; Andrea Domenici; Maurizio Palmieri (STAF Workshops, 2018)

Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web. - Maurizio Palmieri; Cinzia Bernardeschi; Andrea Domenici; Adriano Fagiolini (STAF Workshops, 2018)

OLT(RE)2: An On-Line On-Demand Testing Approach for Permanent Radiation Effects in Reconfigurable Systems. - Dario Cozzi; Sebastian Korf; Luca Cassano; Jens Hagemeyer; Andrea Domenici; Cinzia Bernardeschi; Luca Sterpone; Mario Porrmann (IEEE Trans. Emerg. Top. Comput., 2018)

A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems. - Cinzia Bernardeschi; Andrea Domenici; Paolo Masci 001 (IEEE Trans. Software Eng., 2018)

Application of Model Checking to Fault Tolerance Analysis. - Cinzia Bernardeschi; Andrea Domenici (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Modeling and Simulation of Attacks on Cyber-physical Systems. - Cinzia Bernardeschi; Andrea Domenici; Maurizio Palmieri (ICISSP, 2019)

Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors. - Cinzia Bernardeschi; Dini Pierpaolo; Andrea Domenici; Sergio Saponara (SEFM Workshops, 2019)

Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems. - Cinzia Bernardeschi; Andrea Domenici; Sergio Saponara (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019)

Logic-Based Formalization of System Requirements for Integrated Clinical Environments. - Cinzia Bernardeschi; Andrea Domenici; Paolo Masci 001 (Automated Reasoning for Systems Biology and Medicine, 2019)

Identify Potential Attacks from Simulated Log Analysis. - Cinzia Bernardeschi; Andrea Domenici; Francesco Mercaldo; Antonella Santone (IJCNN, 2020)

Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. - Cinzia Bernardeschi; Andrea Domenici; Maurizio Palmieri; Sergio Saponara; Tanguy Sassolas; Arief Wicaksana; Lilia Zaourar (SEFM, 2020)

Block-Based Models and Theorem Proving in Model-Based Development. - Cinzia Bernardeschi; Andrea Domenici; Adriano Fagiolini; Maurizio Palmieri (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020)

Formalization and co-simulation of attacks on cyber-physical systems. - Cinzia Bernardeschi; Andrea Domenici; Maurizio Palmieri (J. Comput. Virol. Hacking Tech., 2020)

Co-simulation of a Model Predictive Control System for Automotive Applications. - Cinzia Bernardeschi; Pierpaolo Dini; Andrea Domenici; Ayoub Mouhagir; Maurizio Palmieri; Sergio Saponara; Tanguy Sassolas; Lilia Zaourar (SEFM Workshops, 2021)

A Prototyping Process for Medical Devices and Systems. - Cinzia Bernardeschi; Andrea Domenici; Maurizio Palmieri (STAF Workshops, 2021)

A Logic Theory Pattern for Linearized Control Systems. - Andrea Domenici; Cinzia Bernardeschi (F-IDE@NFM, 2021)

Do-it-Yourself FMU Generation. - Cinzia Bernardeschi; Pierpaolo Dini; Andrea Domenici; Maurizio Palmieri; Sergio Saponara (SEFM Workshops, 2022)

Towards a Basic Theory for Partial Differentiation in the Prototype Verification System. - Andrea Domenici (FSEN, 2023)

Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. - Cinzia Bernardeschi; Andrea Domenici; Adriano Fagiolini; Maurizio Palmieri (Comput. J., 2023)

Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case. - Cinzia Bernardeschi; Andrea Domenici; Adriano Fagiolini; Maurizio Palmieri (IEEE Access, 2024)