Publications

Shows publications by members of the Embedded Systems group.

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

H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum: A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
Institut für Computer Engineering E191-02, TUW-281149, 2019
bib details pdf

R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa: Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
TARK 2019: Theoretical Aspects of Rationality and Knowledge, Toulouse, France; in: Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019), L. Moss (ed.); Electronic Proceedings in Theoretical Computer Science, 297 (2019), ISSN: 2075-2180, p. 293 - 312
bib details doi pdf

R. Kuznets (invited): Extrapolating Interpolation
Proof Theory in Logic workshop, Utrecht
bib details

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

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