ICARE 2013, 5th IBM Collaborative Academia Research Exchange
(I-CARE) Conference, New Delhi, October 17-19, 2013.
SEUS 2013, 9th
Workshop on Software Technologies for Embedded & Ubiquitous
Systems, Paderborn, Germany June 17-18, 2013.
ATVA 2012, Tenth International Symposium on Automated
Technology for Verification and Analysis, Thiruvananthapuram
(Trivandrum), India, 3-6 October 2012.
EMSOFT 2012, 12th International Conference on Embedded Software,
Tampere, Finland, 7-12 October 2012.
11th International Conference on Embedded Software, Taipei,
Taiwan, 9 - 14 October 2011.
ICDCIT 2011, 7th International Conference on Distributed
Computing and Internet Technologies, Bhubaneswar,
9-12 February 2011.
RTAS 2010, Work-in-Progress Session,16th IEEE Real-Time and
Embedded Technology and Applications Symposium (RTAS),
Stockholm, Sweden, 12-15 April 2010.
RTCSA 2007,13th IEEE International Conference on Embedded
and Real-Time Computing Systems and Applications, Daegu, Korea,
21-24 August 2007.
SEFM 2006, Fourth IEEE Conference on Software Engineering and
Formal Methods (SEFM 2006) Pune, India, 11-15 September 2006.
Formal Methods Update 2006:IIT Guwahati, 3-6 July, 2006.
FTRTFT 2000, Formal Techniques in Real-Time and Fault-Tolerant
Systems, 6th International Symposium, Pune, India, 20-22