Andrea Domenici

50 papers B 4C 5Misc 1Journal 20Unranked 19

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case. IEEE Access Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
2023	J	`jnl`	Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. Comput. J. Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
2023	—	`conf`	Towards a Basic Theory for Partial Differentiation in the Prototype Verification System. FSEN Andrea Domenici
2022	—	`conf`	Do-it-Yourself FMU Generation. SEFM Workshops Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara
2021	—	`conf`	A Logic Theory Pattern for Linearized Control Systems. F-IDE@NFM Andrea Domenici, Cinzia Bernardeschi
2021	—	`conf`	A Prototyping Process for Medical Devices and Systems. STAF Workshops Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2021	—	`conf`	Co-simulation of a Model Predictive Control System for Automotive Applications. SEFM Workshops Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Ayoub Mouhagir, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Lilia Zaourar
2020	J	`jnl`	Block-Based Models and Theorem Proving in Model-Based Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
2020	B	`conf`	Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. SEFM Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar
2020	J	`jnl`	Formalization and co-simulation of attacks on cyber-physical systems. J. Comput. Virol. Hacking Tech. Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2020	B	`conf`	Identify Potential Attacks from Simulated Log Analysis. IJCNN Cinzia Bernardeschi, Andrea Domenici, Francesco Mercaldo, Antonella Santone
2019	—	`conf`	Application of Model Checking to Fault Tolerance Analysis. From Software Engineering to Formal Methods and Tools, and Back Cinzia Bernardeschi, Andrea Domenici
2019	—	`conf`	Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors. SEFM Workshops Cinzia Bernardeschi, Dini Pierpaolo, Andrea Domenici, Sergio Saponara
2019	J	`jnl`	Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Cinzia Bernardeschi, Andrea Domenici, Sergio Saponara
2019	—	`ch.`	Logic-Based Formalization of System Requirements for Integrated Clinical Environments. Automated Reasoning for Systems Biology and Medicine Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
2019	C	`conf`	Modeling and Simulation of Attacks on Cyber-physical Systems. ICISSP Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2018	J	`jnl`	A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems. IEEE Trans. Software Eng. Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
2018	—	`conf`	Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web. STAF Workshops Maurizio Palmieri, Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini
2018	J	`jnl`	OLT(RE) IEEE Trans. Emerg. Top. Comput. Dario Cozzi, Sebastian Korf, Luca Cassano, Jens Hagemeyer, Andrea Domenici, Cinzia Bernardeschi, Luca Sterpone, Mario Porrmann
2018	—	`conf`	Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator. STAF Workshops Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2017	—	`conf`	Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. SEFM Workshops Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
2016	—	`conf`	Detecting Elderly Behavior Shift via Smart Devices and Stigmergic Receptive Fields. MobiHealth Marco Avvenuti, Cinzia Bernardeschi, Mario G. C. A. Cimino, Guglielmo Cola, Andrea Domenici, Gigliola Vaglini
2016	—	`conf`	Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation. F-IDE@FM Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, Cinzia Bernardeschi
2016	C	`conf`	Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. ISCC Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
2016	J	`jnl`	Towards a Formalization of System Requirements for an Integrated Clinical Environment. EAI Endorsed Trans. Self Adapt. Syst. Cinzia Bernardeschi, Andrea Domenici, Paolo Masci
2016	J	`jnl`	UA Integr. Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Luca Sterpone
2016	—	`conf`	Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning. MobiHealth Cinzia Bernardeschi, Mario G. C. A. Cimino, Andrea Domenici, Gigliola Vaglini
2016	J	`jnl`	Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System. Inf. Process. Lett. Cinzia Bernardeschi, Andrea Domenici
2015	J	`jnl`	SRAM-Based FPGA Systems for Safety-Critical Applications: A Survey on Design Standards and Proposed Methodologies. J. Comput. Sci. Technol. Cinzia Bernardeschi, Luca Cassano, Andrea Domenici
2014	J	`jnl`	ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Luca Sterpone
2014	J	`jnl`	Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries. IEEE Trans. Ind. Informatics Federico Baronti, Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Roberto Roncella, Roberto Saletti
2013	—	`conf`	Formal approaches to SEU testing in FPGAs. AHS Cinzia Bernardeschi, Luca Cassano, Andrea Domenici
2013	J	`jnl`	GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs. J. Syst. Archit. Cinzia Bernardeschi, Luca Cassano, Mario G. C. A. Cimino, Andrea Domenici
2013	C	`conf`	Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries. IECON Federico Baronti, Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Roberto Roncella, Roberto Saletti
2013	—	`conf`	Unexcitability analysis of SEus affecting the routing structure of SRAM-based FPGAs. ACM Great Lakes Symposium on VLSI Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Luca Sterpone
2012	—	`conf`	Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs. DFT Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Luca Sterpone
2012	J	`jnl`	High availability using virtualization - 3RC CoRR Federico Calzolari, Silvia Arezzini, Alberto Ciampa, Enrico Mazzoni, Andrea Domenici, Gigliola Vaglini
2012	C	`conf`	SEU-X: A SEu un-excitability prover for SRAM-FPGAs. IOLTS Cinzia Bernardeschi, Luca Cassano, Andrea Domenici
2011	B	`conf`	Failure Probability and Fault Observability of SRAM-FPGA Systems. FPL Cinzia Bernardeschi, Luca Cassano, Andrea Domenici
2011	C	`conf`	Failure probability of SRAM-FPGA systems with Stochastic Activity Networks. DDECS Cinzia Bernardeschi, Luca Cassano, Andrea Domenici
2010	J	`jnl`	A performance study on the synchronisation of heterogeneous Grid databases using CONStanza. Future Gener. Comput. Syst. Gianni Pucciani, Andrea Domenici, Flavia Donno, Heinz Stockinger
2009	J	`jnl`	Static and Dynamic Data Models for the Storage Resource Manager v2.2. J. Grid Comput. Andrea Domenici, Flavia Donno
2006	B	`conf`	Relaxed Data Consistency with CONStanza. CCGRID Andrea Domenici, Flavia Donno, Gianni Pucciani, Heinz Stockinger
2005	—	`conf`	Experiences in Grid Architectures. Parallel and Distributed Computing and Networks Andrea Domenici
2005	—	`conf`	FACT: A Tool for Code Generation from Communicating Automata. IASTED Conf. on Software Engineering Cinzia Bernardeschi, Gianluca Dini, Andrea Domenici
2004	J	`jnl`	Replica Management in the European DataGrid Project. J. Grid Comput. 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, Radovan Chytracek, Andrea Domenici, Flavia Donno, Wolfgang Hoschek, Erwin Laure, Levi Lucio, A. Paul Millar, Livio Salconi, Ben Segal, Mika Silander
2003	Misc	`conf`	HRT-UML: Taking HRT-HOOD onto UML. Ada-Europe Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega
1998	—	`conf`	The DASE Tool: An Environment for the Development of Real-Time Applications. DIPES Marco Di Natale, Andrea Domenici
1990	J	`jnl`	Petri nets in logic. Microprocessing and Microprogramming Andrea Domenici
1989	J	`jnl`	A protocol for resource locking and deadlock detection in a multi-user environment. Microprocessing and Microprogramming Andrea Domenici, Beatrice Lazzerini, Cosimo Antonio Prete