1. Gabriela F. Ciocarlie , Christopher Connolly , Chih-Chieh Cheng , Ulf Lindqvist , Szabolcs Novaczi , Henning Sanneck and Muhammad Naseer-ul- Islam , Anomaly Detection and Diagnosis for Automatic Radio Network Verification , 6th International Conference on Mobile Networks and Management (MONAMI) , September 2014 . Gabriela F. Ciocarlie, Christopher Connolly, Chih-Chieh Cheng, Ulf Lindqvist, Szabolcs Novaczi, Henning Sanneck and Muhammad Naseer-ul-Islam, Anomaly Detection and Diagnosis for Automatic Radio Network Verification, 6th International Conference on Mobile Networks and Management (MONAMI), September 2014.
2. Prashant Anantharaman , Liwei Song , Ioannis Agadakos , Gabriela Ciocarlie , Bogdan Copos , Ulf Lindqvist and Michael Locasto , IoTHound : Environment-agnostic Device Identification and Monitoring , International Conference on IoT , 2020 . Prashant Anantharaman, Liwei Song, Ioannis Agadakos, Gabriela Ciocarlie, Bogdan Copos, Ulf Lindqvist and Michael Locasto, IoTHound: Environment-agnostic Device Identification and Monitoring, International Conference on IoT, 2020.
3. A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation