Dmitrii Kirov

According to our database, Dmitrii Kirov authored at least 9 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures.

Dmitrii Kirov, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., January, 2024

2023

Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment.

Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Benchmark: Object Detection for Maritime Search and Rescue.

Dmitrii Kirov, Simone Fulvio Rollini, Rohit Chandrahas, Shashidhar Reddy Chandupatla, Rajdeep Sawant

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Benchmark: Remaining Useful Life Predictor for Aircraft Equipment.

Dmitrii Kirov, Simone Fulvio Rollini

Proceedings of the Bridging the Gap Between AI and Reality, 2023

2020

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures.

Pierluigi Nuzzo, Nikunj Bajaj, Michael Masin, Dmitrii Kirov, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2018

Optimization-Based Methodology for the Exploration of Cyber-Physical System Architectures.

Dmitrii Kirov

PhD thesis, 2018

Optimized selection of wireless network topologies and components via efficient pruning of feasible paths.

Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures.

Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 54th Annual Design Automation Conference, 2017

2016

Statistical characterization of the 2.4 GHz radio channel for WSN in indoor office environments.

Dmitrii Kirov, Roberto Passerone, Massimo Donelli

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016