Conference Proceedings
W. Taha, Duracz, A., Zeng, Y., Atkinson, K., A.Bartha, F., Brauner, P., Duracz, J., Xu, F., Cartwright, R., Konecny, M., Moggi, E., Masood, J., Andreasson, P., Inoue, J., Santanna, A., Philippsen, R., Chapoutot, A., O'Malley, M. K., Ames, A., Gaspes, V., Hvatum, L., Mehta, S., Eriksson, H., and Grante, C.,
“Acumen: An open-source testbed for cyber-physical systems research”,
EAI International Conference on CYber physiCaL systems, iOt and sensors Networks. 2015.
cyclone15Taha.pdf (270.4 KB) A. Y. Zhu, Westbrook, E., Inoue, J., Chapoutot, A., Salama, C., Peralta, M., Martin, T., Taha, W., Cartwright, R., and O'Malley, M. K.,
“Mathematical Equations as Executable Models of Mechanical Systems”. 2010.
zhu2010ieee.pdf (508.87 KB)