Skip to content

Denis Osipychev

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

5

Active years

2017–2024

Best venue rank

A*

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2024ICCCNAcies-OS: A Content-Centric Platform for Edge AI Twinning and Orchestration.Jinyang Li, Yizhuo Chen, Tomoyoshi Kimura, Tianshi Wang, Ruijie Wang, Denizhan Kara, Yigong Hu, Li Wu, Walid A. Hanafy, Abel Souza, Prashant J. Shenoy, Maggie B. Wigness, Joydeep Bhattacharyya, Jae Kim, Guijun Wang, Greg Kimberly, Josh D. Eckhardt, Denis Osipychev, Tarek F. Abdelzaher
2023ICCCNTwinSync: A Digital Twin Synchronization Protocol for Bandwidth-Limited IoT Applications.Deepti Kalasapura, Jinyang Li, Shengzhong Liu, Yizhuo Chen, Ruijie Wang, Tarek F. Abdelzaher, Matthew Caesar, Joydeep Bhattacharyya, Jae Kim, Guijun Wang, Greg Kimberly, Josh D. Eckhardt, Denis Osipychev
2021FMFormal Analysis of Neural Network-Based Systems in the Aircraft Domain.Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng
2020CAVFormal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI.Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia
2018IROSMulti-Agent Planning for Coordinated Robotic Weed Killing.Wyatt McAllister, Denis Osipychev, Girish Chowdhary, Adam Davis
2017ICRAA collaborative control framework for driver assistance systems.Duy Tran, Eyosiyas Tadesse, Denis Osipychev, Jianhao Du, Weihua Sheng, Yuge Sun, Heping Chen