Search results for: Sriram Sankaranarayanan
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking – II > 188-202
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 537-551
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 7: Applications > 317-334
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Short Papers > 654-657
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 184-198
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Numerical Abstraction > 25-41
Lecture Notes in Computer Science > Computer Aided Verification > Session VII: Concurrent Program Verification > 226-239
Lecture Notes in Computer Science > Embedded Software > Regular Papers > 323-339
Nonlinear Analysis: Hybrid Systems > 2016 > 19 > C > 107-133
2015 54th IEEE Conference on Decision and Control (CDC) > 4232 - 4239
Automated Software Engineering > 2015 > 22 > 4 > 517-559
53rd IEEE Conference on Decision and Control > 6348 - 6353