Dynamic Race Prediction in Linear Time
Dileep Kini, Umang Mathur, Mahesh Viswanathan
Proceedings of 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017
Weak Singular Hybrid Automata
Ashutosh Trivedi, Umang Mathur, Krishna S.
Proceedings of 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014