Dmitrii Kirov

ORCID

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 8

Top Venues

AISoLA

DAC

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

ETFA

University of Trento, Italy (PHD)

Education History

University of Trento, Italy

PHD

Publications

Dmitrii Kirov, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone
Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (1) (2024)
Dmitrii Kirov, Simone Fulvio Rollini, Rohit Chandrahas, Shashidhar Reddy Chandupatla, Rajdeep Sawant
Benchmark: Object Detection for Maritime Search and Rescue. AISoLA (2023)
Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer
Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. AISoLA (2023)
Dmitrii Kirov, Simone Fulvio Rollini
Benchmark: Remaining Useful Life Predictor for Aircraft Equipment. AISoLA (2023)
Pierluigi Nuzzo, Nikunj Bajaj, Michael Masin, Dmitrii Kirov, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (10) (2020)
Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
Optimized selection of wireless network topologies and components via efficient pruning of feasible paths. DAC (2018)
Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. DAC (2017)
Dmitrii Kirov, Roberto Passerone, Massimo Donelli
Statistical characterization of the 2.4 GHz radio channel for WSN in indoor office environments. ETFA (2016)

Dmitrii Kirov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dmitrii Kirov