Name Card

Full name Familienname, Vorname
Sankaranarayanan, Sriram
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Deshmukh, Rupali Ganpat ; Donze, Alexandre ; Fainekos, Georgios ; Maler, Oded ; Nickovic, Dejan ; Sankaranarayanan, Sriram Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and ApplicationsBuchbeitrag Book Contribution 2018
2Ben Sassi, Mohamed Amin ; Bartocci, Ezio ; Sankaranarayanan, Sriram A Linear Programming-based Iterative Approach to Stabilizing Polynomial DynamicsKonferenzbeitrag Inproceedings2017

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Korovin, Konstantin ; Kovács, Laura ; Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei ALASCA: Reasoning in Quantified Linear ArithmeticInproceedings Konferenzbeitrag 2023