Research

Publications

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
Falak Sher, Joost-Pieter Katoen. Modal Stochastic Games: Abstraction-Refinement of Probabilistic Automata}. Models, Algorithms, Logics and Tools (Larsen Festschrift)}, Volume 10460 of LNCS, Springer, 2017.
Falak Sher. Abstraction and Refinement of Probabilistic Automata using Modal Stochastic Games. Ph.D dissertation, RWTH Aachen University, 2015.
Falak Sher, Joost-Pieter Katoen. Tight Game Abstractions of Probabilistic Automata. Conference on Concurrency Theory (CONCUR), 2014.
Souymodip Chakraborty, Martin Strelec, Joost-Pieter Katoen, Falak Sher. Modelling and Statistical Model Checking of a Microgrid. Software Tools for Technology Transfer (STTT), pages 1-14, 2014.
Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata. Information and Computation}, 2013.
Souymodip Chakraborty, Martin Strelec, Joost-Pieter Katoen, Falak Sher. Modelling and Statistical Model Checking of a Microgrid. Workshop on Statistical Model Checking (SMC)}, 2013.
Falak Sher, Joost-Pieter Katoen. Compositional Abstraction Techniques for Probabilistic Automata. IFIP Conference on Theoretical Computer Science (TCS), Springer Berlin Heidelberg, pages 325-341, 2012.
Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. New Results on Abstract Probabilistic Automata. Applications of Concurrency to System Design (ACSD), IEEE, pages 118-127, 2011.
Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata. Verification, Model Checking and Abstract Interpretation (VMCAI), Springer Berlin Heidelberg, pages 324-339, 2011.