H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 35 Citations 5,974 123 World Ranking 5811 National Ranking 2814

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Operating system

Sriram Sankaranarayanan focuses on Hybrid system, Algorithm, Invariant, Robustness and Temporal logic. His Hybrid system research is multidisciplinary, incorporating perspectives in Intersection, Polynomial, Mathematical optimization and Cyber-physical system. His research integrates issues of Buffer overflow and Nonlinear system in his study of Algorithm.

His study in Nonlinear system is interdisciplinary in nature, drawing from both Constraint logic programming and Loop invariant. His work investigates the relationship between Invariant and topics such as Transition system that intersect with problems in Constraint satisfaction and Quantifier elimination. His Robustness research includes elements of Control engineering, Complex system, Monte Carlo method and Random walk.

His most cited work include:

  • Flow*: an analyzer for non-linear hybrid systems (320 citations)
  • Linear Invariant Generation Using Non-linear Constraint Solving (278 citations)
  • S-taliro: a tool for temporal logic falsification for hybrid systems (266 citations)

What are the main themes of his work throughout his whole career to date?

His primary areas of investigation include Algorithm, Hybrid system, Theoretical computer science, Nonlinear system and Mathematical optimization. In general Algorithm study, his work on Abstract interpretation, Model checking, Floating point and Formal verification often relates to the realm of Interval arithmetic, thereby connecting several areas of interest. Sriram Sankaranarayanan works mostly in the field of Abstract interpretation, limiting it down to concerns involving Static analysis and, occasionally, Scalability.

Sriram Sankaranarayanan has included themes like Invariant, Reachability and Robustness in his Hybrid system study. His Theoretical computer science research integrates issues from Programming language, Correctness and Robot. The various areas that Sriram Sankaranarayanan examines in his Mathematical optimization study include Set and Lyapunov function.

He most often published in these fields:

  • Algorithm (19.55%)
  • Hybrid system (19.09%)
  • Theoretical computer science (19.09%)

What were the highlights of his more recent work (between 2017-2021)?

  • Artificial neural network (7.27%)
  • Control theory (9.55%)
  • Control (4.09%)

In recent papers he was focusing on the following fields of study:

His main research concerns Artificial neural network, Control theory, Control, Artificial intelligence and Time horizon. Sriram Sankaranarayanan focuses mostly in the field of Feedforward neural network, narrowing it down to matters related to Control engineering and, in some cases, Hybrid system, Data-driven, Nondeterministic algorithm and Optimization problem. His Hybrid system study integrates concerns from other disciplines, such as Floating point, Semidefinite programming, Signal temporal logic, Software and Solver.

His Robustness study combines topics in areas such as Information security and Counterexample. The concepts of his Trajectory study are interwoven with issues in Path following, Correctness, Vehicle dynamics and Nonlinear system. His Nonlinear system research includes themes of Polynomial, Mathematical optimization and Sensitivity.

Between 2017 and 2021, his most popular works were:

  • Output Range Analysis for Deep Feedforward Neural Networks (137 citations)
  • Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications (103 citations)
  • Reachability analysis for neural feedback systems using regressive polynomial rule inference (45 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algorithm
  • Statistics

Artificial neural network, Control theory, Robustness, Feedforward neural network and Polynomial are his primary areas of study. His Robustness research incorporates elements of Path following, Correctness, Counterexample, Vehicle dynamics and Trajectory. As a member of one scientific family, Sriram Sankaranarayanan mostly works in the field of Counterexample, focusing on Information security and, on occasion, Theoretical computer science.

His Feedforward neural network study incorporates themes from Control engineering and Formal verification. Sriram Sankaranarayanan has researched Polynomial in several fields, including Convergence, Lyapunov function, Set, Mathematical optimization and Function. Sriram Sankaranarayanan usually deals with Mathematical optimization and limits it to topics linked to Floating point and Hybrid system.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Flow*: an analyzer for non-linear hybrid systems

Xin Chen;Erika Ábrahám;Sriram Sankaranarayanan.
computer aided verification (2013)

450 Citations

Linear Invariant Generation Using Non-linear Constraint Solving

Michael A. Colon;Sriram Sankaranarayanan;Henny B. Sipma.
computer aided verification (2003)

410 Citations

S-taliro: a tool for temporal logic falsification for hybrid systems

Yashwanth Annapureddy;Che Liu;Georgios Fainekos;Sriram Sankaranarayanan.
tools and algorithms for construction and analysis of systems (2011)

379 Citations

Non-linear loop invariant generation using Gröbner bases

Sriram Sankaranarayanan;Henny B. Sipma;Zohar Manna.
symposium on principles of programming languages (2004)

338 Citations

Scalable analysis of linear systems using mathematical programming

Sriram Sankaranarayanan;Henny B. Sipma;Zohar Manna.
verification model checking and abstract interpretation (2005)

249 Citations

LOLA: runtime monitoring of synchronous systems

B. D'Angelo;S. Sankaranarayanan;C. Sanchez;W. Robinson.
international symposium on temporal representation and reasoning (2005)

229 Citations

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems

Xin Chen;Erika Abraham;Sriram Sankaranarayanan.
real-time systems symposium (2012)

203 Citations

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

Houssam Abbas;Georgios Fainekos;Sriram Sankaranarayanan;Franjo Ivančić.
ACM Transactions in Embedded Computing Systems (2013)

154 Citations

Output Range Analysis for Deep Feedforward Neural Networks

Souradeep Dutta;Susmit Jha;Sriram Sankaranarayanan;Ashish Tiwari.
nasa formal methods symposium (2018)

149 Citations

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

Ezio Bartocci;Jyotirmoy V. Deshmukh;Alexandre Donzé;Georgios E. Fainekos.
runtime verification (2018)

141 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Sriram Sankaranarayanan

André Platzer

André Platzer

Carnegie Mellon University

Publications: 42

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 38

Krishnendu Chatterjee

Krishnendu Chatterjee

Institute of Science and Technology Austria

Publications: 35

Radu Grosu

Radu Grosu

TU Wien

Publications: 33

Sanjit A. Seshia

Sanjit A. Seshia

University of California, Berkeley

Publications: 33

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 30

Thomas Reps

Thomas Reps

University of Wisconsin–Madison

Publications: 28

Ashish Tiwari

Ashish Tiwari

Microsoft (United States)

Publications: 27

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 27

Matthias Althoff

Matthias Althoff

Technical University of Munich

Publications: 25

Scott A. Smolka

Scott A. Smolka

Stony Brook University

Publications: 23

Klaus Havelund

Klaus Havelund

Jet Propulsion Lab

Publications: 22

Lionel C. Briand

Lionel C. Briand

University of Ottawa

Publications: 20

Alessandro Abate

Alessandro Abate

University of Oxford

Publications: 20

Insup Lee

Insup Lee

University of Pennsylvania

Publications: 19

Helmut Seidl

Helmut Seidl

Technical University of Munich

Publications: 19

Something went wrong. Please try again later.