| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Sriram Sankaranarayanan Sriram Sankaranarayanan, Henny B. Sipma , Zohar Manna : Fixed Point Iteration for Computing the Time Elapse Operator. HSCC 2006 : 537-551 Sriram Sankaranarayanan, Michael Colón , Henny B. Sipma , Zohar Manna : Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006 : 111-125 Ben D'Angelo , Sriram Sankaranarayanan, César Sánchez , Will Robinson , Bernd Finkbeiner , Henny B. Sipma , Sandeep Mehrotra , Zohar Manna : LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005 : 166-174 Sriram Sankaranarayanan, Henny B. Sipma , Zohar Manna : Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI 2005 : 25-41 Bernd Finkbeiner , Sriram Sankaranarayanan, Henny Sipma : Collecting Statistics Over Runtime Executions. Formal Methods in System Design 27 (3): 253-274 (2005) Sriram Sankaranarayanan, Henny Sipma , Zohar Manna : Constructing Invariants for Hybrid Systems. HSCC 2004 : 539-554 Sriram Sankaranarayanan, Henny Sipma , Zohar Manna : Non-linear loop invariant generation using Gröbner bases. POPL 2004 : 318-329 Sriram Sankaranarayanan, Henny B. Sipma , Zohar Manna : Constraint-Based Linear-Relations Analysis. SAS 2004 : 53-68 Michael Colón , Sriram Sankaranarayanan, Henny Sipma : Linear Invariant Generation Using Non-linear Constraint Solving. CAV 2003 : 420-432 César Sánchez , Sriram Sankaranarayanan, Henny Sipma , Ting Zhang , David L. Dill , Zohar Manna : Event Correlation: Language and Semantics. EMSOFT 2003 : 323-339 Sriram Sankaranarayanan, Henny Sipma , Zohar Manna : Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice 2003 : 682-701 Bernd Finkbeiner , Sriram Sankaranarayanan, Henny Sipma : Collecting Statistics over Runtime Executions. Electr. Notes Theor. Comput. Sci. 70 (4): (2002) Pallab Dasgupta , P. P. Chakrabarti , Jatindra Kumar Deka , Sriram Sankaranarayanan: Min-max Computation Tree Logic. Artif. Intell. 127 (1): 137-162 (2001) 1 [ 1 ] 2 [ 5 ] [ 12 ] 3 [ 11 ] 4 [ 1 ] 5 [ 1 ] 6 [ 4 ] 7 [ 2 ] [ 9 ] [ 11 ] 8 [ 3 ] [ 4 ] [ 6 ] [ 7 ] [ 8 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] 9 [ 11 ] 10 [ 11 ] 11 [ 4 ] [ 11 ] 12 [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] 13 [ 4 ]  ©2006 Association for Computing Machinery |
