Denis Osipychev
Orcid: 0000-0001-9618-2520
According to our database1,
Denis Osipychev
authored at least 13 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
1
2
1
3
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 33rd International Conference on Computer Communications and Networks, 2024
2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the IEEE Military Communications Conference, 2023
TwinSync: A Digital Twin Synchronization Protocol for Bandwidth-Limited IoT Applications.
Proceedings of the 32nd International Conference on Computer Communications and Networks, 2023
2022
Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs.
Proceedings of the IEEE Military Communications Conference, 2022
2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
IEEE Trans. Intell. Transp. Syst., 2019
Comput. Electron. Agric., 2019
2018
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
2017
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017
Proceedings of the 2017 American Control Conference, 2017