Ganesha

According to our database¹, Ganesha authored at least 2 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Safeguarding Controller Variables from SEUs using Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

2022

Simulink to NuSMV Model Translation Challenges.

[BibT_eX]

[DOI]

Proceedings of the ISEC 2022: 15th Innovations in Software Engineering Conference, Gandhinagar, India, February 24, 2022