Publications

Shows publications by members of the Embedded Systems group.

Currently viewing all publications chronologically - back to overwiew...

R. Kuznets, T. Studer: Logics of Proofs and Justifications
College Publications, London, 2019, ISBN: 978-1-84890-168-1; 246 pages
bib details

F. Huemer, A. Steininger: Novel Approaches for Efficient Delay-Insensitive Communication
Journal of Low Power Electronics and Applications, 9 (2019); 41 pages
bib details doi

A. Kinali, C. Lenzen, M. Perner: Fault-tolerant High-Performance Clock Distribution
TUW-278925, 2019
bib details pdf

D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci: A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems
IEEE Access, 7 (2019); 24 pages
bib details doi pdf

L. Prosperi, R. Kuznets, U. Schmid, K. Fruzsa, L. Gréaux: Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone
Institut für Technische Informatik, TUW-260549, 2019
bib details pdf

D. Öhlinger: Involution Tool
TUW-278633, 2018
bib details pdf

U. Schmid: FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits
TUW-278607, 2018
bib details pdf

H. Mohammed, J. Howell, S. R. Hasan, N. Guo, F. Khalid, O. Elkeelany: Hardware Trojan Based Security Issues in Home Area Network: a Testbed Setup
Midwest Symposium on Circuits and Systems, Windsor, Canada; in: International Midwest Symposium on Circuits and Systems, IEEE, Windsor, canada (2018), p. 1 - 4
bib details

F. Khalid, S. R. Hasan, O. Hasan, F. Awwad: Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification
Integration the VLSI journal, 61 (2018), p. 62 - 76
bib details doi

S. Iqbal, S. Sardar, F. Khalid, O. Hasan: Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management
International Journal of Disaster Risk Reduction, 31 (2018), p. 1043 - 1053
bib details doi

F. Huemer, T. Polzer, A. Steininger: Using a Duplex Time-to-Digital Converter for Metastability Characterization of an FPGA
2018 IEEE 21st International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), IEEE Xplore Digital Library, 2018, ISBN: 978-1-5386-5754-6, p. 141 - 146
bib details doi

M. Schütz, A. Steininger, F. Huemer, J. Lechner: State Recovery for Coarse-Grain TMR Designs in FPGAs Using Partial Reconfiguration
2018 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), IEEE Xplore Digital Library, 2018, ISBN: 978-1-5386-8398-9; 6 pages
bib details doi

F. Huemer, A. Steininger: Advanced Delay-Insensitive 4-Phase Protocols
2018 Austrochip Workshop on Microelectronics (Austrochip), IEEE Xplore Digital Library, 2018, ISBN: 978-1-5386-8200-5, p. 50 - 55
bib details doi

F. Huemer, A. Steininger: Partially Systematic Constant-Weight Codes for Delay-Insensitive Communication
2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), IEEE Xplore Digital Library, 2018, ISBN: 978-1-5386-5883-3, p. 17 - 25
bib details doi

C. Dragoi, M. Lazić, J. Widder (invited): Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto
Sinteza 2018 International Scientific Conference on Information Technology and Data Related Research, Belgrad, Serbien; in: Sinteza 2018 International Scientific Conference on Information Technology and Data Related Research, Singidunum University, 15 (2018), p. 131 - 138
bib details doi pdf

J. Kukovec, I. Konnov, J. Widder: Reachability in Parameterized Systems: All Flavors of Threshold Automata
International Conference on Concurrency Theory (CONCUR), Bejing, China; in: 29th International Conference on Concurrency Theory (CONCUR 2018), Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 118 (2018), ISBN: 978-3-95977-087-3, p. 19:1 - 19:17
bib details doi pdf

K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid: Automated Competitive Analysis of Real-time Scheduling with Graph Games
Real-Time Systems, 54 (2018), p. 166 - 207
bib details doi

M Függer, T. Nowak, M. Schwarz: Tight Bounds for Asymptotic and Approximate Consensus
37th ACM Symposium on Principles of Distributed Computing (PODC'18), Royal Holloway, University of London, Egham, United Kingdom; in: Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing (PODC '18), ACM, 2018, ISBN: 978-1-4503-5795-1, p. 325 - 334
bib details doi

M Függer, A. Kinali, C. Lenzen, B. Wiederhake: Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance
24th IEEE International Symposium on Asynchronous Circuits and Systems, Wien; in: 24th IEEE International Symposium on Asynchronous Circuits and Systems, Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018, p. 68 - 77
bib details doi

S. Friedrichs, M Függer, C. Lenzen: Metastability-Containing Circuits
IEEE Transactions on Computers, 67 (2018), p. 1167 - 1183
bib details doi pdf

<<   < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 >   >>