| Using TLA+ in the development of a safety-critical fault-tolerant middleware S Resch, M Paulitsch 2017 IEEE International Symposium on Software Reliability Engineering …, 2017 | 27 | 2017 |
| RT-cloud: Virtualization technologies and cloud computing for railway use-case G Gala, G Fohler, P Tummeltshammer, S Resch, R Hametner 2021 IEEE 24th International Symposium on Real-Time Distributed Computing …, 2021 | 25 | 2021 |
| Software composability and mixed criticality for triple modular redundant architectures S Resch, A Steininger, C Scherrer SAFECOMP 2013-Workshop SASSUR (Next Generation of System Assurance …, 2013 | 12 | 2013 |
| A composable real-time architecture for replicated railway applications S Resch, A Steininger, C Scherrer Journal of Systems Architecture 61 (9), 472-485, 2015 | 4 | 2015 |
| A Platform Approach for Fusing Safety and Security on a Solid Foundation. R Hametner, S Resch MILS@ DSN, 2018 | 3 | 2018 |
| Communication in Train Control H Kantz, S Resch, C Scherrer Industrial Communication Technology Handbook, Second Edition, 2014 | 3 | 2014 |
| Exploring hardware software partitioning on the example of a fingerprint verification system S Hepp, G Klima, A Kadlec, L Krammer, W Luckner, D Prokesch, S Resch, ... na, 2008 | 1 | 2008 |
| Analysis of Safety-Critical Communication Protocols for On-Premise SIL4 Cloud in Railways B Rother, F Golatowski, Z Ansar, D Kuzhiyelil, S Resch, R Hametner, ... International Conference on Reliability, Safety, and Security of Railway …, 2022 | | 2022 |
| Analysis of Safety-Critical Communication Protocols for On-Premise SIL4 Cloud in Railways S Resch, R Hametner, P Pathak Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2022 | | 2022 |
| Composability for fail-safe safety-critical systems S Resch Technische Universität Wien, 2014 | | 2014 |
| Hardware description with timing requirements S Resch | | 2011 |
