| Programming asynchronous layers with CLARITY P Chandrasekaran, CL Conway, JM Joy, SK Rajamani Proceedings of the the 6th joint meeting of the European software …, 2007 | 27 | 2007 |
| Matching scenarios with timing constraints P Chandrasekaran, M Mukund Formal Modeling and Analysis of Timed Systems: 4th International Conference …, 2006 | 23 | 2006 |
| Applying software engineering practices for development of industrial automation applications R Jetley, A Nair, P Chandrasekaran, A Dubey 2013 11th IEEE International Conference on Industrial Informatics (INDIN …, 2013 | 20 | 2013 |
| A multi-core version of FreeRTOS verified for datarace and deadlock freedom P Chandrasekaran, KBS Kumar, RL Minz, D D'Souza, L Meshram 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014 | 12 | 2014 |
| Specifying interacting components with coordinated concurrent scenarios P Chandrasekaran, M Mukund 2009 Seventh IEEE International Conference on Software Engineering and …, 2009 | 2 | 2009 |
| Adding Time to Scenarios P Chandrasekaran, M Mukund Next Generation Design and Verification Methodologies for Distributed …, 2007 | 1 | 2007 |
| Design and Programming of Asynchronous Concurrent Systems P Chandrasekaran Chennai Mathematical Institute, 2009 | | 2009 |
| Verifiable Design of Asynchronous Software P Chandrasekaran, CL Conway, JM Joy, SK Rajamani Next Generation Design and Verification Methodologies for Distributed …, 2007 | | 2007 |
| Design and Specification of Concurrent System Components P Chandrasekaran | | |
Raoul JetleyABB Corporate ResearchAdresse e-mail validée de alumni.ncsu.edu
