2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2023 IEEE/ACM 11th International Conference on. :39-43 May, 2023
2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench) CPSBENCH Benchmarking Cyber-Physical Networks and Systems (CPSBench), 2018 IEEE Workshop on. :25-29 Apr, 2018
2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation Principles of Advanced and Distributed Simulation (PADS), 2012 ACM/IEEE/SCS 26th Workshop on. :23-32 Jul, 2012
2017 IEEE International Symposium on Antennas and Propagation & USNC/URSI National Radio Science Meeting Antennas and Propagation & USNC/URSI National Radio Science Meeting, 2017 IEEE International Symposium on. :1085-1086 Jul, 2017