Sudeep Kanav
Orcid: 0000-0001-6078-4175
According to our database1,
Sudeep Kanav
authored at least 14 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Fundamental Approaches to Software Engineering, 2022
2020
Replication Package (Virtual Machine) for Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'.
Dataset, May, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
2018
Proceedings of MODELS 2018 Workshops: ModComp, 2018
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018
2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2011