Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+. - Saba Latif; Aniqa Rehman; Nazir Ahmad Zafar (FIT, 2019)

Revised anonymous authentication protocol for adaptive client-server infrastructure. - Khalid Mahmood 002; Aniqa Rehman; Pradeep Chaudhary; Xiong Li 002; Fan Wu 003; Saru Kumari (Int. J. Commun. Syst., 2020)

A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. - Michele Loreti; Aniqa Rehman (QEST, 2022)

Monitoring Local and Global Properties of Collective Adaptive Systems. - Nicola Del Giudice 002; Michele Loreti; Michela Quadrini; Aniqa Rehman (ISoLA (2), 2024)

Sibilla: A tool for reasoning about collective systems. - Nicola Del Giudice 002; Lorenzo Matteucci; Michela Quadrini; Aniqa Rehman; Michele Loreti (Sci. Comput. Program., 2024)