Publications

  • K. Somappa, A. A., Simonsen., K. I .F, " Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks", in Proceedings of the International Workshop on Petri Nets and Software Engineering, 2016 (Accepted).(pdf)
  • K. Somappa, A. A., Ovsthus, K., & Kristensen, L., "Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks ", in Proceedings of the 7th International Conference on Ambient Systems, Networks and Technologies, 83, pp. 329-336, 2016.(pdf)(Publication)
  • K. Somappa, A. A., Prinz, A., & Kristensen, L., "Model-Based Verification of the DMAMAC Protocol for Real-time Process Control",in Proceedings of the 9th International Workshop on Verification and Evaluation of Computer and Communication Systems , VECoS, 2015.(pdf) (Publication)
  • K. Somappa, A. A., Kristensen, L., & Ovsthus, K., "Simulation-based Evaluation of DMAMAC - A Dual-Mode Adaptive MAC Protocol for Process Control", in Proceedings of the 8th International Conference on Simulation Tools and Tenchniques, 2015.(pdf) (Publication)
  • K. Somappa, A. A., Ovsthus, K., & Kristensen, L., "Towards a Dual-Mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems", in Proceedings of the 2nd International Workshop on Communications and Sensor Networks (ComSense), Procedia Computer Science, 34, pp. 505-510, 2014.(pdf) (Publication)
  • K. Somappa, A. A., Simonsen., K. I .F, "Towards a Model-Based Development Approach for Wireless Sensor-Actuator Network Protocols", Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems ( CyPhy'14) , pp. 35-39, 2014.(pdf) (Publication)
  • K. Somappa, A. A., Ovsthus, K., & Kristensen, L., "An Industrial Perspective on Wireless Sensor Networks – A Survey of Requirements, Protocols and Challenges", IEEE Communications Surveys and Tutorials, 16, pp. 1391-1412, 2014.(pdf) (Publication)
  • K. Somappa, A. A., Kristensen, L., & Ovsthus, K., "A Formal Executable Specification of the GinMAC Protocol for Wireless Sensor Actuator Networks", in Proceedings of the International Symposium on Wireless Pervasive Computing (ISWPC), pp. 1-7, 2013. (pdf) (Publication)
  • Lele, A., Kumar, A., Rohith, H. M., & Singh, S., "Exact schedulability analysis of global multi-processor IUF scheduling using symbolic model checking", In Proceedings of theInternational Conference on Industrial and Information Systems (ICIIS),  pp. 281-285, IEEE, 2010, July. (pdf) (Publication)

(Last Updated May-13-2016)

Other reports

  • Ajith Kumar, "Adding Schedulability Analysis to the Octopus toolset," Master thesis Report, Embedded Systems Institute, Technical University of Eindhoven and Manipal University. (pdf)

(Last Updated May-13-2015)