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
Mathematical logic.
Formal methods (Computer science)
Software engineering.
Theory of Computation.
Computer programs
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Application software.
Artificial Intelligence.
Computer Applications.
Computer simulation
Computers.
System analysis
Software Engineering.
Computer logic.
Automatic theorem proving
Logic in AI.
Mathematics of Computing.
Computer Science.
Computer Engineering and Networks.
Temporal automata
Special Purpose and Application-Based Systems.
Computer Hardware.
Computation by Abstract Devices.