Sankaranarayanan, Sriram.
Overview
| Works: | 4 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
Vicario, Enrico.; Sankaranarayanan, Sriram.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part II /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Akshay, S.; Sankaranarayanan, Sriram.; SpringerLink (Online service); Niemetz, Aina.
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
by:
Sankaranarayanan, Sriram.; SpringerLink (Online service); Vicario, Enrico.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part I /
by:
Shankaranarayanan, Krishna.; Trivedi, Ashutosh.; Sankaranarayanan, Sriram.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Automated technology for verification and analysis = 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings.. Part I /
by:
Sankaranarayanan, Sriram.; Akshay, S.; SpringerLink (Online service); Niemetz, Aina.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Verification, model checking, and abstract interpretation = 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.. Part II /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Shankaranarayanan, Krishna.; Sankaranarayanan, Sriram.; Trivedi, Ashutosh.
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer logic.
Automatic theorem proving
Software engineering.
Logic in AI.
Theory of Computation.
Computers.
Mathematics of Computing.
Computer Science.
Computer Hardware.
System analysis
Computer programs
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Computer Engineering and Networks.
Temporal automata
Application software.
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer Applications.
Computer simulation