Publications

Shows publications by members of the Embedded Systems group.

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

Conference Papers

D. Öhlinger, J. Maier, M Függer, U. Schmid: The Involution Tool for Accurate Digital Timingand Power Analysis
2019 IEEE 29th International Symposium onPower and Timing Modeling, Optimization and Simulation (PATMOS 2019), Rhodos; in: 2019 IEEE 29thInternational Symposium onPower and Timing Modeling, Optimization and Simulation (PATMOS 2019), 2019, ISBN: 978-1-7281-2103-1, p. 1 - 8
bib details doi

J. Maier, M Függer, T. Nowak, U. Schmid: Transistor-Level Analysis of Dynamic Delay Models
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; in: 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, ISBN: 978-1-5386-4747-9, p. 76 - 85
bib details doi

J. Maier, A. Steininger: Efficient Metastability Characterization for Schmitt-Triggers
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; in: 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, ISBN: 978-1-5386-4747-9, p. 124 - 133
bib details doi

T. Nowak, U. Schmid, K. Winkler: Topological Characterization of Consensus under General Message Adversaries
38th ACM Symposium on Principles of Distributed Computing (PODC'19), Toronto, Canada; in: PODC'19 Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, New York, NY, USA (2019), ISBN: 978-1-4503-6217-7, p. 218 - 227
bib details doi

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

more...

Presentations

D. Öhlinger, J. Maier, M Függer, U. Schmid: The Involution Tool for Accurate Digital Timingand Power Analysis
2019 IEEE 29th International Symposium onPower and Timing Modeling, Optimization and Simulation (PATMOS 2019), Rhodos; in: 2019 IEEE 29thInternational Symposium onPower and Timing Modeling, Optimization and Simulation (PATMOS 2019), 2019, ISBN: 978-1-7281-2103-1, p. 1 - 8
bib details doi

P. Paulweber, J. Maier, J. Cortadella: Unified (A)Synchronous Circuit Development
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan
bib details

J. Maier, M Függer, T. Nowak, U. Schmid: Transistor-Level Analysis of Dynamic Delay Models
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; in: 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, ISBN: 978-1-5386-4747-9, p. 76 - 85
bib details doi

J. Maier, A. Steininger: Efficient Metastability Characterization for Schmitt-Triggers
25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; in: 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), 2019, ISBN: 978-1-5386-4747-9, p. 124 - 133
bib details doi

T. Nowak, U. Schmid, K. Winkler: Topological Characterization of Consensus under General Message Adversaries
38th ACM Symposium on Principles of Distributed Computing (PODC'19), Toronto, Canada; in: PODC'19 Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, ACM, New York, NY, USA (2019), ISBN: 978-1-4503-6217-7, p. 218 - 227
bib details doi

more...

Journal Papers

K. Winkler, U. Schmid: An Overview of Recent Results for Consensus in Directed Dynamic Networks
Bulletin of the EATCS, 128 (2019); 30 pages
bib details

K. Winkler, M. Schwarz, U. Schmid: Consensus in rooted dynamic networks with short-lived stability
Distributed Computing, 32 (2019), p. 443 - 458
bib details doi

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

more...

Books

R. Kuznets: Through an Inference Rule, Darkly
Mathesis Universalis, Computability and Proof, S. Centrone, S. Negri, D. Sarikaya, P. Schuster (ed.); Springer International Publishing, Cham, 2019, ISBN: 978-3-030-20446-4, p. 131 - 158
bib details doi pdf

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

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

more...

Reports, Miscellaneous

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 (invited): Extrapolating Interpolation
Proof Theory in Logic workshop, Utrecht
bib details

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

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

Older Publications

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