Torin Viger
Orcid: 0009-0000-2611-8670
According to our database1,
Torin Viger
authored at least 18 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
1
1
5
3
2
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., January, 2024
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
AI-Supported Eliminative Argumentation: Practical Experience Generating Defeaters to Increase Confidence in Assurance Cases.
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024
2023
Softw. Syst. Model., October, 2023
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Proceedings of the Computer Safety, Reliability, and Security, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023
2022
Dataset, March, 2022
2021
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021
2020
Proceedings of the Computer Safety, Reliability, and Security, 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
2019
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019
Proceedings of the Fundamental Approaches to Software Engineering, 2019