Andrea Domenici
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2006–2022
Best venue rank
B
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SEFM | Do-it-Yourself FMU Generation. | Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara |
| 2021 | SEFM | 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 |
| 2020 | IJCNN | Identify Potential Attacks from Simulated Log Analysis. | Cinzia Bernardeschi, Andrea Domenici, Francesco Mercaldo, Antonella Santone |
| 2020 | SEFM | 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 |
| 2019 | ICISSP | Modeling and Simulation of Attacks on Cyber-physical Systems. | Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri |
| 2019 | SEFM | 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 |
| 2017 | SEFM | Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. | Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri |
| 2016 | ISCC | Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. | Cinzia Bernardeschi, Andrea Domenici, Paolo Masci |
| 2013 | IECON | 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 |
| 2012 | IOLTS | SEU-X: A SEu un-excitability prover for SRAM-FPGAs. | Cinzia Bernardeschi, Luca Cassano, Andrea Domenici |
| 2011 | DDECS | Failure probability of SRAM-FPGA systems with Stochastic Activity Networks. | Cinzia Bernardeschi, Luca Cassano, Andrea Domenici |
| 2011 | FPL | Failure Probability and Fault Observability of SRAM-FPGA Systems. | Cinzia Bernardeschi, Luca Cassano, Andrea Domenici |
| 2006 | CCGRID | Relaxed Data Consistency with CONStanza. | Andrea Domenici, Flavia Donno, Gianni Pucciani, Heinz Stockinger |