Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Avinash Palliyil
conf.researchr.org general profile
ASE 2026 profile
ICSE 2025 profile
Not registered as user
Name:
Avinash Palliyil
Affiliation:
Georgia Institute of Technology
Contributions
2026
ASE
Author of Visual Consistency in Formal Modeling: An Empirical Evaluation within the Journal First-track
2025
ICSE
Author of Improving Formal Methods Visualizations within the SRC - ACM Student Research Competition-track
Share
x
Thu 15 Oct 12:53