Aniqa Rehman

According to our database, Aniqa Rehman authored at least 6 papers between 2019 and 2026.

Collaborative distances:

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

2026

Scalable Verification of Local and Global Properties of Collective Systems.

Michele Loreti, Michela Quadrini, Aniqa Rehman

Proceedings of the Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday, 2026

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

Sibilla: A Tool for Reasoning about Collective Systems.

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

Proceedings of the Coordination Models and Languages, 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