Emanuel Regnath
TitleCited byYear
LeapChain: Efficient Blockchain Verification for Embedded IoT
E Regnath, S Steinhorst
Proceedings of the International Conference on Computer-Aided Design, 74, 2018
Smart2: Smart charging for smart phones
A Pröbstl, P Kindt, E Regnath, S Chakraborty
2015 IEEE 21st International Conference on Embedded and Real-Time Computing …, 2015
SmaCoNat: Smart contracts in natural language
E Regnath, S Steinhorst
2018 Forum on Specification & Design Languages (FDL), 5-16, 2018
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014
M Becker, E Regnath, S Chakraborty
International Conference on Computer Safety, Reliability, and Security, 105-116, 2017
CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management
E Regnath, S Steinhorst
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 426-431, 2019
Secure Decentralization of IoT Architectures via Blockchain
E Regnath
Blockchain in Cyber-Physical Systems
E Regnath
The system can't perform the operation now. Try again later.
Articles 1–7