Publications

Shows publications by members of the Embedded Systems group.

Currently giving an overview of all categories - show all...

Journal Papers

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

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

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

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

more...

Conference Papers

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

more...

Books

S. Pagani, J. Chen, M. Shafique, J. Henkel: Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Springer International Publishing, Switzerland, 2018, ISBN: 978-3-319-77478-7; 250 pages
bib details doi

K. Khdr, S. Pagani, M. Shafique, J. Henkel: Dark Silicon Aware Resource Management for Many-Core Systems
Dark Silicon and Future On-chip Systems, Elsevier, United States, 110 (2018), ISBN: 978-0-12-815358-1, p. 127 - 170
bib details doi

S. Pagani, M. Shafique, J. Henkel: Design Space Exploration and Run-Time Adaptation for Multicore Resource Management Under Performance and Power Constraints
Handbook of Hardware/Software Codesign, Springer Science+Business Media, Dordrecht, 2017, ISBN: 978-94-017-7267-9, p. 301 - 332
bib details doi

S. Pagani, K. Khdr, J. Chen, M. Shafique, M. Li, J. Henkel: Thermal Safe Power : Efficient Thermal-Aware Power Budgeting for Manycore Systems in Dark Silicon
The Dark Side of Silicon - Energy Efficient Computing in the Dark Silicon Era, Springer International Publishing, Switzerland, 2017, ISBN: 978-3-319-31596-6, p. 125 - 158
bib details doi

H. Bokhari, M. Shafique, J. Henkel, S. Parameswaran: Adroit Use of Dark Silicon for Power, Performance and Reliability Optimisation of NoCs
The Dark Side of Silicon - Energy Efficient Computing in the Dark Silicon Era, Springer International Publishing, Switzerland, 2017, ISBN: 978-3-319-31596-6, p. 291 - 325
bib details doi

more...

Editorials

D. Zhu, M. Shafique, M. Lin, S. Pasricha: Guest Editorial: Special Issue on Low-Power Dependable Computing
IEEE Transactions on Sustainable Computing, 3 (2018), p. 137 - 138
bib details doi

U. Schmid, J. Widder: Proceedings 32nd International Symposium on Distributed Computing
Dagstuhl Publishing LIPICS, 2018, ISBN: 978-3-95977-092-7; 736 pages
bib details doi pdf

M. Shafique, S. Garg, V. Chandra: Guest Editors´ Introduction: Computing in the Dark Silicon Era
Ieee Design & Test, 34 (2017); 3 pages
bib details doi

A. Steininger, A. Pawlak, V. Stopjakova: Novel Trends in Design & Test
Journal of Circuits, Systems, and Computers, 26 (2017); 80 pages
bib details doi

B. Charron-Bost, S. Dolev, J. Ebergen, U. Schmid: Fault-Tolerant Distributed Algorithms on VLSI Chips
Dagstuhl Seminar Proceedings, series editors: B. Charron-Bost, S. Dolev, U. Schmid, issued by: Leibniz Zentrum Informatik, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009, ISSN: 1862-4405
bib details

Theses

F. Beck: People tracking using particle filters and an advanced human motion model on mobile robots (Master's Thesis)
reviewers: J. Blieberger, M. Bader; Institute of Computer Engineering, 2018; oral examination: 2018-04-11
bib details

M. Schwarz: Agreement Algorithms in Directed Dynamic Networks (PhD Thesis)
reviewers: U. Schmid, E. Godard; Institut für Computer Engineering, 2018; oral examination: 2018-06-15
bib details pdf

P. Fimml: Temporal-Epistemic Logic in Byzantine Message-Passing Contexts (Master's Thesis)
reviewer: U. Schmid; Institut für Computer Engineering, 2018; oral examination: 2018-01-08
bib details pdf

D. Pfleger: Knowledge and Communication Complexity in Distributed Systems (Master's Thesis)
reviewer: U. Schmid; Institut für Computer Engineering, 2018; oral examination: 2018-04-11
bib details pdf

F. Huemer: Protecting 4-Phase Delay-Insensitive Communication Against Transient Faults (Master's Thesis)
reviewer: A. Steininger; Technische Informatik, 2017; oral examination: 2017-02-20
bib details

more...

Presentations

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

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

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

more...

Reports, Miscellaneous

A. Kinali, C. Lenzen, M. Perner: Fault-tolerant High-Performance Clock Distribution
TUW-278925, 2019
bib details 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

R. Kuznets (invited): Interpolation using sequents and their generalisations
PhDs in Logic X, Prague
bib details

more...

Older Publications

Older and additional publications may be found on an external server at http://www.vmars.tuwien.ac.at/papers/papers.html.