- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 8 |      | Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam: Representation dependence testing using program inversion. SIGSOFT FSE 2010: 277-286 |
| 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 |
| 1 | Rajeev Alur | [4] [5] [7] [8] |
| 2 | Franjo Ivancic | [7] |
| 3 | Uday P. Khedker | [1] [2] [3] [6] |
| 4 | Sriram K. Rajamani | [8] |
| 5 | G. Ramalingam (Ganesan Ramalingam) | [8] |
| 6 | S. Ramesh (Sethu Ramesh) | [4] [7] |
| 7 | Sriram Sankaranarayanan | [7] |
| 8 | Amitabha Sanyal | [1] [2] [3] [6] |
| 9 | K. C. Shashidhar | [4] [7] |
| 10 | Gera Weiss | [5] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page