Sotabase

Career

· Bachelor, Technische Universität Wien2003–
· Researcher, Carnegie Mellon University
· Research Coordinator, Hitachi Rail
· TU Vienna
· Researcher, University of Vienna

Publications (21)

Time-Multiplexed Multiple-Constant Multiplication
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2007
83
cited
RT-Cloud: Virtualization Technologies and Cloud Computing for Railway Use-Case
IEEE International Symposium on Real-Time Distributed Computing · 2021
23
cited
Threat Modeling in the Railway Domain
International Conference on Reliability, Safety, and Security of Railway Systems · 2019
16
cited
Power supply induced common cause faults-experimental assessment of potential countermeasures
2009 IEEE/IFIP International Conference on Dependable Systems & Networks · 2009
12
cited
On the role of the power supply as an entry for common cause faults—An experimental analysis
2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems · 2009
11
cited
Using Formal Methods for Verification and Validation in Railway
TAP@STAF · 2016
10
cited
Formal Modelling Techniques for Efficient Development of Railway Control Products
International Conference on Reliability, Safety, and Security of Railway Systems · 2017
7
cited
Multiple constant multiplication by time-multiplexed mapping of addition chains
Proceedings - Design Automation Conference · 2004
6
cited
Recovery Mechanisms for Dual Core Architectures
2006 21st IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems · 2006
6
cited
The EMC2 Project on Embedded Microcontrollers: Technical Progress after Two Years
Euromicro Symposium on Digital Systems Design · 2016
4
cited
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3
IEEE International Conference on Engineering of Complex Computer Systems · 2019
3
cited
Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS
Industrial Cyber-Physical Systems · 2021
3
cited
Austrian Research, Development & Innovation Roadmap for Automated Vehicles
2016
2
cited
On the Risk of Fault Coupling over the Chip Substrate
2009 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools · 2009
2
cited
Regulative Baseline: Compositional Security Evaluation
2017
2
cited
Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture
Annual Conference of the IEEE Industrial Electronics Society · 2021
1
cited
Apparatus and method for troubleshooting in a least two execution units with registers having System
2005
Railground RSSRail models - iUML-B/Event-B
2017
Replicated processors on a single die – How independently do they fail?
Elektrotech. Informationstechnik · 2011
Systematic Verification and Testing
Validation and Verification of Automated Systems · 2019
Sotabase