Suivre
Prakash Chandrasekaran
Prakash Chandrasekaran
Rolls-Royce @ NTU Corporate Lab
Adresse e-mail validée de cmi.ac.in - Page d'accueil
Titre
Citée par
Citée par
Année
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
262007
Matching scenarios with timing constraints
P Chandrasekaran, M Mukund
International Conference on Formal Modeling and Analysis of Timed Systems …, 2006
212006
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
172013
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
102014
Specifying interacting components with coordinated concurrent scenarios
P Chandrasekaran, M Mukund
2009 Seventh IEEE International Conference on Software Engineering and …, 2009
22009
Adding Time to Scenarios
P Chandrasekaran, M Mukund
Next Generation Design and Verification Methodologies for Distributed …, 2007
12007
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
External referees
L Acciai, T Aoki, E Bartocci, M ter Beek, N Belala, MR Di Berardini, ...
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–10