Statistical characterization of the 2.4 GHz radio channel for WSN in indoor office environments. - Dmitrii Kirov; Roberto Passerone; Massimo Donelli (ETFA, 2016)

ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. - Dmitrii Kirov; Pierluigi Nuzzo 002; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli (DAC, 2017)

Optimized selection of wireless network topologies and components via efficient pruning of feasible paths. - Dmitrii Kirov; Pierluigi Nuzzo 002; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli (DAC, 2018)

Optimization-Based Methodology for the Exploration of Cyber-Physical System Architectures. - Dmitrii Kirov (2018)

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures. - Pierluigi Nuzzo 002; Nikunj Bajaj; Michael Masin; Dmitrii Kirov; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Benchmark: Remaining Useful Life Predictor for Aircraft Equipment. - Dmitrii Kirov; Simone Fulvio Rollini (AISoLA, 2023)

Benchmark: Object Detection for Maritime Search and Rescue. - Dmitrii Kirov; Simone Fulvio Rollini; Rohit Chandrahas; Shashidhar Reddy Chandupatla; Rajdeep Sawant (AISoLA, 2023)

Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. - Dmitrii Kirov; Simone Fulvio Rollini; Luigi Di Guglielmo; Darren D. Cofer (AISoLA, 2023)

Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures. - Dmitrii Kirov; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Roberto Passerone (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)