?
Lecture Notes in Computer Science; NASA Formal Methods ,
1
Towards Formal Verification of Neural Networks in Cyber-Phy..:
, In:
?
2023 International Conference on Electrical, Communication and Computer Engineering (ICECCE) ,
4
Training Neural Networks in Cyber-Physical Systems using De..:
, In:
?
2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) ,
5
An Analysis System to Test Security of Software on Continuo..:
, In:
?
6
Software Engineering and Formal Methods. SEFM 2022 Collocat..
Lecture Notes in Computer Science, 13765
?
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science ,
7
Do-it-Yourself FMU Generation:
, In:
?
2022 IEEE International Conference on Smart Computing (SMARTCOMP) ,
9
Demo: An On-line Supervisor for the Line Follower Robot:
, In:
?
Lecture Notes in Computer Science; Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops ,
10
Co-simulation of a Model Predictive Control System for Auto..:
, In:
?
2022 IEEE International Conference on Smart Computing (SMARTCOMP) ,
11
A Workflow for Designing an On-line Supervisor for Cyber-Ph..:
, In:
?
2022 IEEE 23rd International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM) ,
12
Co-simulated Digital Twin on the Network Edge: the case of ..:
, In:
?
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops; Lecture Notes in Computer Science ,
14