| SCGPSim: A fast SystemC simulator on GPUs M Nanjundappa, HD Patel, BA Jose, SK Shukla 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC), 149-154, 2010 | 78 | 2010 |
| Accelerating SystemC Simulations using GPUs M Nanjundappa, A Kaushik, HD Patel, SK Shukla IEEE International High Level Design Validation and Test Workshop (HLDVT …, 2012 | 56* | 2012 |
| Synthesizing Embedded Software with Safety Wrappers through Polyhedral Analysis in a Polychronous Framework M Nanjundappa, M Kracht, J Ouy, SK Shukla IEEE Electronic System Level Synthesis Conference 2012, 24-29, 2012 | 15 | 2012 |
| A new multi-threaded code synthesis methodology and tool for correct-by-construction synthesis from polychronous specifications M Nanjundappa, M Kracht, J Ouy, SK Shukla 2013 13th International Conference on Application of Concurrency to System …, 2013 | 9 | 2013 |
| Accelerating Hardware Simulation on Multi-cores M Nanjundappa Virginia Tech, 2010 | 5 | 2010 |
| Verification of unit and dimensional consistencies in polychronous specifications M Nanjundappa, SK Shukla Proceedings of the 2014 Forum on Specification and Design Languages (FDL …, 2014 | 3 | 2014 |
| Systems and methods for evaluating assessments YP Khoo, JF Kempf, K Bemalkhedkar, M Nanjundappa US Patent 11,314,225, 2022 | 1 | 2022 |
| Techniques and Tools for Trustworthy Composition of Pre-Designed Embedded Software Components SK Shukla, JR Ouy, M Nanjundappa, P Kumar, M Anderson, G Selvam, ... VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG, 2012 | 1 | 2012 |
| Observer for simulation test and verification M Nanjundappa, SMS Nejhum, V Raghavan, K Balasubramanian, ... US Patent 10,922,208, 2021 | | 2021 |
| Observer for simulation test and verification M Nanjundappa, SMS Nejhum, V Raghavan, K Balasubramanian, ... US Patent 10,684,936, 2020 | | 2020 |
| Industry Strength Tool and Technology for Automated Synthesis of Safety-Critical Applications from Formal Specifications SK Shukla, M Nanjundappa, M Anderson, A Dayal, M Kracht VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG, 2015 | | 2015 |
| Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models M Nanjundappa Virginia Polytechnic Institute and State University, 2015 | | 2015 |
| Compiling polychronous programs into conditional partial orders for ASIP synthesis M Nanjundappa, SK Shukla Proceedings of the 2nd FME Workshop on Formal Methods in Software …, 2014 | | 2014 |
| A Formal Approach to the Provably Correct Synthesis of Mission Critical Embedded Software for Multi Core Embedded Platforms S Shukla, M Nanjundappa, M Anderson, B Jose, M Kracht, J Ouy VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG, 2014 | | 2014 |
| Compiling Polychronous Programs into Conditional Partial Orders for ASIP Synthesis SK Shukla, M Nanjundappa | | |
Sandeep ShuklaProfessor of Computer Science and EngineeringVerified email at cse.iitk.ac.in
