The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sriram Sankaranarayanan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
    Petri Net Analysis Using Invariant Generation. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:682-701 [Conf]
  2. Michael Colón, Sriram Sankaranarayanan, Henny Sipma
    Linear Invariant Generation Using Non-linear Constraint Solving. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:420-432 [Conf]
  3. César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna
    Event Correlation: Language and Semantics. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:323-339 [Conf]
  4. Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
    Constructing Invariants for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:539-554 [Conf]
  5. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
    Fixed Point Iteration for Computing the Time Elapse Operator. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:537-551 [Conf]
  6. Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
    Non-linear loop invariant generation using Gröbner bases. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:318-329 [Conf]
  7. Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta
    Static Analysis in Disjunctive Numerical Domains. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:3-17 [Conf]
  8. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
    Constraint-Based Linear-Relations Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:53-68 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:166-174 [Conf]
  10. Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna
    Efficient Strongly Relational Polyhedral Analysis. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:111-125 [Conf]
  11. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
    Scalable Analysis of Linear Systems Using Mathematical Programming. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:25-41 [Conf]
  12. Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan
    Min-max Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:127, n:1, pp:137-162 [Journal]
  13. Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
    Collecting Statistics over Runtime Executions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
  14. Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
    Collecting Statistics Over Runtime Executions. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:27, n:3, pp:253-274 [Journal]
  15. Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta
    Fast and Accurate Static Data-Race Detection for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:226-239 [Conf]
  16. Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
    Program Analysis Using Symbolic Ranges. [Citation Graph (0, 0)][DBLP]
    SAS, 2007, pp:366-383 [Conf]
  17. Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic
    State space exploration using feedback constraint generation and Monte-Carlo sampling. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:321-330 [Conf]

  18. Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. [Citation Graph (, )][DBLP]


  19. Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities. [Citation Graph (, )][DBLP]


  20. Refining the control structure of loops using static analysis. [Citation Graph (, )][DBLP]


  21. A Policy Iteration Technique for Time Elapse over Template Polyhedra. [Citation Graph (, )][DBLP]


  22. Automatic invariant generation for hybrid systems using ideal fixed points. [Citation Graph (, )][DBLP]


  23. Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. [Citation Graph (, )][DBLP]


  24. Mining library specifications using inductive logic programming. [Citation Graph (, )][DBLP]


  25. Dynamic inference of likely data preconditions over predicates by tree learning. [Citation Graph (, )][DBLP]


  26. Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. [Citation Graph (, )][DBLP]


  27. Program analysis via satisfiability modulo path programs. [Citation Graph (, )][DBLP]


  28. Robustness of Model-Based Simulations. [Citation Graph (, )][DBLP]


  29. SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. [Citation Graph (, )][DBLP]


  30. Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. [Citation Graph (, )][DBLP]


  31. Semantic Reduction of Thread Interleavings in Concurrent Programs. [Citation Graph (, )][DBLP]


Search in 0.049secs, Finished in 0.050secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002