I am now working as a post-doctoral researcher in LIST at CEA, Saclay, France.
-- 05/10/10 11:37:41 CEST.
Selected Publications:
Specifying Interacting Components with Coordinated Concurrent Scenarios with Madhavan Mukund Abstract|
PDF
(Tech Report : Conf. version submitted to SEFM)
Programming Asynchronous Layers with CLARITY with Christopher L. Conway, Joseph Joy, Sriram Rajamani Abstract|
PDF(FSE 2007)
Matching scenarios with timing constraints with Madhavan Mukund Abstract|
PDF(FORMATS 2006)