Conference paper

P. Tallapragada, J. Cortes
Proceedings of the IEEE Conference on Decision and Control, Los Angeles, California, USA, 2014, to appear

paper and matlab programs

This paper describes a systematic approach for analyzing code reuse attacks and defenses. It was presented at RAID'13 Symposium and published in Lecture Notes in Computer Science (LNCS) Volume 8145.

State-of-the-art debugging techniques for equation-based languages follow a low-level approach to interface users
with the complex interactions between equations and algorithms that describe cyber-physical processes. Although
these techniques are useful for understanding the low-level behaviors, they do not provide the means for creating a
system-level understanding that is often necessary during the early concept product design phase. In this paper, we
present a novel debugging technique for equation-based languages based on a high-level approach to facilitate

Ayan Banerjee and Sandeep Gupta, "Tackling New Frontiers in Modeling and Analysis of Cyber-Physical Systems." Proceedings of the First Workshop on Cyber-Physical Systems Education (CPS-Ed 2013) at Cyber Physical Systems Week (CPSWeek 2013), Philadelphia, Pennsylvania, USA, April 2013. Available: http://cps-vo.org/group/edu/workshop/proceedings2013.

Peter Marwedel, Wolfgang Rhode and Katharina Morik, "The TU Dortmund Cyber-Physical Systems Program: A Step Towards Multi-Disciplinary Education." Proceedings of the First Workshop on Cyber-Physical Systems Education (CPS-Ed 2013) at Cyber Physical Systems Week (CPSWeek 2013), Philadelphia, Pennsylvania, USA, April 2013. Available: http://cps-vo.org/group/edu/workshop/proceedings2013.