Results for Model transformation

Publications & Outputs

1. Safety verification utilizing model-based development for safety critical cyber-physical systems

   Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 15/08/2017, In: Journal of Information Processing Systems. 25, p. 797-810 14 p.

   Research output: Contribution to Journal/Magazine › Journal article › peer-review

2. Practical Formal Verification for Model Based Development of Cyber-Physical Systems

   Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 24/08/2016, 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES). IEEE, p. 1-8 8 p.

   Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

3. An optimization based design for integrated dependable real-time embedded systems

   Islam, S., Suri, N., Balogh, A., Csertán, G. & Pataricza, A., 2009, In: Design Automation for Embedded Systems. 13, 4, p. 245-285 41 p.

   Research output: Contribution to Journal/Magazine › Journal article › peer-review