Talks

  • Trigger Memoization in Self-Triggered Control
          - International Conference on Embedded Software (EMSOFT 2012), Tempere, Finland, October 9-14, 2012

  • Synthesis of Minimal Error Control Software
          - International Conference on Embedded Software (EMSOFT 2012), Tempere, Finland, October 9-14, 2012

  • Automatic Dimensional Analysis of Cyber-Physical Systems
          - Formal Methods Europe (FM 2012), Paris, France, August 29, 2012

  • ModelRob: A Simulink Library for Model-Based Development of Robot Manipulators
          - International Conference on Robotics and Automation (ICRA 2012), St. Paul, Minnesota, USA, May 16, 2012
          - Fortiss, Munich, Germany, June 12, 2012

  • Performance-Aware Scheduler Synthesis for Control Systems
          - International Conference on Embedded Software (EMSOFT 2012), Taipei, Taiwan, October 12, 2011
          - GM India Science Lab, Bangalore, India, November 2, 2011
          - Fortiss, Munich, Germany, June 11, 2012

  • Automatic Verification of Control System Implementations
          - International Conference on Embedded Software (EMSOFT 2011), Scottsdale, USA, October 25, 2010
          - Computing, Informatics and Decision Systems Engineering Department, Arizona State University, Tempe, USA, October 29, 2010
          - In the Meeting of IFIP Working Group 2.3 at SRI International, Menlo Park, CA, USA, June, 2011.
          - GM India Science Lab, Bangalore, India, November 2, 2011

  • Symbolic Robustness Analysis
          - 30th IEEE Real-Time Systems Symposium (RTSS 2009), Washington DC, USA, December 4, 2009

  • Quantitative Analysis of a Probabilistic Non-Repudiation Protocol through Model Checking
          - 5th International Conference on Information Systems Security (ICISS 2009), Kolkata, India, December 18, 2009

  • A Reinforcement Model for Collaborative Security and its Formal Analysis
          - New Security Paradigm Workshop (NSPW2009), Oxford, UK, September 10, 2009

  • Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar
          - 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), London, UK, September 13, 2007

  • A Finite State Analysis of Time-triggered CAN (TTCAN) Protocol using Spin
          - the International Conference on Computing: Theory and Application (ICCTA 2007),Kolkata, India, March 5, 2007

  • Distributed Fault Tolerant Topology Control in Static and Mobile Wireless Ad-hoc Networks
          - 2nd International Conference on Communication System Software and Middleware (COMSWARE 2007), Bangalore, India, January 12, 2007

  • Location Verification Based Defense against Sybil Attack in Sensor Networks
          - 8th International Conference on Distributed Computing and Networking (ICDCN 2006), Guwahati, India, December 30, 2006

  • Distributed Fault Tolerant Topology Control in Wireless Ad-hoc Sensor Networks
          - 3rd International Conference on Wireless and Optical Communication Networks (WOCN 2006),Bangalore, India, April 11, 2006