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.

Georgios Fainekos, Sriram Sankaranarayanan, Houssam Abbas, Franjo Ivancic, and Aarti Gupta Probabilistic Temporal Logic Falsification of Cyber-Physical Systems ACM Transactions on Embedded Computing Systems (TECS), accepted for publication, ACM (special issue on probabilistic embedded computing).

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.

Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, and Edmund M. Clarke Integrating ICP and LRA Solvers for Deciding Nonlinear Real Arithmetic Problems. Formal Methods in Computer Aided Design (FMCAD), Lugano, Switzerland, October 2010

Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, and Aarti Gupta Numerical stability analysis of floating-point computations using software model checking 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), Grenoble, France, July 2010

Malay K. Ganai and Franjo Ivancic. Efficient Decision Procedure for Non-linear Arithmetic Constraints using CORDIC., FMCAD, Austin, TX. Nov 2009.

A. Kanade, R. Alur, F. Ivancic, S. Ramesh, S. Sankaranarayanan and K.C. Shashishar: Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models, 21st International Conference on Computer-Aided Verification (CAV), Grenoble, France, July 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, Thao Dang, and Franjo Ivancic: Symbolic Model-Checking of Hybrid Systems using Template Polyhedra, Tools and Algorithms for Construction and Analysis of Systems (TACAS 2008), March 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:

• Concurrency Analysis
• F-Soft Software Verification
• VeriSol Model Checking Platform
• SAT based Verification
• Others