Aniqa Rehman

According to our database, Aniqa Rehman authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sibilla: A tool for reasoning about collective systems.

Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti

Sci. Comput. Program., 2024

Monitoring Local and Global Properties of Collective Adaptive Systems.

Nicola Del Giudice, Michele Loreti, Michela Quadrini, Aniqa Rehman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

2022

A Logical Framework for Reasoning About Local and Global Properties of Collective Systems.

Michele Loreti, Aniqa Rehman

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2020

Revised anonymous authentication protocol for adaptive client-server infrastructure.

Khalid Mahmood, Aniqa Rehman, Pradeep Chaudhary, Xiong Li, Fan Wu, Saru Kumari

Int. J. Commun. Syst., 2020

2019

Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+.

Saba Latif, Aniqa Rehman, Nazir Ahmad Zafar

Proceedings of the International Conference on Frontiers of Information Technology, 2019