Results for Safety engineering

Publications & Outputs

1. The Monkey, the Ant, and the Elephant: Addressing Safety in Smart Spaces

   Helal, S., 7/05/2020, In: Computer. 53, 5, p. 73-76 4 p.

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

2. Towards DDoS attack resilient wide area monitoring systems

   Demir, K. & Suri, N., 29/08/2017, ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security. ACM, 7 p. 99

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

3. A security architecture for railway signalling

   Schlehuber, C., Heinrich, M., Vateva-Gurova, T., Katzenbeisser, S., Suri, N., Bitsch, F. (ed.), Tonetta, S. (ed.) & Schoitsch, E. (ed.), 17/08/2017, Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Springer-Verlag, Vol. 10488 LNCS. p. 320-328 9 p.

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

4. 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

5. Non-stationary estimation of joint design criteria with a multivariate conditional extremes approach

   Raghupathi, L., Randell, D., Ewans, K. & Jonathan, P., 19/06/2016, ASME 2016 35th International Conference on Ocean, Offshore and Arctic Engineering : Volume 3: Structures, Safety and Reliability. ASME, Vol. 3. 15 p. V003T02A048

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

6. Practical use of formal verification for safety critical cyber-physical systems: A case study

   Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 25/08/2014, 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications. IEEE, p. 7-12 6 p.

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

7. Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications

   Sakurai, K., Bokor, P. & Suri, N., 3/12/2008, 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, p. 261-270 10 p.

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

8. Model-based development of distributed embedded real-time systems with the DECOS tool-chain

   Herzner, W., Schlick, R., Schlager, M., Leiner, B., Huber, B., Balogh, A., Csertan, G., Leguennec, A., Lesergent, T., Suri, N. & Islam, S., 2007, SAE International, (SAE Techni. Paper.).

   Research output: Working paper › Other

9. A control theory approach for analyzing the effects of data errors in safety-critical control systems

   Askerdal, O., Gäfvert, M., Hiller, M. & Suri, N., 16/12/2002, Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. IEEE, p. 105-114 10 p.

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