| 2020 | ISNCC | Construction Safety Surveillance Using Machine Learning. | Ruksin Kamal, Ajai John Chemmanam, Bijoy Antony Jose, Sunil Mathews, Eldho Varghese |
| 2011 | MEMOCODE | SMT based false causal loop detection during code synthesis from Polychronous specifications. | Bijoy Antony Jose, Abdoulaye Gamati, Julien Ouy, Sandeep K. Shukla |
| 2010 | ASPDAC | An alternative polychronous model and synthesis methodology for model-driven embedded software. | Bijoy Antony Jose, Sandeep K. Shukla |
| 2010 | ASPDAC | SCGPSim: a fast SystemC simulator on GPUs. | Mahesh Nanjundappa, Hiren D. Patel, Bijoy Antony Jose, Sandeep K. Shukla |
| 2009 | FDL | EmCodeSyn: A visual framework for multi-rate data flow specifications and code synthesis for embedded applications. | Bijoy Antony Jose, Jason Pribble, Lemaire Stewart, Sandeep K. Shukla |
| 2008 | FDL | Formal Transformation of a KPN Specification to a GALS Implementation. | Syed Suhaib, Bijoy Antony Jose, Sandeep K. Shukla, Deepak Mathaikutty |
| 2008 | MEMOCODE | On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. | Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin |