Home / Research


Muhammad Umar Janjua. 2015. OnSpot system: test impact visibility during code edits in real software. In ACM Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015).
Muhammad Umar Janjua and A. Mycroft, Automatic Correction to Safety Violations in Programs”, in Thread Verification (TV06), August 20 – 22, 2006 ,Seattle, WA.
U. Janjua, M. Yasin, F. Sher, K. Awan, I. Hassan “CEJVM: “Cluster Enabled Java Virtual Machine”, in IEEE International Conference on Cluster Computing (CLUSTER’02) , September 23 – 26, 2002,Chicago, Illinois.
Patents:  Automatic fraudulent digital certificate detection, US Patent: 8966659, Grant, 2015
Certificate Eval. for Authority Reputation Advising, Publication: 20140359281, Application, 2014