Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Patrick Musau · SciRah

Researcher profile · Semantic Scholar

Patrick Musau

Share profile

Patrick Musau — researcher profile on SciRah

h-index: 15
Works: 32
Citations: 1,053

Most-cited papers

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau +4 more
2020International Conference on Computer Aided Verification302 citations Open access
Semantic Scholar
Star-Based Reachability Analysis of Deep Neural Networks
Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang +3 more
2019World Congress on Formal Methods187 citations
Semantic Scholar
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control
Hoang-Dung Tran, Feiyang Cai, Manzanas Lopez Diego, Patrick Musau +2 more
2019ACM Transactions on Embedded Computing Systems132 citations Open access
Semantic Scholar
Verification for Machine Learning, Autonomy, and Neural Networks Survey
Weiming Xiang, Patrick Musau, A. Wild, Diego Manzanas Lopez +4 more
2018arXiv.org111 citations
Semantic Scholar
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang +3 more
2019FME Workshop on Formal Methods in Software Engineering48 citations
Semantic Scholar
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez +4 more
2021International Conference on Computer Aided Verification44 citations Open access
Semantic Scholar
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson
2018Safe, Autonomous and Intelligent Vehicles35 citations Open access
Semantic Scholar
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran +6 more
2020The Archivist26 citations Open access
Semantic Scholar
Verification of Closed-loop Systems with Neural Network Controllers
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson
2019ARCH@CPSIoTWeek25 citations Open access
Semantic Scholar
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers
Patrick Musau, Nathaniel P. Hamilton, Diego Manzanas Lopez, Preston K. Robinette +1 more
2022International Conference on Applied Algorithms24 citations
Semantic Scholar
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
Diego Manzanas Lopez, Patrick Musau, Nathaniel P. Hamilton, Taylor T. Johnson
2022International Conference on Formal Modeling and Analysis of Timed Systems20 citations Open access
Semantic Scholar
Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning
Nathaniel P. Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson
2022International Conference on Applied Algorithms18 citations
Semantic Scholar
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau +5 more
2021Formal Aspects of Computing16 citations Open access
Semantic Scholar
PROJECT MANAGEMENT PRACTICES AND IMPLEMENTATION OF GOVERNMENT PROJECTS IN KENYA , CASE OF MACHAKOS COUNTY GOVERNMENT
Patrick Musau
201816 citations
Semantic Scholar
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta +3 more
2019ARCH@CPSIoTWeek15 citations Open access
Semantic Scholar
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems
Hoang-Dung Tran, L. V. Nguyen, Patrick Musau, Weiming Xiang +1 more
2019Formal Techniques for (Networked and) Distributed Systems14 citations Open access
Semantic Scholar
Discovery of AI/ML Supply Chain Vulnerabilities within Automotive Cyber-Physical Systems
Daniel Williams, Chelece Clark, R. McGahan, Bradley Potteiger +2 more
2022International Conference on Applied Algorithms10 citations
Semantic Scholar
Case Study: Safety Verification of an Unmanned Underwater Vehicle
Diego Manzanas Lopez, Patrick Musau, Nathaniel P. Hamilton, Hoang-Dung Tran +1 more
20202020 IEEE Security and Privacy Workshops (SPW)5 citations Open access
Semantic Scholar
Demo: The Neural Network Verification (NNV) Tool
Hoang-Dung Tran, Diego Manzanas Lopez, Xiaodong Yang, Patrick Musau +4 more
20202020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)3 citations
Semantic Scholar
Linear Differential-Algebraic Equations (Benchmark Proposal)
Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson
2018ARCH@ADHS3 citations Open access
Semantic Scholar
Decentralized Real-Time Safety Veriﬁcation for Distributed Cyber-Physical Systems
Hoang-Dung Tran, L. Viet, Nguyen, Patrick Musau +2 more
3 citations
Semantic Scholar
Real-Time Verification for Distributed Cyber-Physical Systems
Hoang-Dung Tran, L. V. Nguyen, Patrick Musau, Weiming Xiang +1 more
2019Leibniz Transactions on Embedded Systems2 citations
Semantic Scholar
ECO: An LLM-Driven Efficient Code Optimizer for Warehouse Scale Computers
Hannah Lin, Martin Maas, Maximilian Roquemore, Arman Hasanzadeh +16 more
20251 citations
Semantic Scholar
Online Reachability Analysis and Space Convexification for Autonomous Racing
Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau +1 more
2023FMAS@iFM1 citations Open access
Semantic Scholar
International Workshop on Applied Verification of Continuous and Hybrid Systems Verification of Continuous Time Recurrent Neural Networks ( Benchmark Proposal )
Patrick Musau, Taylor T. Johnson
20181 citations
Semantic Scholar
Kenya's wildlife parks and reserves: An asset in need of upgrading
Patrick Musau, B. Prideaux
19971 citations
Semantic Scholar
Efficiency Hallucination: Formalizing and Measuring Behavioral Calibration in LLM-Based Code Optimization
Sarah Wilson, Gail E. Kaiser, Patrick Musau
20260 citations
Semantic Scholar
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Patrick Musau, Nathaniel P. Hamilton, Diego Manzanas Lopez, Preston K. Robinette +1 more
2022Social Science Research Network0 citations Open access
Semantic Scholar
verivital/nnv: CAV 2021 Artifact Evaluation: Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability
trhoangdung, Taylor T. Johnson, Diego Manzanas, Xiaodong Yang +2 more
20210 citations
Semantic Scholar
Verification of Continuous and Hybrid Systems Linear Differential-Algebraic Equations ( Benchmark Proposal )
Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, T. Taylor +1 more
20180 citations
Semantic Scholar
Discovery of Radioactivity and Radioactive Decay
T. Trankle, Ryan Conlogue, M. Reibold, Patrick Musau +1 more
20170 citations
Semantic Scholar
Self-Monitoring Innovations Online
Patrick Musau
20170 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

Taylor T. Johnson×19
Invite
Taylor T. Johnson — researcher profile on SciRah
Diego Manzanas Lopez×17
Invite
Diego Manzanas Lopez — researcher profile on SciRah
Hoang-Dung Tran×16
Invite
Hoang-Dung Tran — researcher profile on SciRah
Weiming Xiang×9
Invite
Weiming Xiang — researcher profile on SciRah

Xiaodong Yang×7

Invite

Xiaodong Yang — researcher profile on SciRah

L. V. Nguyen×7

Invite

L. V. Nguyen — researcher profile on SciRah

Nathaniel P. Hamilton×7

Invite

Nathaniel P. Hamilton — researcher profile on SciRah

Invite

Stanley Bak — researcher profile on SciRah

Taylor T. Johnson×3

Invite

Taylor T. Johnson — researcher profile on SciRah

Diego Manzanas Lopez×2

Invite

Diego Manzanas Lopez — researcher profile on SciRah

Neelanjana Pal×2

Invite

Neelanjana Pal — researcher profile on SciRah

Preston K. Robinette×2

Invite

Preston K. Robinette — researcher profile on SciRah