 | 2009 |
|---|
| 7 |       | Aditya Kanade,
Rajeev Alur,
Franjo Ivancic,
S. Ramesh,
Sriram Sankaranarayanan,
K. C. Shashidhar:
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.
CAV 2009: 430-445 |
| 6 | | Aditya Kanade,
Amitabha Sanyal,
Uday P. Khedker:
Validation of GCC optimizers through trace generation.
Softw., Pract. Exper. 39(6): 611-639 (2009) |
| 2008 |
|---|
| 5 | | Rajeev Alur,
Aditya Kanade,
Gera Weiss:
Ranking Automata and Games for Prioritized Requirements.
CAV 2008: 240-253 |
| 4 | | Rajeev Alur,
Aditya Kanade,
S. Ramesh,
K. C. Shashidhar:
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.
EMSOFT 2008: 89-98 |
| 2007 |
|---|
| 3 | | Aditya Kanade,
Amitabha Sanyal,
Uday P. Khedker:
Structuring Optimizing Transformations and Proving Them Sound.
Electr. Notes Theor. Comput. Sci. 176(3): 79-95 (2007) |
| 2006 |
|---|
| 2 | | Aditya Kanade,
Amitabha Sanyal,
Uday P. Khedker:
A PVS Based Framework for Validating Compiler Optimizations.
SEFM 2006: 108-117 |
| 2005 |
|---|
| 1 | | Aditya Kanade,
Uday P. Khedker,
Amitabha Sanyal:
Heterogeneous Fixed Points with Application to Points-To Analysis.
APLAS 2005: 298-314 |
