Usama Mehmood

According to our database, Usama Mehmood authored at least 12 papers between 2017 and 2025.

Collaborative distances:

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

2025

Urdu paraphrased text reuse and plagiarism detection using pre-trained large language models and deep hybrid neural networks.

Hafiz Rizwan Iqbal, Muhammad Sharjeel, Jawad Shafi, Usama Mehmood, Saeed-Ul Hassan, Agha Ali Raza

Multim. Tools Appl., October, 2025

Urdu Sentential Paraphrased Plagiarism Detection Using Large Language Models.

Hafiz Rizwan Iqbal, Muhammad Sharjeel, Jawad Shafi, Usama Mehmood, Agha Ali Raza

ACM Trans. Asian Low Resour. Lang. Inf. Process., September, 2025

The black-box simplex architecture for runtime assurance of multi-agent CPS.

Sanaz Sheikhi, Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller

Innov. Syst. Softw. Eng., June, 2025

2022

The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS.

Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

A Distributed Simplex Architecture for Multi-agent Systems.

Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Safe CPS from unsafe controllers.

Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller

Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

Collision-Free 3D Flocking Using the Distributed Simplex Architecture.

Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka

Proceedings of the Formal Methods in Outer Space, 2021

Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding.

Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari

Proceedings of the 2021 American Control Conference, 2021

2020

Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers.

Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Learning Distributed Controllers for V-Formation.

Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2018

Declarative vs rule-based control for flocking dynamics.

Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

Model Checking Cyber-Physical Systems using Particle Swarm Optimization.

Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang

CoRR, 2017