Matching Scenarios with Timing Constraints. - Prakash Chandrasekaran; Madhavan Mukund (FORMATS, 2006)

Programming asynchronous layers with CLARITY. - Prakash Chandrasekaran; Christopher L. Conway; Joseph M. Joy; Sriram K. Rajamani (ESEC/SIGSOFT FSE, 2007)

Specifying Interacting Components with Coordinated Concurrent Scenarios. - Prakash Chandrasekaran; Madhavan Mukund (SEFM, 2009)

Applying software engineering practices for development of industrial automation applications. - Raoul Jetley; Anil R. Nair; Prakash Chandrasekaran; Alpana Dubey (INDIN, 2013)

A multi-core version of FreeRTOS verified for datarace and deadlock freedom. - Prakash Chandrasekaran; Kavum Muriyil Balachandran Shibu Kumar; Remish L. Minz; Deepak D'Souza; Lomesh Meshram (MEMOCODE, 2014)

Process Patterns: Reusable Design Artifacts for Business Process Models. - Muhammad Ashad Kabir; Zhenchang Xing; Prakash Chandrasekaran; Shang-Wei Lin 001 (COMPSAC (1), 2017)