Srivatsan Varadarajan
According to our database1,
Srivatsan Varadarajan
authored at least 18 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., 2024
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024
2023
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
2022
Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2018
J. Aerosp. Inf. Syst., November, 2018
2017
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems Workshops, 2017
2009
Proceedings of The Eighth IEEE International Symposium on Networking Computing and Applications, 2009
2006
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006
2004
Clust. Comput., 2004
2003
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003
2002
Error spreading: a perception-driven approach to handling error in continuous media streaming.
IEEE/ACM Trans. Netw., 2002
2000
Proceedings of the 20th International Conference on Distributed Computing Systems, 2000
1999
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999
1998
Proceedings of the 1998 International Workshop on Multimedia Software Engineering, 1998