Prakash Chandrasekaran

According to our database, Prakash Chandrasekaran authored at least 6 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Process Patterns: Reusable Design Artifacts for Business Process Models.

Muhammad Ashad Kabir, Zhenchang Xing, Prakash Chandrasekaran, Shang-Wei Lin

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2014

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

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2013

Applying software engineering practices for development of industrial automation applications.

Raoul Jetley, Anil R. Nair, Prakash Chandrasekaran, Alpana Dubey

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2009

Specifying Interacting Components with Coordinated Concurrent Scenarios.

Prakash Chandrasekaran, Madhavan Mukund

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2007

Programming asynchronous layers with CLARITY.

Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

2006

Matching Scenarios with Timing Constraints.

Prakash Chandrasekaran, Madhavan Mukund

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006