Systems Analysis & Verification
Hybrid System Publications
Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, and Aarti Gupta
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities
6th International Workshop on Reachability Problems (RP), Bordeaux, France, September 2012.
Truong X. Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta and George J. Pappas
Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Systems.
13rd International Conference on Hybrid Systems: Computation and Control (HSCC), Stockholm, Sweden, April 2010.
Malay K. Ganai and Franjo Ivancic.
Efficient Decision Procedure for Non-linear Arithmetic Constraints using CORDIC.,
FMCAD, Austin, TX. Nov 2009.
Sriram Sankaranarayanan, Thao Dang, and Franjo Ivancic:
A Policy Iteration Technique for Computing Time-Elapse Using Template Polyhedra,
Hybrid Systems: Computation and Control (HSCC 2008), April 2008
Sriram Sankaranarayanan, Henny B. Sipma and Zohar Manna:
Fixed Point Iteration for Computing the Time-Elapse Operator.
In Proceedings of HSCC, March 2006.
Publications in Other Areas: