 |
Systems Analysis & Verification
Hybrid System Publications
2009
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.
2008
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
2006
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:
|
