Embedded Computing Systems E191-02

A Research Unit of The Institute of Computer Engineering

The scope of our research and teaching activities at the Embedded Computing Systems unit ranges from dependable and power-efficient digital circuits to future generation computer architectures to networked embedded systems and fault-tolerant distributed systems in general.

Research Unit Embedded Computing Systems

Contact

Head: Ulrich Schmid
Web: informatics.tuwien.ac.at/orgs/e191-02
Location: Treitlstrasse 3

About

Nonwithstanding a clear focus on scientific research, the spectrum of our work ranges from formal-mathematical analysis to simulation-based experimental evaluation to prototype implementations. With respect to teaching, the ECS group is primarily responsible for related courses in the Bachelor’s and Master’s programs Technische Informatik (Computer Engineering).

The research Unit Embedded Computing Systems is part of the Institute of Computer Engineering.

Professors

Ulrich Schmid U. Schmid

Head of Research Unit
Univ.Prof. DI Dr.

Andreas Steininger A. Steininger

Associate Professor
Ao.Univ.Prof. DI Dr.

Scientific Staff

Administrative Staff

Student Staff

Daniel Öhlinger D. Öhlinger

Student Staff
BSc

External Lecturers

Manfred Siegl M. Siegl

Lecturer
DI Dr.

Courses

2021W

Advanced Digital Design / 182.754 / LU
Advanced Digital Design / 182.755 / VU
Bachelor Thesis for Computer Science and Business Informatics / 182.698 / PR
Computer Engineering Practical / 182.699 / PR
Computer Engineering Project / 182.758 / PR
Computer Networks / 182.752 / VU
Current Trends in Computer Science / 195.072 / VU
Digital Design / 182.693 / VO
Doctorand's seminar / 182.070 / SE
HW/SW Codesign / 182.701 / LU
HW/SW Codesign / 182.700 / VU
Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
Philosophy of Science / 195.080 / VU
Problems in Distributed Computing / 182.703 / VU
Propädeutikum für Informatik / 180.771 / VU
Research Seminar LogiCS / 184.767 / SE
Scientific Project Computer Engineering / 182.759 / PR
Scientific Research and Writing / 193.052 / SE
Seminar Computer Engineering / 182.757 / SE
Seminar for Master Students in Computer Engineering / 180.778 / SE
Strategic policy and technology challenges in the digital world, with a focus on the European Union / 199.095 / VU
Theoretical Computer Science and Logics / 185.278 / VU

Projects

Digital Modeling of Asynchronous Integrated Circuits
2019 – 2023 / Austrian Science Fund (FWF)
Robust Atomic Computing Platform and Enhanced Fault-Tolerant Distributed Algorithms 2
2019 – 2022 / Intel Corporation
Trustworthy IoT for CPS
2017 – 2020 / Austrian Research Promotion Agency (FFG)
Robust Atomic Computing Platform and Enhanced Fault-Tolerant Distributed Algorithms
2017 – 2019 / Intel Corporation
Gracefully Degrading Agreement in Directed Dynamic Networks
2016 – 2020 / Austrian Science Fund (FWF)

Publications

2021

SpikeDyn: A Framework for Energy-Efficient Spiking Neural Networks with Continual and Unsupervised Learning Capabilities in Dynamic Environments / R. Putra, M. Shafique / Talk: 2021 58th ACM/IEEE Design Automation Conference (DAC), San Francisco, California, USA; 2021-12-05 - 2021-12-09; in: "Proceedings of the 2021 58th ACM/IEEE Design Automation Conference (DAC)", (2021), 1057 - 1062
SparkXD: A Framework for Resilient and Energy-Efficient Spiking Neural Network Inference using Approximate DRAM / R. Putra, M. Hanif, M. Shafique / Talk: 2021 58th ACM/IEEE Design Automation Conference (DAC), San Francisco, California, USA; 2021-12-05 - 2021-12-09; in: "Proceedings of the 2021 58th ACM/IEEE Design Automation Conference (DAC)", (2021), 379 - 384
Hardware-Assisted Control Flow Integrity Schemes on RISC-V / S. Tauner, M. Telesklav, L. Halder / Talk: Second International Workshop on Secure RISC-V (SECRISC-V), Virtual (invited); 2021-11-07
ReSpawn: Energy-Efficient Fault-Tolerance for Spiking Neural Networks considering Unreliable Memories / R. Putra, M. Hanif, M. Shafique / Talk: 2021 International Conference On Computer-Aided Design, Virtual Conference; 2021-11-01 - 2021-11-05; in: "Proceedings of the 2021 International Conference On Computer-Aided Design", (2021)
Towards Energy-Efficient and Secure Edge AI: A Cross-Layer Framework / M. Shafique, A. Marchisio, R. Putra, M. Hanif / Talk: 2021 International Conference On Computer-Aided Design, Virtual Conference (invited); 2021-11-01 - 2021-11-05; in: "Proceedings of the 2021 International Conference On Computer-Aided Design", (2021)
UNTANGLE: Unlocking Routing and Logic Obfuscation Using Graph Neural Networks-based Link Prediction / L. Alrahis, S. Patnaik, M. Hanif, M. Shafique, O. Sinanoglu / Talk: 2021 International Conference On Computer-Aided Design, Virtual Conference; 2021-11-01 - 2021-11-05; in: "Proceedings of the 2021 International Conference On Computer-Aided Design", (2021)
Input/Output-Interlocking for Fault Mitigation in QDI Pipelines / Z. Tabassam, P. Behal, R. Najvirt, A. Steininger / Talk: 29th Austrian Workshop on Microelectronics, Linz; 2021-10-14; in: "Proceedings 29th Austrian Workshop on Microelectronics", (2021), ISBN: 978-1-6654-3661-8; 4 pages
Automated HW/SW Co-design for Edge AI: State, Challenges and Steps Ahead / O. Bringmann, W. Ecker, I. Feldner, A. Frischknecht, C. Gerum, T. Hämäläinen, M. Hanif, M. Klaiber, D. Mueller-Gritschneder, S. Prebeck, M. Shafique / Talk: 2021 International Conference on Hardware/Software Codesign and System Synthesis, Virtual Conference (invited); 2021-10-10 - 2021-10-15; in: "Proceedings of 2020 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ ISSS)", Association for Computing Machinery, New York, NY, United States, (2021), 11 - 20
Comparative Analysis and Enhancement of CFG-based Hardware-Assisted CFI Schemes / S. Tauner, M. Telesklav / Talk: 2021 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2021), Virtual; 2021-10-08 - 2021-10-15; in: "ACM Transactions on Embedded Computing Systems", Association for Computing Machinery, (2021), ISBN: 978-1-4503-8378-3
Uniform Interpolation via Nested Sequents / I. van der Giessen, R. Jalali, R. Kuznets / Talk: The 27th International Workshop, WoLLIC 2021, online; 2021-10-05 - 2021-10-08; in: "Logic, Language, Information, and Computation 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings", Lecture Notes in Computer Science, 13038 (2021), ISSN: 0302-9743; 337 - 354
R-SNN: An Analysis and Design Methodology for Robustifying Spiking Neural Networks against Adversarial Attacks through Noise Filters for Dynamic Vision Sensors / A. Marchisio, G. Pira, M. Martina, G. Masera, M. Shafique / Talk: 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Virtual Conference; 2021-09-27 - 2021-10-01; in: "Proceedings of the 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)", (2021), 6315 - 6321
Towards Explaining the Fault Sensitivity of Different QDI Pipeline Styles / P. Behal, F. Huemer, R. Najvirt, Z. Tabassam, A. Steininger / Talk: 27th IEEE International Symposium on Asynchronous Circuits and Systems, online; 2021-09-07 - 2021-09-10; in: "Proceedings 27th IEEE International Symposium on Asynchronous Circuits and Systems", (2021), 1 - 8
An Automated Setup for Large-Scale Simulation-Based Fault-Injection Experiments on Asynchronous Digital Circuits / P. Behal, F. Huemer, R. Najvirt, A. Steininger / Talk: 24th Euromicro Conference on Digital System Design, Palermo, Italy; 2021-09-01 - 2021-09-03; in: "Proceedings of the 24th Euromicro Conference on Digital System Design", (2021), 1 - 8
TRe-Map: Towards Reducing the Overheads of Fault-Aware Retraining of Deep Neural Networks by Merging Fault Maps / L. Hoang, M. Hanif, M. Shafique / Talk: 2021 24th Euromicro Conference on Digital System Design, Virtual Conference; 2021-09-01 - 2021-09-03; in: "Proceedings of the 2021 24th Euromicro Conference on Digital System Design", (2021), 434 - 441
Gain and Pain of a Reliable Delay Model / J. Maier / Talk: 24th Euromicro Conference on Digital System Design DSD 2021, Palermo; 2021-09-01 - 2021-09-03; in: "Proceedings 2021 24th Euromicro Conference on Digital System Design DSD 2021", IEEE (ed.); (2021), ISBN: 978-1-6654-2703-6; 246 - 250
Security Analysis of Capsule Network Inference using Horizontal Collaboration / A. Adeyemo, F. Khalid, T. Odetola, S. R. Hasan / Talk: 2021 IEEE International Midwest Symposium on Circuits and Systems (MWSCAS), Virtual Conference; 2021-08-09 - 2021-08-11; in: "Proceedings of the 2021 IEEE International Midwest Symposium on Circuits and Systems (MWSCAS)", (2021), 1074 - 1077
Q-SpiNN: A Framework for Quantizing Spiking Neural Networks / R. Putra, M. Shafique / Talk: 2021 International Joint Conference on Neural Networks, Virtual Conference; 2021-07-18 - 2021-07-22; in: "Proceedings of the 2021 International Joint Conference on Neural Networks", (2021)
CarSNN: An Efficient Spiking Neural Network for Event-Based Autonomous Cars on the Loihi Neuromorphic Research Processor / A. Viale, A. Marchisio, M. Martina, G. Masera, M. Shafique / Talk: 2021 International Joint Conference on Neural Networks, Virtual Conference; 2021-07-18 - 2021-07-22; in: "Proceedings of the 2021 International Joint Conference on Neural Networks", (2021)
DVS-Attacks: Adversarial Attacks on Dynamic Vision Sensors for Spiking Neural Networks / A. Marchisio, G. Pira, M. Martina, G. Masera, M. Shafique / Talk: 2021 International Joint Conference on Neural Networks, Virtual Conference; 2021-07-18 - 2021-07-22; in: "Proceedings of the 2021 International Joint Conference on Neural Networks", (2021)
Fire! / K. Fruzsa, R. Kuznets, U. Schmid / Talk: TARK 2021: Theoretical Aspects of Rationality and Knowledge, online, China; 2021-06-25 - 2021-06-28; in: "Proceedings of the Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge", Electronic Proceedings in Theoretical Computer Science, 335 (2021), ISSN: 2075-2180; 139 - 153
A Composable Glitch-Aware Delay Model / J. Maier, D. Öhlinger, U. Schmid, M Függer, T. Nowak / Talk: Great Lakes Symposium on VLSI GLSVLSI'21, virtuell; 2021-06-22 - 2021-06-25; in: "Proceedings of the 2021 Great Lakes Symposium on VLSI", ACM (ed.); (2021), ISBN: 978-1-4503-8393-6; 147 - 154
Emerging Computing Devices: Challenges and Opportunities for Test and Reliability / A. Bosio, I. O´Connor, M. Traiola, J. Echavarria, J. Teich, M. Hanif, M. Shafique, S. Hamdioui, B. Deveautour, P. Girard, K. Bertels / Talk: 2021 IEEE European Test Symposium (ETS), Virtual Conference (invited); 2021-05-24 - 2021-05-28; in: "Proceedings of the 2021 IEEE European Test Symposium (ETS)", (2021)
Analysis of State Corruption caused by Permanent Faults in WCHB-based Quasi Delay-Insensitive Pipelines / R. El Shahaby, A. Steininger / Talk: 24th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Wien; 2021-04-07 - 2021-04-09; in: "Proceedings 24th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems", Ieee Cs, (2021), ISBN: 978-1-6654-3595-6; 1 - 6
Intuiting Duals of Proofs / R. Kuznets, S. Marin, L. Strassburger / Talk: Milano Logic Group Logic Lunch Seminar Series, online, Italy (invited); 2021-03-11
MLComp: A Methodology for Machine Learning-based Performance Estimation and Adaptive Selection of Pareto-Optimal Compiler Optimization Sequences / A. Colucci, D. Juhasz, M. Mosbeck, A. Marchisio, S. Rehman, M. Kreutzer, G. Nadbath, A. Jantsch, M. Shafique / Talk: 2021 Design, Automation & Test in Europe, Online; 2021-02-01 - 2021-02-05; in: "Proceedings of the 2021 Design, Automation & Test in Europe", (2021), 108 - 113
Securing Deep Spiking Neural Networks against Adversarial Attacks through Inherent Structural Parameters / R. El-Allami, A. Marchisio, M. Shafique, I. Alouani / Talk: 2021 Design, Automation & Test in Europe, Virtual Conference; 2021-02-01 - 2021-02-05; in: "Proceedings of the 2021 Design, Automation & Test in Europe", (2021), 774 - 779
DNN-Life: An Energy-Efficient Aging Mitigation Framework for Improving the Lifetime of On-Chip Weight Memories in Deep Neural Network Hardware Architectures / M. Hanif, M. Shafique / Talk: 2021 Design, Automation & Test in Europe, Online; 2021-02-01 - 2021-02-05; in: "Proceedings of the 2021 Design, Automation & Test in Europe", (2021), 729 - 734
GNNUnlock: Graph Neural Networks-based Oracle-less Unlocking Scheme for Provably Secure Logic Locking / L. Alrahis, S. Patnaik, F. Khalid, M. Hanif, H. Saleh, M. Shafique, O. Sinanoglu / Talk: 2021 Design, Automation & Test in Europe, Online; 2021-02-01 - 2021-02-05; in: "Proceedings of the 2021 Design, Automation & Test in Europe", (2021), 780 - 785
Simulation-Based Approaches for Comprehensive Schmitt-Trigger Analyses / J. Maier, C. Hartl-Nesic, A. Steininger / IEEE Transactions on Circuits and Systems-I: Regular Papers, Dec (2021), 1 - 14
ROMANet: Fine-Grained Reuse-Driven Off-Chip Memory Access Management and Data Organization for Deep Neural Network Accelerators / R. Putra, M. Hanif, M. Shafique / IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 29 (2021), 4; 702 - 715
FeSHI: Feature Map-Based Stealthy Hardware Intrinsic Attack / T. Odetola, F. Khalid, H. Mohammed, T. Sandefur, S. R. Hasan / IEEE Access, 9 (2021), 115370 - 115387
BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables / B. Prabakaran, A. Akhtar, S. Rehman, O. Hasan, M. Shafique / IEEE Internet of Things Journal, 8 (2021), 17; 13251 - 13265
FEECA: Design Space Exploration for Low-Latency and Energy-Efficient Capsule Network Accelerators / A. Marchisio, V. Mrazek, M. Hanif, M. Shafique / IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 29 (2021), 4; 716 - 729
A survey of hardware architectures for generative adversarial networks / N. Shrivastava, M. Hanif, S. Mittal, S. Sarangi, M. Shafique / Journal of Systems Architecture, Volume 118 (2021)
TiQSA: Workload Minimization in Convolutional Neural Networks Using Tile Quantization and Symmetry Approximation / D. Sabir, M. Hanif, A. Hassan, S. Rehman, M. Shafique / IEEE Access, Volumen 9 (2021), 53647 - 53668
Weight Quantization Retraining for Sparse and Compressed Spatial Domain Correlation Filters / D. Sabir, M. Hanif, A. Hassan, S. Rehman, M. Shafique / Electronics, 10(3) (2021)
Interpolation for intermediate logics via injective nested sequents / R. Kuznets, B. Lellmann / Journal of Logic and Computation, 31 (2021), 3; 797 - 831
The Involution Tool for Accurate Digital Timing and Power Analysis / D. Öhlinger, J. Maier, M Függer, U. Schmid / Integration the VLSI journal, 76 (2021), 87 - 98
Optimal strategies for selecting coordinators / M. Zeiner, U. Schmid, K. Chatterjee / Discrete Applied Mathematics, 289 (2021), 392 - 415
Towards Explaining the Fault Sensitivity of Different QDI Pipeline Styles / P. Behal, F. Huemer, R. Najvirt, A. Steininger, Z. Tabassam / TCVLSI Newsletter (invited), 7 (2021), 4; 1 pages
Generation of a fault-tolerant clock through redundant crystal oscillators / W. Dür, M. Függer, A. Steininger / Microelectronics Reliability, 120 (2021), 11 pages
Foreword / L. Sekanina, M. Shafique, M. Krstic, A. Steininger, G. Stojanovic / in: "Proceedings 24th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems", IEEE, 2021, (invited), ISBN: 978-1-6654-3595-6, 1 pages
Uniform interpolation via nested sequents and hypersequents / I. van der Giessen, R. Jalali, R. Kuznets / Report for arXiv; Report No. 2105.10930, 2021; 24 pages

2020

The Persistence of False Memory: Brain in a Vat despite Perfect Clocks / T. Schlögl, U. Schmid, R. Kuznets / Talk: PRIMA 2020, Japan; 2020-11-18 - 2020-11-20; in: "PRIMA 2020: Principles and Practice of Multi-Agent Systems", Springer Nature Switzerland AG, (2020), ISBN: 978-3-030-69322-0; 403 - 411
Interpolation for Intermediate Logics via Injective Nested Sequents / R. Kuznets, B. Lellmann / Talk: Online Partout Seminar, online, France (invited); 2020-11-09
NASCaps: A Framework for Neural Architecture Search to Optimize the Accuracy and Hardware Efficiency of Convolutional Capsule Networks / A. Marchisio, A. Massa, V. Mrazek, B. Bussolino, M. Martina, M. Shafique / Talk: 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD), Virtual Conference; 2020-11-02 - 2020-11-05; in: "Proceedings of 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD)", IEEE, (2020), 1 - 9
Side-Channel Attacks on RISC-V Processors: Current Progress, Challenges, and Opportunities / M. Morid Ahmadi, F. Khalid, M. Shafique / Talk: The Fifth International Conferenceon Cyber-Technologies and Cyber-Systems, Nice, France; 2020-10-25 - 2020-10-29; in: "Proceedings of the Fifth International Conferenceon Cyber-Technologies and Cyber-Systems", (2020), ISBN: 978-1-61208-818-1; 1 - 6
Exploiting Vulnerabilities in Deep Neural Networks: Adversarial and Fault-Injection Attacks / F. Khalid, M. Hanif, M. Shafique / Talk: The Fifth International Conferenceon Cyber-Technologies and Cyber-Systems, Nice, France; 2020-10-25 - 2020-10-29; in: "Proceedings of the Fifth International Conferenceon Cyber-Technologies and Cyber-Systems", (2020), ISBN: 978-1-61208-818-1; 24 - 29
On the Effects of Permanent Faults in QDI Circuits - A Quantitative Perspective / R. El Shahaby, A. Steininger / Talk: IEEE International Conference on Computer Design, Hartford, Connecticut, USA; 2020-10-18 - 2020-10-21; in: "Proceedings IEEE International Conference on Computer Design", (2020), 1 - 4
Sorting Network based Full Adders for QDI Circuits / F. Huemer, A. Steininger / Talk: 28th Austrian Workshop on Microelectronics, Wien; 2020-10-07; in: "Proceedings 28th Austrian Workshop on Microelectronics", (2020), 1 - 8
Identification and Confinement of Fault Sensitivity Windows in QDI Logic / F. Huemer, R. Najvirt, A. Steininger / Talk: 28th Austrian Workshop on Microelectronics, Wien; 2020-10-07; in: "Proceedings 28th Austrian Workshop on Microelectronics", (2020), 1 - 8
A Fast Design Space Exploration Framework for the Deep Learning Accelerators: Work-in-Progress / A. Colucci, A. Marchisio, B. Bussolino, V. Mrazek, M. Martina, G. Masera, M. Shafique / Talk: 2020 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ ISSS), Virtual Conference; 2020-09-20 - 2020-09-25; in: "Proceedings of 2020 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ ISSS)", IEEE, (2020), 1 - 3
Towards Quality-Driven Approximate Software Generation for Accurate Hardware: Work-in-Progress / J. Castro-Godinez, M. Shafique, J. Henkel / Talk: 2020 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), Virtual Conference; 2020-09-20 - 2020-09-25; in: "Proceedings of 2020 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES)", IEEE, (2020), ISBN: 978-1-7281-9192-8; 1 - 3
A Multi-Agent Depth Bounded Boolean Logic / G. Cignarale, G. Primiero / Talk: CIFMA-2020, Cognition: Interdisciplinary Foundations, Models and Applications, online, Netherlands; 2020-09-14; in: "CIFMA-2020, Cognition: Interdisciplinary Foundations, Models and Applications", (2020), 1 - 16
DRMap: A Generic DRAM Data Mapping Policy for Energy-Efficient Processing of Convolutional Neural Networks / R. Putra, M. Hanif, M. Shafique / Talk: 2020 57th ACM/IEEE Design Automation Conference (DAC), San Fransisco, USA (Virtual); 2020-07-20 - 2020-07-24; in: "Proceedings of 2020 57th ACM/IEEE Design Automation Conference (DAC)", IEEE, (2020), ISSN: 0738-100x; 1 - 6
Proactive Aging Mitigation in CGRAs through Utilization-Aware Allocation / M. Brandalero, B. Lignati, A. C. S. Beck, M. Shafique, M. Hübner / Talk: 2020 57th ACM/IEEE Design Automation Conference (DAC), San Fransisco, USA (Virtual); 2020-07-20 - 2020-07-24; in: "Proceedings of 2020 57th ACM/IEEE Design Automation Conference (DAC)", IEEE, (2020), ISSN: 0738-100x; 1 - 6
ApproxFPGAs: Embracing ASIC-Based Approximate Arithmetic Components for FPGA-Based Systems / B. Prabakaran, V. Mrazek, Z. Vasicek, L. Sekanina, M. Shafique / Talk: 2020 57th ACM/IEEE Design Automation Conference (DAC), San Fransisco, USA (Virtual); 2020-07-20 - 2020-07-24; in: "Proceedings of 2020 57th ACM/IEEE Design Automation Conference (DAC)", IEEE, (2020), ISSN: 0738-100x; 1 - 6
EMAP: A Cloud-Edge Hybrid Framework for EEG Monitoring and Cross-Correlation Based Real-time Anomaly Prediction / B. Prabakaran, A. Jimenez, G. Martinez, M. Shafique / Talk: 2020 57th ACM/IEEE Design Automation Conference (DAC), San Fransisco, USA; 2020-07-20 - 2020-07-24; in: "Proceedings of 2020 57th ACM/IEEE Design Automation Conference (DAC)", IEEE, (2020), ISSN: 0738-100x; 1 - 6
Q-CapsNets: A Specialized Framework for Quantizing Capsule Networks / A. Marchisio, B. Bussolino, A. Colucci, M. Martina, G. Masera, M. Shafique / Talk: 2020 57th ACM/IEEE Design Automation Conference (DAC), San Fransisco, USA (Virtual); 2020-07-20 - 2020-07-24; in: "Proceedings of 2020 57th ACM/IEEE Design Automation Conference (DAC)", IEEE, (2020), ISSN: 0738-100x; 1 - 6
PEMACx: A Probabilistic Error Analysis Methodology for Adders with Cascaded Approximate Units / M. Hanif, R. Hafiz, O. Hasan, M. Shafique / Talk: 2020 57th ACM/IEEE Design Automation Conference (DAC), San Fransisco, USA (Virtual); 2020-07-20 - 2020-07-24; in: "Proceedings of 2020 57th ACM/IEEE Design Automation Conference (DAC)", IEEE, (2020), ISSN: 0738-100x; 1 - 6
FaDec: A Fast Decision-based Attack for Adversarial Machine Learning / F. Khalid, H. Ali, M. Hanif, S. Rehman, R. Ahmed, M. Shafique / Talk: 2020 International Joint Conference on Neural Networks (IJCNN), Glasgow, UK; 2020-07-19 - 2020-07-24; in: "Proceedings of 2020 International Joint Conference on Neural Networks (IJCNN)", IEEE, (2020), ISBN: 978-1-7281-6926-2; 1 - 8
Is Spiking Secure? A Comparative Study on the Security Vulnerabilities of Spiking and Deep Neural Networks / A. Marchisio, G. Nanfa, F. Khalid, M. Hanif, M. Martina, M. Shafique / Talk: 2020 International Joint Conference on Neural Networks (IJCNN), Glasgow, UK; 2020-07-19 - 2020-07-24; in: "Proceedings of 2020 International Joint Conference on Neural Networks (IJCNN)", IEEE, (2020), ISBN: 978-1-7281-6926-2; 1 - 8
FasTrCaps: An Integrated Framework for Fast yet Accurate Training of Capsule Networks / A. Marchisio, B. Bussolino, A. Colucci, M. Hanif, M. Martina, G. Masera, M. Shafique / Talk: 2020 International Joint Conference on Neural Networks (IJCNN), Glasgow, UK; 2020-07-19 - 2020-07-24; in: "Proceedings of 2020 International Joint Conference on Neural Networks (IJCNN)", IEEE, (2020), ISBN: 978-1-7281-6926-2; 1 - 8
An Efficient Spiking Neural Network for Recognizing Gestures with a DVS Camera on the Loihi Neuromorphic Processor / R. Massa, A. Marchisio, M. Martina, M. Shafique / Talk: 2020 International Joint Conference on Neural Networks (IJCNN), Glasgow, UK; 2020-07-19 - 2020-07-24; in: "Proceedings of 2020 International Joint Conference on Neural Networks (IJCNN)", IEEE, (2020), ISBN: 978-1-7281-6926-2; 1 - 9
NeuroAttack: Undermining Spiking Neural Networks Security through Externally Triggered Bit-Flips / V. Venceslai, A. Marchisio, I. Alouani, M. Martina, M. Shafique / Talk: 2020 International Joint Conference on Neural Networks (IJCNN), Glasgow, UK; 2020-07-19 - 2020-07-24; in: "Proceedings of 2020 International Joint Conference on Neural Networks (IJCNN)", IEEE, (2020), ISBN: 978-1-7281-6926-2; 1 - 8
Dependable Deep Learning: Towards Cost-Efficient Resilience of Deep Neural Network Accelerators against Soft Errors and Permanent Faults / M. Hanif, M. Shafique / Talk: 2020 IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS), Napoli, Italy; 2020-07-13 - 2020-07-15; in: "Proceedings of 2020 IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS)", IEEE, (2020), ISBN: 978-1-7281-8187-5; 1 - 4
Cross-Layer Approaches for Improving the Dependability of Deep Learning Systems / M. Hanif, L. Hoang, M. Shafique / Talk: 2020 23th International Workshop on Software and Compilers for Embedded Systems (SCOPES), St. Goar, Germany; 2020-05-25 - 2020-05-26; in: "Proceedings of the 2020 23th International Workshop on Software and Compilers for Embedded Systems (SCOPES)", ACM, (2020), 78 - 81
Timing Domain Crossing using Muller Pipelines / F. Huemer, A. Steininger / Talk: 26th IEEE International Symposium on Asynchronous Circuits and Systems, Snowbird, Utah, USA; 2020-05-17 - 2020-05-20; in: "Proceedings 26th IEEE International Symposium on Asynchronous Circuits and Systems", Ieee Cs, (2020), ISSN: 2643-1483; 1 - 10
Merging Redundant Crystal Oscillators into a Fault-Tolerant Clock / W. Dür, A. Steininger / Talk: 23rd IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Novi Sad; 2020-04-22 - 2020-04-24; in: "Proceedings 23rd IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems", Ieee Cs, (2020), 1 - 6
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks / M. Naseer, M. Minhas, F. Khalid, M. Hanif, O. Hasan, M. Shafique / Talk: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, France; 2020-03-09 - 2020-03-13; in: "Proceedings of 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)", IEEE, (2020), ISBN: 978-3-9819263-4-7; 666 - 669
FT-ClipAct: Resilience Analysis of Deep Neural Networks and Improving their Fault Tolerance using Clipped Activation / L. Hoang, M. Hanif, M. Shafique / Talk: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, France; 2020-03-09 - 2020-03-13; in: "Proceedings of 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)", IEEE, (2020), ISBN: 978-3-9819263-4-7; 1241 - 1246
ReD-CaNe: A Systematic Methodology for Resilience Analysis and Design of Capsule Networks under Approximations / A. Marchisio, V. Mrazek, M. Hanif, M. Shafique / Talk: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, France; 2020-03-09 - 2020-03-13; in: "Proceedings of 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)", IEEE, (2020), ISBN: 978-3-9819263-4-7; 1205 - 1210
AUGER: A Tool for Generating Approximate Arithmetic Circuits / D. Hernandez-Araya, J. Castro-Godinez, M. Shafique, J. Henkel / Talk: 2020 IEEE 11th Latin American Symposium on Circuits & Systems (LASCAS), San Jose, Costa Rica; 2020-02-25 - 2020-02-28; in: "Proceedings of 2020 IEEE 11th Latin American Symposium on Circuits & Systems (LASCAS)", IEEE, (2020), ISBN: 978-1-7281-3427-7; 1 - 4
Approximate Acceleration for CNN-based Applications on IoT Edge Devices / J. Castro-Godinez, D. Hernandez-Araya, M. Shafique, J. Henkel / Talk: 2020 IEEE 11th Latin American Symposium on Circuits & Systems (LASCAS), San Jose, Costa Rica; 2020-02-25 - 2020-02-28; in: "Proceedings of 2020 IEEE 11th Latin American Symposium on Circuits & Systems (LASCAS)", IEEE, (2020), ISBN: 978-1-7281-3427-7; 1 - 4
Robust Computing for Machine Learning-Based Systems / M. Hanif, F. Khalid, R. Putra, M. T. Teimoori, F. Kriebel, J. Zhang, K. Liu, S. Rehman, T. Theocharides, A. Artusi, S. Garg, M. Shafique / in: "Dependable Embedded Systems", J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, 479 - 503
Power-Aware Fault-Tolerance for Embedded Systems / M. Salehi, F. Kriebel, S. Rehman, M. Shafique / in: "Dependable Embedded Systems", J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, 565 - 588
Fault-Tolerant Computing with Heterogeneous Hardening Modes / F. Kriebel, F. Khalid, B. Prabakaran, S. Rehman, M. Shafique / in: "Dependable Embedded Systems", J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, 161 - 180
Dependable Software Generation and Execution on Embedded Systems / F. Kriebel, K. Chen, S. Rehman, J. Henkel, J. Chen, M. Shafique / in: "Dependable Embedded Systems", J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, 139 - 160
RAP Model-Enabling Cross-Layer Analysis and Optimization for System-on-Chip Resilience / A. Herkersdorf, M. Engel, M. Glaß, J. Henkel, V. Kleeberger, J. Kühn, P. Marwedel, D. Mueller-Gritschneder, S. Nassif, S. Rehman, W. Rosenstiel, U. Schlichtmann, M. Shafique, J. Teich, N. Wehn, C. Weis / in: "Dependable Embedded Systems", J. Henkel, N. Dutt (ed.); Springer Nature Switzerland AG, Switzerland, 2020, ISBN: 978-3-030-52016-8, 1 - 27
Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling / A. Pavlogiannis, N. Schaumberger, U. Schmid, K. Chatterjee / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), 11; 3981 - 3992
On the radius of nonsplit graphs and information dissemination in dynamic networks / M Függer, T. Nowak, K. Winkler / Discrete Applied Mathematics, 282 (2020), 257 - 264
Probabilistic Analysis of Targeted Attacks Using Transform-Domain Adversarial Examples / Z. Yahya, M. Hassan, S. Younis, M. Shafique / IEEE Access, 8 (2020), 33855 - 33869
Longevity Framework: Leveraging Online Integrated Aging-Aware Hierarchical Mapping and VF-Selection for Lifetime Reliability Optimization in Manycore Processors / V. Rathore, V. Chaturvedi, A. K. Singh, T. Srikanthan, M. Shafique / IEEE Transactions on Computers, Early Access (2020), 1 - 14
Robust Machine Learning Systems: Challenges,Current Trends, Perspectives, and the Road Ahead / M. Shafique, M. Naseer, T. Theocharides, C. Kyrkou, O. Mutlu, L. Orosa, J. Choi / Ieee Design & Test, 37 (2020), 2; 30 - 57
Peak-Power-Aware Primary-Backup Technique for Efficient Fault-Tolerance in Multicore Embedded Systems / M. Ansari, M. Salehi, S. Safari, A. Ejlali, M. Shafique / IEEE Access, 8 (2020), 142843 - 142857
CAxCNN: Towards the Use of Canonic Sign Digit Based Approximation for Hardware-Friendly Convolutional Neural Networks / M. Riaz, R. Hafiz, S. Khaliq, M. Faisal, H. Iqbal, M. Ali, M. Shafique / IEEE Access, 8 (2020), 127014 - 127021
xUAVs: Towards Efficient Approximate Computing for UAVs-Low Power Approximate Adders With Single LUT Delay for FPGA-Based Aerial Imaging Optimization / T. Nomani, M. Mohsin, Z. Pervaiz, M. Shafique / IEEE Access, 8 (2020), 102982 - 102996
FSpiNN: An Optimization Framework for Memory-Efficient and Energy-Efficient Spiking Neural Networks / R. Putra, M. Shafique / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), 11; 3601 - 3613
Combinatorial Auctions for Temperature-Constrained Resource Management in Manycores / K. Khdr, M. Shafique, S. Pagani, A. Herkersdorf, J. Henkel / IEEE Transactions on Parallel and Distributed Systems, 31 (2020), 7; 1605 - 1620
MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices / F. Khalid, S. R. Hasan, S. Zia, O. Hasan, F. Awwad, M. Shafique / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), 11; 3748 - 3761
SIMCom: Statistical Sniffing of Inter-Module Communications for Runtime Hardware Trojan Detection / F. Khalid, S. R. Hasan, O. Hasan, M. Shafique / Microprocessors and Microsystems, 77 (2020), 1 - 17
DESCNet: Developing Efficient Scratchpad Memories for Capsule Network Hardware / A. Marchisio, V. Mrazek, M. Hanif, M. Shafique / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Early Access (2020), 1 - 13
An Updated Survey of Efficient Hardware Architectures for Accelerating Deep Convolutional Neural Networks / M. Capra, B. Bussolino, A. Marchisio, M. Shafique, G. Masera, M. Martina / Future Internet, 12 (2020), 7; 1 - 22
Hardware and Software Optimizations for Accelerating Deep Neural Networks: Survey of Current Trends, Challenges, and the Road Ahead / M. Capra, B. Bussolino, A. Marchisio, G. Masera, M. Martina, M. Shafique / IEEE Access, 8 (2020), 225134 - 225180
SuperSlash: A Unified Design Space Exploration and Model Compression Methodology for Design of Deep Learning Accelerators With Reduced Off-Chip Memory Access Volume / H. Ahmad, T. Arif, M. Hanif, R. Hafiz, M. Shafique / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), 11; 4191 - 4204
PEAL: Probabilistic Error Analysis Methodology for Low-power Approximate Adders / M. Ayub, M. Hanif, O. Hasan, M. Shafique / ACM Journal on Emerging Technologies in Computing Systems, 17 (2020), 1; 1 - 37
Resistive Crossbar-Aware Neural Network Design and Optimization / M. Hanif, A. Manglik, M. Shafique / IEEE Access, 8 (2020), 229066 - 229085
APNAS: Accuracy-and-Performance-Aware Neural Architecture Search for Neural Hardware Accelerators / P. Achararit, M. Hanif, R. Putra, M. Shafique, Y. Hara-Azumi / IEEE Access, 8 (2020), 165319 - 165334
SSCNets: Robustifying DNNs using Secure Selective Convolutional Filters. / A. Hassan, F. Khalid, H. Tariq, M. Hanif, R. Ahmed, S. Rehman / Ieee Design & Test, 37 (2020), 1 - 8
A Faithful Binary Circuit Model / M Függer, R. Najvirt, T. Nowak, U. Schmid / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 (2020), 10; 2784 - 2797
Efficient Loading And Visualization Of Massive Feature-Rich Point Clouds Without Hierarchical Acceleration Structures / J. Otepka, G. Mandlburger, M. Schütz, N. Pfeifer, M. Wimmer / International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (ISPRS Archives), XLIII-B2-2020 (2020), 293 - 300
FaDec: A Fast Decision-based Attack for Adversarial Machine Learning / F. Khalid, A. Hassan, M. Hanif, S. Rehman, R. Ahmed, M. Shafique / in: "IEEE International Joint Conference on Neural Networks (IJCNN)", IJCNN, 2020, ISBN: 978-1-7281-6926-2, 1 - 8
Welcome Message: ASYNC 2020 / E. Brunvand, K. Stevens, M. Moreira, A. Steininger / in: "Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", IEEE Computer Society, 2020, (invited), ISBN: 978-1-7281-5495-4, 2 pages
Guest Editors´ Introduction: Robust Resource-Constrained Machine Learning / T. Theocharides, M. Shafique, J. Choi, O. Mutlu / Ieee Design & Test, 37 (2020), 2; 5 - 7

2019

A Characterization of Consensus Solvability for Closed Message Adversaries / K. Winkler, U. Schmid, Y. Moses / Talk: 23rd International Conference on Principles of Distributed Systems (OPODIS 2019), Neuchâtel, Switzerland; 2019-12-17 - 2019-12-19; in: "23rd International Conference on Principles of Distributed Systems", (2019), 17:1 - 17:16
Security Vulnerabilities of Deep, Capsule and Spiking Neural Networks against Adversarial Attacks / A. Marchisio, G. Nanfa, M. Martina, M. Shafique / Talk: IEEE International Workshop on Robust and Trustworthy Machine Learning (RTML) 2019, Washington DC, USA; 2019-11-14 - 2019-11-15; in: "Proceedings of IEEE International Workshop on Robust and Trustworthy Machine Learning (RTML) 2019", (2019), 1 - 4
Translating Quantitative Semantic Bounds into Nested Sequents / R. Kuznets, B. Lellmann / Talk: Fifth TICAMORE MEETING, Wien (invited); 2019-11-11 - 2019-11-13
ALWANN: Automatic Layer-Wise Approximation of Deep Neural Network Accelerators without Retraining / V. Mrazek, Z. Vasicek, L. Sekanina, M. Hanif, M. Shafique / Talk: 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Westminster, USA; 2019-11-04 - 2019-11-07; in: "Proceeding of 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD'19)", IEEE, (2019), ISBN: 978-1-7281-2350-9; 1 - 8
Causality in the Age of Fake News / R. Kuznets / Talk: Seminar "Logic and Theoretical Computer Science", University of Bern (2019), Bern (invited); 2019-10-31
A Systematic Approach to Clock Failure Detection / A. Steininger, M. Schwendinger / Talk: Austrochip Workshop on Microelectronics, Wien; 2019-10-24; in: "2019 Austrochip Workshop on Microelectronics (Austrochip)", (2019), ISBN: 978-1-7281-1953-3; 35 - 42
A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus / H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum / Talk: 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Pisa, Italy; 2019-10-22 - 2019-10-25; in: "Stabilization, Safety, and Security of Distributed Systems", Lecture Notes in Computer Science / Springer, vol 11914 / Cham (2019), ISSN: 0302-9743; 307 - 322
Digital Modeling of Asynchronous Integrated Circuits / U. Schmid / Talk: 2nd Workshop on Hardware Design and Theory (https://sites.google.com/view/motimedina/hdt-2019, colocated with DISC 2019), Budapest; 2019-10-18
Byzantine Causal Cone / R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa / Talk: Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Budapest, Hungary (invited); 2019-10-18
Epistemic Reasoning with Byzantine-Faulty Agents / R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa / Talk: FroCoS 2019: Frontiers of Combining Systems, London, UK; 2019-09-04 - 2019-09-06; in: "Frontiers of Combining Systems, 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings", A. Herzig, A. Popescu (ed.); Springer, (2019), ISBN: 978-3-030-29006-1; 259 - 276
Hope for Epistemic Reasoning with Faulty Agents! / K. Fruzsa / Talk: 31st European Summer School in Logic, Language and Information (ESSLLI 2019), Riga, Latvia; 2019-08-05 - 2019-08-16; in: "ESSLLI 2019 Student Session", (2019), 169 - 180
MemGANs: Memory Management for Energy-Efficient Acceleration of Complex Computations in Hardware Architectures for Generative Adversarial Networks / M. Hanif, M. Akbar, R. Ahmed, S. Rehman, A. Jantsch, M. Shafique / Talk: 2019 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED), Lausanne, Switzerland; 2019-07-29 - 2019-07-31; in: "Proceeding of 2019 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED'19)", IEEE, (2019), ISBN: 978-1-7281-2954-9; 1 - 6
Topological Characterization of Consensus under General Message Adversaries / T. Nowak, U. Schmid, K. Winkler / Talk: 38th ACM Symposium on Principles of Distributed Computing (PODC'19), Toronto, Canada; 2019-07-27 - 2019-08-02; 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; 218 - 227
Time and Retrocausality in Distributed Systems / R. Kuznets / Talk: Goedel's Legacy, Wien; 2019-07-25 - 2019-07-27
Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems / R. Kuznets, L. Prosperi, U. Schmid, K. Fruzsa / Poster: TARK 2019: Theoretical Aspects of Rationality and Knowledge, Toulouse, France; 2019-07-17 - 2019-07-19; 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; 293 - 312
Deep Learning for Edge Computing: Current Trends, Cross-Layer Optimizations, and Open Research Challenges / A. Marchisio, M. Hanif, F. Khalid, G. Plastiras, C. Kyrkou, T. Theocharides, M. Shafique / Talk: 2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Miami, USA; 2019-07-15 - 2019-07-17; in: "Proceeding of 2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'19)", IEEE, (2019), ISBN: 978-1-7281-3391-1; 553 - 559
Sustainable Security & Safety: Challenges andOpportunities / A. Paverd, M. Völp, F. Brasser, M. Schunter, N. Asokan, A. Sadeghi, P. Esteves-Verissimo, A. Steininger, T. Holz / Talk: 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019), Stuttgart; 2019-07-09; in: "Proceedings 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)", (2019), ISBN: 978-3-95977-119-1; 13 pages
Extrapolating Interpolation / R. Kuznets / Keynote Lecture: Proof Theory in Logic workshop, Utrecht (invited); 2019-07-01 - 2019-07-02
Towards Scalable Lifetime Reliability Management for Dark Silicon Manycore Systems / V. Rathore, V. Chaturvedi, A. K. Singh, T. Srikanthan, M. Shafique / Talk: 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), Rhodes, Greece; 2019-07-01 - 2019-07-03; in: "Proceeding of 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS'19)", IEEE, (2019), ISBN: 978-1-7281-2490-2; 204 - 207
Studying Aging and Soft Error Mitigation Jointly under Constrained Scenarios in Multi-Cores / F. Kriebel, S. Rehman, M. Shafique / Talk: 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), Rhodes, Greece; 2019-07-01 - 2019-07-03; in: "Proceeding of 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS'19)", IEEE, (2019), ISBN: 978-1-7281-2490-2; 139 - 142
TrISec: Training Data-Unaware Imperceptible Security Attacks on Deep Neural Networks / F. Khalid, M. Hanif, S. Rehman, R. Ahmed, M. Shafique / Talk: 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), Rhodes, Greece; 2019-07-01 - 2019-07-03; in: "Proceeding of 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS'19)", IEEE, (2019), ISBN: 978-1-7281-2490-2; 188 - 193
QuSecNets: Quantization-based Defense Mechanism for Securing Deep Neural Network against Adversarial Attacks / F. Khalid, H. Ali, H. Tariq, M. Hanif, S. Rehman, R. Ahmed, M. Shafique / Talk: 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS), Rhodes, Greece; 2019-07-01 - 2019-07-03; in: "Proceeding of 2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS'19)", IEEE, (2019), ISBN: 978-1-7281-2490-2; 182 - 187
The Involution Tool for Accurate Digital Timing and Power Analysis / D. Öhlinger, J. Maier, M Függer, U. Schmid / Talk: 2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019), Rhodos; 2019-07-01 - 2019-07-03; in: "2019 IEEE 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS 2019)", (2019), ISBN: 978-1-7281-2103-1; 1 - 8
CapsAttacks: Robust and Imperceptible Adversarial Attacks on Capsule Networks / A. Marchisio, G. Nanfa, F. Khalid, M. Hanif, M. Martina, M. Shafique / Talk: ICML Workshop on Uncertainty and Robustness in Deep Learning (UDL) 2019, Long Beach, USA; 2019-06-14; in: "Proceedings of Workshop on Uncertainty and Robustness in Deep Learning (UDL) 2019 at ICML'19", (2019), 1 - 9
INVITED: Building Robust Machine Learning Systems: Current Progress, Research Challenges, and Opportunities / J. Zang, K. Liu, F. Khalid, M. Hanif, S. Rehman, T. Theocharides, A. Artussi, M. Shafique, S. Garg / Talk: 2019 56th ACM/IEEE Design Automation Conference (DAC), Las Vegas, USA; 2019-06-02 - 2019-06-06; in: "Proceeding of 2019 56th ACM/IEEE Design Automation Conference (DAC'19)", IEEE, (2019), ISBN: 978-1-4503-6725-7; 1 - 4
Life Guard: A Reinforcement Learning-Based Task Mapping Strategy for Performance-Centric Aging Managemen / V. Rathore, V. Chaturvedi, A. K. Singh, T. Srikanthan, M. Shafique / Talk: 2019 56th ACM/IEEE Design Automation Conference (DAC), Las Vegas, USA; 2019-06-02 - 2019-06-06; in: "Proceedings of 2019 56th ACM/IEEE Design Automation Conference (DAC)", IEEE, (2019), ISBN: 978-1-4503-6725-7; 1 - 6
XBioSiP: A Methodology for Approximate Bio-Signal Processing at the Edge / B. Prabakaran, S. Rehman, M. Shafique / Talk: 2019 56th ACM/IEEE Design Automation Conference (DAC), Las Vegas, USA; 2019-06-02 - 2019-06-06; in: "Proceedings of 2019 56th ACM/IEEE Design Automation Conference (DAC)", IEEE, (2019), ISBN: 978-1-4503-6725-7; 1 - 6
autoAx: An Automatic Design Space Exploration and Circuit Building Methodology utilizing Libraries of Approximate Components / V. Mrazek, M. Hanif, Z. Vasicek, L. Sekanina, M. Shafique / Talk: 2019 56th ACM/IEEE Design Automation Conference (DAC), Las Vegas, USA; 2019-06-02 - 2019-06-06; in: "Proceedings of 2019 56th ACM/IEEE Design Automation Conference (DAC)", IEEE, (2019), ISBN: 978-1-4503-6725-7; 1 - 6
CANN: Curable Approximations for High-Performance Deep Neural Network Accelerators / M. Hanif, F. Khalid, M. Shafique / Talk: 2019 56th ACM/IEEE Design Automation Conference (DAC), Las Vegas, USA; 2019-06-02 - 2019-06-06; in: "Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE)", IEEE, (2019), ISBN: 978-1-4503-6725-7; 1 - 6
Transistor-Level Analysis of Dynamic Delay Models / J. Maier, M Függer, T. Nowak, U. Schmid / Talk: 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; 2019-05-12 - 2019-05-15; in: "2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", (2019), ISBN: 978-1-5386-4747-9; 76 - 85
Efficient Metastability Characterization for Schmitt-Triggers / J. Maier, A. Steininger / Talk: 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; 2019-05-12 - 2019-05-15; in: "2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", (2019), ISBN: 978-1-5386-4747-9; 124 - 133
Unified (A)Synchronous Circuit Development / P. Paulweber, J. Maier, J. Cortadella / Talk: 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2019), Hirosaki, Japan; 2019-05-12 - 2019-05-15
CapsAcc: An Efficient Hardware Accelerator for CapsuleNets with Data Reuse / A. Marchisio, M. Hanif, M. Shafique / Talk: 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; 2019-03-25 - 2019-03-29; in: "Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE)", IEEE, (2019), ISBN: 978-3-9819263-2-3; 964 - 967
FAdeML: Understanding the Impact of Pre-Processing Noise Filtering on Adversarial Machine Learning / F. Khalid, M. Hanif, S. Rehman, J. Qadir, M. Shafique / Talk: 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; 2019-03-25 - 2019-03-29; in: "Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE)", IEEE, (2019), ISBN: 978-3-9819263-2-3; 902 - 907
Thermal-Awareness in a Soft Error Tolerant Architecture / S. Hussain, M. Shafique, J. Henkel / Talk: 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; 2019-03-25 - 2019-03-29; in: "Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE)", IEEE, (2019), ISBN: 978-3-9819263-2-3; 1555 - 1558
A Fine-Grained Soft Error Resilient Architecture under Power Considerations / S. Hussain, M. Shafique, J. Henkel / Talk: 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; 2019-03-25 - 2019-03-29; in: "Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE)", IEEE, (2019), ISBN: 978-3-9819263-2-3; 972 - 975
TransRec: Improving Adaptability in Single-ISA Heterogeneous Systems with Transparent and Reconfigurable Acceleration / M. Brandalero, M. Shafique, L. Carro, A. C. S. Beck / Talk: 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; 2019-03-25 - 2019-03-29; in: "Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE)", IEEE, (2019), ISBN: 978-3-9819263-2-3; 582 - 585
TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint / I. H. Abbassi, F. Khalid, S. Rehman, A. M. Kamboh, A. Jantsch, S. Garg, M. Shafique / Talk: 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE'19), Florence, Italy; 2019-03-25 - 2019-03-29; in: "Proceedings of 2019 IEEE/ACM Design, Automation and Test in Europe Conference (DATE)", IEEE, (2019), ISBN: 978-3-9819263-2-3; 914 - 919
Logics of Proofs and Justifications / R. Kuznets, T. Studer / College Publications, London, 2019, ISBN: 978-1-84890-168-1; 246 pages
Heterogeneous Approximate Multipliers: Architectures and Design Methodologies / S. Rehman, B. Prabakaran, W. El-Harouni, M. Shafique, J. Henkel / in: "Approximate Circuits: Methodologies and CAD", Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, 45 - 66
Approximate Multi-Accelerator Tiled Architecture for Energy-Efficient Motion Estimation / B. Prabakaran, W. El-Harouni, S. Rehman, M. Shafique / in: "Approximate Circuits: Methodologies and CAD", Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, 249 - 268
Probabilistic Error Analysis of Approximate Adders and Multipliers / S. Mazahir, M. Ayub, O. Hasan, M. Shafique / in: "Approximate Circuits: Methodologies and CAD", Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, 99 - 120
Hardware-Software Approximations for Deep Neural Networks / M. Hanif, M. Javed, R. Hafiz, S. Rehman, M. Shafique / in: "Approximate Circuits: Methodologies and CAD", Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, 269 - 288
Energy-Efficient Design of Advanced Machine Learning Hardware / M. Hanif, R. Hafiz, M. Javed, S. Rehman, M. Shafique / in: "Machine Learning in VLSI Computer-Aided Design", Springer International Publishing, Switzerland, 2019, 647 - 678
Configurable Models and Design Space Exploration for Low-Latency Approximate Adders / M. Hanif, R. Hafiz, M. Shafique / in: "Approximate Circuits: Methodologies and CAD", Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8, 3 - 23
Approximate Computing across the Hardware and Software Stacks / M. Shafique, O. Hasan, R. Hafiz, S. Mazahir, M. Hanif, S. Rehman / in: "Many-Core Computing: Hardware and Software", IET, 2019, ISBN: 978-1-785-61583-2, 497 - 522
Through an Inference Rule, Darkly / R. Kuznets / in: "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, 131 - 158
Approximate Circuits: Methodologies and CAD / S. Reda, M. Shafique / Springer International Publishing, Switzerland, 2019, ISBN: 978-3-319-99321-8; 495 pages
On Linear-Time Data Dissemination in Dynamic Rooted Trees / M. Zeiner, M. Schwarz, U. Schmid / Discrete Applied Mathematics, 255 (2019), 307 - 319
SalvageDNN: Salvaging Deep Neural Network Accelerators with Permanent Faults through Saliency-driven Fault-aware Mapping / M. Hanif, M. Shafique / Philosophical Transactions of The Royal Society A, 378 (2019), 2164; 1 - 23
ECAx: Balancing Error Correction Costs in Approximate Accelerators / J. Castro-Godinez, M. Shafique, J. Henkel / ACM Transactions on Embedded Computing Systems, 18 (2019), 55; 1 - 20
m-SAAC: Multi-stage Adaptive Approximation Control to Select Approximate Computing Modes for Vision Applications / R. Amjad, R. Hafiz, M. Ilyas, M. Younis, M. Shafique / Microelectronics Journal, 91 (2019), 84 - 91
X-CGRA: An Energy-Efficient Approximate Coarse-Grained Reconfigurable Architecture / O. Akbari, M. Kamal, A. Afzali-Kusha, M. Pedram, M. Shafique / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, - (2019), 1 - 14
Architectural-Space Exploration of Heterogeneous Reliability and Checkpointing Modes for Out-of-Order Superscalar Processors / B. Prabakaran, M. Dave, F. Kriebel, S. Rehman, M. Shafique / IEEE Access, 7 (2019), 145324 - 145339
Towards Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques under Multi-Threaded Workloads / S. Bukhari, F. Khalid, O. Hasan, M. Shafique, J. Henkel / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, - (2019), 1 - 14
MACISH: Designing Approximate MAC Accelerators With Internal-Self-Healing / G. A. Gillani, M. Hanif, B. Verstoep, S. H. Gerez, M. Shafique, A. B. J. Kokkeler / IEEE Access, 7 (2019), 77142 - 77160
Self-Compensating Accelerators for Efficient Approximate Computing / S. Mazahir, O. Hasan, M. Shafique / Microelectronics Journal, 88 (2019), 9 - 17
Application and Thermal-reliability-aware Reinforcement Learning Based Multi-core Power Management / S. Pudukotai Dinakarrao, A. Joseph, A. Haridass, M. Shafique, J. Henkel, H. Homayoun / ACM Journal on Emerging Technologies in Computing Systems, 15 (2019), 4; 1 - 19
On the Effect of Approximate-Computing in Motion Estimation / A. Paltrinieri, R. Peloso, G. Masera, M. Shafique, M. Martina / ASP Journal of Low Power Electronics (JOLPE), 15 (2019), 1; 40 - 50
Computer-aided arrhythmia diagnosis with bio-signal processing: A survey of trends and techniques / S. Pudukotai Dinakarrao, A. Jantsch, M. Shafique / Acm Computing Surveys, 52 (2019), 2; 1 - 37
Consensus in rooted dynamic networks with short-lived stability / K. Winkler, M. Schwarz, U. Schmid / Distributed Computing, 32 (2019), 5; 443 - 458
Maehara-style Modal Nested Calculi / R. Kuznets, L. Strassburger / Archive for Mathematical Logic, 58 (2019), 3-4; 359 - 385
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking / I. Stoilkovska, I. Konnov, J. Widder, F. Zuleger / in: "International Conference on Tools and Algorithms for the Construction and Analysis of Systems", Springer, 2019, 357 - 374
Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries / N. Bertrand, I. Konnov, M. Lazić, J. Widder / in: "30th International Conference on Concurrency Theory", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2019, 33:1 - 33:15
Design and Implementation of the Bachelor with Honors Program at TU Wien / U. Schmid / Journal of the European Honors Council, 3 (2019), 2; 9 pages
An Experimental Study of Metastability-Induced Glitching Behavior / T. Polzer, F. Huemer, A. Steininger / Journal of Circuits, Systems, and Computers, 28 (2019), Suppl 1; 21 pages
An Overview of Recent Results for Consensus in Directed Dynamic Networks / K. Winkler, U. Schmid / Bulletin of the EATCS, 128 (2019), 30 pages
Novel Approaches for Efficient Delay-Insensitive Communication / F. Huemer, A. Steininger / Journal of Low Power Electronics and Applications, 9 (2019), 16; 41 pages
A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems / D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci / IEEE Access, 7 (2019), 1; 24 pages
Special Issue "Selected Papers from the 24th IEEE International Symposium on Asynchronous Circuits and Systems - ASYNC 2018" / M. Krstic, I. Jones, A. Steininger, M Függer / Journal of Low Power Electronics and Applications, 9 (2019), 2; 2 pages
2019 Principles of Distributed Computing Doctoral Dissertation Award / P. Jayanti, N. Lynch, B. Patt-Shamir, U. Schmid / in: "Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing (PODC'19)", ACM, 2019, 2
A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus / H. Rincon Galeana, K. Winkler, U. Schmid, S. Rajsbaum / Report for Institut für Computer Engineering E191-02; Report No. TUW-281149, 2019
Fault-tolerant High-Performance Clock Distribution / A. Kinali, C. Lenzen, M. Perner / Report No. TUW-278925, 2019
Knowledge in Byzantine Message-Passing Systems I: Framework and the Causal Cone / L. Prosperi, R. Kuznets, U. Schmid, K. Fruzsa, L. Gréaux / Report for Institut für Technische Informatik; Report No. TUW-260549, 2019

2018

ApproxCT: Approximate Clustering Techniques for Energy Efficient Computer Vision in Cyber-Physical Systems / R. Javed, A. Siddique, R. Hafiz, O. Hasan, M. Shafique / Talk: 2018 12th International Conference on Open Source Systems and Technologies (ICOSST), Lahore, Pakistan; 2018-12-19 - 2018-12-21; in: "Proceeding of 2018 International Conference on Open Source Systems and Technologies (ICOSST)", IEEE, (2018), ISBN: 978-1-5386-9564-7; 64 - 70
Security for Machine Learning-based Systems: Attacks and Challenges during Training and Inference / F. Khalid, M. Hanif, S. Rehman, M. Shafique / Talk: 16th International Conference on Frontiers of Information Technology (FIT), Islamabad, Pakistan; 2018-12-17 - 2018-12-19; in: "16th International Conference on Frontiers of Information Technology (FIT)", (2018), 1 - 6
HW/SW Co-Design and Co-Optimizations for Deep Learning / A. Marchisio, R. Putra, M. Hanif, M. Shafique / Talk: Workshop on INTelligent Embedded Systems Architectures and Applications (INTESA), at the Embedded Systems Week (ESWeek), Turin, Italy; 2018-09-30 - 2018-10-05; in: "Workshop on INTelligent Embedded Systems Architectures and Applications (INTESA), at the Embedded Systems Week (ESWeek)", (2018), ISBN: 978-1-4503-6598-7; 13 - 18
An Optimized Partial-Distortion-Elimination Based Sum-of-Absolute-Differences Architecture for High-Efficiency-Video-Coding / P. Selvo, M. Masera, R. Peloso, G. Masera, M. Shafique, M. Martina / Talk: The 6th Conference on Applications in Electronics Pervading Industry, Environment and Society (ApplePies), Pisa, Italy; 2018-09-26 - 2018-09-27; in: "The 6th Conference on Applications in Electronics Pervading Industry, Environment and Society (ApplePies)", (2018), 1 - 6
Scalable Dynamic Task Scheduling on Adaptive Many-Core / V. Venkataramani, A. Pathania, M. Shafique, T. Mitra, J. Henkel / Talk: IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC), Hanoi, Vietnam; 2018-09-12 - 2018-09-14; in: "IEEE 12th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC)", (2018), ISBN: 978-1-5386-6689-0; 168 - 175
On linear-time data dissemination in dynamic trees / M. Zeiner, M. Schwarz, U. Schmid / Talk: CSASC 2018, Bratislava; 2018-09-11 - 2018-09-14; in: "CSASC 2018 - Book of Abstracts", (2018), 113
Reachability in Parameterized Systems: All Flavors of Threshold Automata / J. Kukovec, I. Konnov, J. Widder / Talk: International Conference on Concurrency Theory (CONCUR), Bejing, China; 2018-09-04 - 2018-09-07; 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; 19:1 - 19:17
Intelligent Security Measures for Smart Cyber Physical Systems / M. Shafique, F. Khalid, S. Rehman / Talk: 2018 21st Euromicro Conference on Digital System Design (DSD), Prague, Czech Republic; 2018-08-29 - 2018-08-31; in: "2018 21st Euromicro Conference on Digital System Design (DSD)", (2018), ISBN: 978-1-5386-7376-8; 280 - 287
Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents / R. Kuznets, B. Lellmann / Talk: Advances in Modal Logic 2018, Bern, Schweiz; 2018-08-27 - 2018-08-31; in: "Advances in Modal Logic, Volume 12", G. Bezhanishvili, G. D´Agostino, G Metcalfe, T. Studer (ed.); College Publications, (2018), ISBN: 978-1-84890-255-8; 473 - 492
What do Byzantine agents know? / L. Gréaux, R. Kuznets, L. Prosperi, U. Schmid / Talk: First joint workshop by the Mathematics and the Philosophy Research Institutes of UNAM, Mexiko-Stadt, Mexiko (invited); 2018-08-06 - 2018-08-09
Hardware Trojan Based Security Issues in Home Area Network: a Testbed Setup / H. Mohammed, J. Howell, S. R. Hasan, N. Guo, F. Khalid, O. Elkeelany / Talk: Midwest Symposium on Circuits and Systems, Windsor, Canada; 2018-08-05 - 2018-08-08; in: "International Midwest Symposium on Circuits and Systems", IEEE, Windsor, canada (2018), 1 - 4
Tight Bounds for Asymptotic and Approximate Consensus / M Függer, T. Nowak, M. Schwarz / Talk: 37th ACM Symposium on Principles of Distributed Computing (PODC'18), Royal Holloway, University of London, Egham, United Kingdom; 2018-07-23 - 2018-07-27; in: "Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing (PODC '18)", ACM, (2018), ISBN: 978-1-4503-5795-1; 325 - 334
Verifying nonlinear analog and mixed-signal circuits with inputs / C. Fan, Y. Meng, J. Maier, E. Bartocci, S. Mitra, U. Schmid / Talk: Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK; 2018-07-11 - 2018-07-13; in: "Proc. of ADHS 2018: the 6th IFAC Conference on Analysis and Design of Hybrid Systems", IFAC-PapersOnLine, 51 / 16 (2018), 241 - 246
PruNet: Class-Blind Pruning Method for Deep Neural Networks / A. Marchisio, M. Hanif, M. Martina, M. Shafique / Poster: IEEE International Joint Conference on Neural Networks (IJCNN), Rio de Janeiro, Brasil; 2018-07-08 - 2018-07-13; in: "2018 International Joint Conference on Neural Networks (IJCNN)", (2018), ISBN: 978-1-5090-6014-6; 1 - 8
Robustness for Smart Cyber Physical Systems and Internet-of-Things: From Adaptive Robustness Methods to Reliability and Security for Machine Learning / F. Kriebel, S. Rehman, M. Hanif, F. Khalid, M. Shafique / Talk: 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Hong Kong, China; 2018-07-08 - 2018-07-11; in: "2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)", (2018), ISBN: 978-1-5386-7099-6; 581 - 586
Robust Machine Learning Systems: Reliability and Security for Deep Neural Networks / M. Hanif, F. Khalid, R. Putra, S. Rehman, M. Shafique / Talk: 24th IEEE International Symposium on On-Line Testing And Robust System Design (IOLTS'18), Platja d'Aro, Spain; 2018-07-02 - 2018-07-04; in: "2018 IEEE 24th International Symposium on On-Line Testing and Robust System Design (IOLTS)", (2018), ISBN: 978-1-5386-5992-2; 257 - 260
Hardware and Software Techniques for Heterogeneous Fault-Tolerance / S. Rehman, F. Kriebel, B. Prabakaran, F. Khalid, M. Shafique / Talk: 2018 IEEE 24th International Symposium on On-Line Testing and Robust System Design (IOLTS), Platja d'Aro, Spain; 2018-07-02 - 2018-07-04; in: "2018 IEEE 24th International Symposium on On-Line Testing and Robust System Design (IOLTS)", (2018), ISBN: 978-1-5386-5992-2; 115 - 118
Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures / M. Perner, U. Schmid / Talk: 24th IEEE International Symposium on On-Line Testing And Robust System Design (IOLTS'18), Platja D'Aro, Spain; 2018-07-02 - 2018-07-04; in: "Proceedings 24th IEEE International Symposium on On-Line Testing And Robust System Design (IOLTS'18)", (2018), 157 - 164
Approximate On-The-Fly Coarse-Grained Reconfigurable Acceleration for General-Purpose Applications / M. Brandalero, A. C. S. Beck, L. Carro, M. Shafique / Talk: 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), San Fransisco, USA; 2018-06-24 - 2018-06-28; in: "2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC)", (2018), ISSN: 0738-100x; 1 - 6
Area-Optimized Low-Latency Approximate Multipliers for FPGA-based Hardware Accelerators / S. Ullah, S. Rehman, B. Prabakaran, F. Kriebel, M. Hanif, M. Shafique, A. Kumar / Talk: 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), San Fransisco, USA; 2018-06-24 - 2018-06-28; in: "2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC)", (2018), ISSN: 0738-100x; 1 - 6
QoS-Aware Stochastic Power Management for Many-Cores / A. Pathania, K. Khdr, M. Shafique, T. Mitra, J. Henkel / Talk: 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC), San Fransisco, USA; 2018-06-24 - 2018-06-28; in: "2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC)", (2018), ISSN: 0738-100x; 1 - 6
On Knowledge and Communication Complexity in Distributed Systems / D. Pfleger, U. Schmid / Talk: 25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018), Ma'ale HaHamisha, Israel; 2018-06-18 - 2018-06-21; in: "Proceedings 25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018)", Springer International Publishing, (2018), ISSN: 0302-9743; 312 - 330
On the Strongest Message Adversary for Consensus in Directed Dynamic Networks / U. Schmid, M. Schwarz, K. Winkler / Talk: 25th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018), Ma'ale HaHamisha, Israel; 2018-06-18 - 2018-06-21; in: "Structural Information and Communication Complexity", Springer International Publishing, (2018), ISSN: 0302-9743; 102 - 120
FPGA-Based Convolutional Neural Network Architecture with Reduced Parameter Requirements / M. Hailesellasie, S. R. Hasan, F. Khalid, F. Awwad, M. Shafique / Talk: 2018 IEEE International Symposium on Circuits and Systems (ISCAS), Florence, Italy; 2018-05-27 - 2018-05-30; in: "2018 IEEE International Symposium on Circuits and Systems (ISCAS)", (2018), ISBN: 978-1-5386-4881-0; 1 - 5
Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices / F. Khalid, S. Nanjiani, S. R. Hasan, O. Hasan, F. Awwad, M. Shafique / Talk: 2018 IEEE International Symposium on Circuits and Systems (ISCAS), Florence, Italy; 2018-05-27 - 2018-05-30; in: "2018 IEEE International Symposium on Circuits and Systems (ISCAS)", (2018), ISBN: 978-1-5386-4881-0; 1 - 5
Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance / M Függer, A. Kinali, C. Lenzen, B. Wiederhake / Talk: 24th IEEE International Symposium on Asynchronous Circuits and Systems, Wien; 2018-05-13 - 2018-05-16; in: "24th IEEE International Symposium on Asynchronous Circuits and Systems", Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, (2018), 68 - 77
Interpolation using sequents and their generalisations / R. Kuznets / Keynote Lecture: PhDs in Logic X, Prague (invited); 2018-05-01 - 2018-05-04
Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto / C. Dragoi, M. Lazić, J. Widder / Talk: Sinteza 2018 International Scientific Conference on Information Technology and Data Related Research, Belgrad, Serbien (invited); 2018-04-20; in: "Sinteza 2018 International Scientific Conference on Information Technology and Data Related Research", Singidunum University, 15 (2018), 131 - 138
Error Resilience Analysis for Systematically Employing Approximate Computing in Convolutional Neural Networks / M. Hanif, R. Hafiz, M. Shafique / Poster: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; 2018-03-19 - 2018-03-23; in: "IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE)", (2018), ISBN: 978-3-9819263-1-6; 913 - 916
DeMAS: An Efficient Design Methodology for Building Approximate Adders for FPGA-Based Systems / B. Prabakaran, S. Rehman, M. Hanif, S. Ullah, G. Mazaheri, A. Kumar, M. Shafique / Poster: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; 2018-03-19 - 2018-03-23; in: "IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE)", (2018), ISBN: 978-3-9819263-1-6; 917 - 920
Compiler-Driven Error Analysis for Designing Approximate Accelerators / J. Castro-Godinez, S. Esser, M. Shafique, S. Pagani, J. Henkel / Talk: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; 2018-03-19 - 2018-03-23; in: "IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE)", (2018), ISBN: 978-3-9819263-1-6; 1027 - 1032
HiMap: A Hierarchical Mapping Approach for Enhancing Lifetime Reliability of Dark Silicon Manycore Systems / V. Rathore, V. Chaturvedi, A. K. Singh, T. Srikanthan, R. R., S.-K. Lam, M. Shafique / Talk: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; 2018-03-19 - 2018-03-23; in: "IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE)", (2018), ISBN: 978-3-9819263-1-6; 991 - 996
AdAM: Adaptive Approximation Management for the Non-Volatile Memory Hierarchies / M. T. Teimoori, M. Hanif, A. Ejlali, M. Shafique / Talk: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; 2018-03-19 - 2018-03-23; in: "IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE)", (2018), ISBN: 978-3-9819263-1-6; 785 - 790
PX-CGRA: Polymorphic Approximate Coarse-Grained Reconfigurable Architecture / O. Akbari, M. Kamal, A. Afzali-Kusha, M. Pedram, M. Shafique / Talk: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; 2018-03-19 - 2018-03-23; in: "IEEE/ACM 21st Design, Automation and Test in Europe Conference & Exhibition (DATE)", (2018), ISBN: 978-3-9819263-1-6; 413 - 418
An Overview of Next-Generation Architectures for Machine Learning: Roadmap, Opportunities and Challenges in the IoT Era / M. Shafique, T. Theocharides, C.-S. Bouganis, M. Hanif, F. Khalid, R. Hafiz, S. Rehman / Talk: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; 2018-03-19 - 2018-03-23; in: "IEEE/ACM 21st Design, Automation and Test in Europe Conference (DATE)", (2018), ISBN: 978-3-9819263-1-6; 827 - 832
A Faithful Binary Circuit Model with Adversarial Noise / M Függer, J. Maier, R. Najvirt, T. Nowak, U. Schmid / Talk: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE'18), Dresden, Deutschland; 2018-03-19 - 2018-03-23; in: "Proceedings of the 2018 Design, Automation & Test in Europe (DATE)", (2018), ISBN: 978-3-9819263-1-6; 1327 - 1332
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction / B. Aminof, S. Rubin, I. Stoilkovska, J. Widder, F. Zuleger / Talk: Verification, Model Checking, and Abstract Interpretation (VMCAI), Los Angeles; 2018-01-07 - 2018-01-09; in: "VMCAI", LNCS/Springer, 10747 (2018), 1 - 24
Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores / S. Pagani, J. Chen, M. Shafique, J. Henkel / Springer International Publishing, Switzerland, 2018, ISBN: 978-3-319-77478-7; 250 pages
Dark Silicon Aware Resource Management for Many-Core Systems / K. Khdr, S. Pagani, M. Shafique, J. Henkel / in: "Dark Silicon and Future On-chip Systems", 110; issued by: Elsevier; Elsevier, United States, 2018, ISBN: 978-0-12-815358-1, 127 - 170
Proceedings 32nd International Symposium on Distributed Computing / U. Schmid, J. Widder / Dagstuhl Publishing LIPICS, 2018, ISBN: 978-3-95977-092-7; 736 pages
X-DNNs: Systematic Cross-Layer Approximations for Energy-Efficient Deep Neural Networks / M. Hanif, A. Marchisio, T. Arif, R. Hafiz, S. Rehman, M. Shafique / ASP Journal of Low Power Electronics (JOLPE), 14 (2018), 4; 520 - 534
SmartDPM: Machine Learning-based Dynamic Power Management for Multi-Core Microprocessors / S. Pudukotai Dinakarrao, A. Jantsch, M. Shafique / ASP Journal of Low Power Electronics (JOLPE), 14 (2018), 4; 460 - 474
Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification / F. Khalid, S. R. Hasan, O. Hasan, F. Awwad / Integration the VLSI journal, 61 (2018), C; 62 - 76
Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management / S. Iqbal, S. Sardar, F. Khalid, O. Hasan / International Journal of Disaster Risk Reduction, 31 (2018), October 2018; 1043 - 1053
Automated Competitive Analysis of Real-time Scheduling with Graph Games / K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid / Real-Time Systems, 54 (2018), 1; 166 - 207
Metastability-Containing Circuits / S. Friedrichs, M Függer, C. Lenzen / IEEE Transactions on Computers, 67 (2018), 8; 1167 - 1183
Towards Approximate Computing for Coarse-Grained Reconfigurable Architectures / O. Akbari, M. Kamal, A. Afzali-Kusha, M. Pedram, M. Shafique / IEEE Micro, Early Access (2018), 1 - 10
Run-Time Adaptive Power-Aware Reliability Management for Manycores / M. Salehi, A. Ejlali, M. Shafique / Ieee Design & Test, 35 (2018), 5; 36 - 44
Hybrid Scratchpad Video Memory Architecture for Energy-Efficient Parallel HEVC / F. M. Sampaio, B. Zatt, M. Shafique, J. Henkel, S. Bampi / IEEE Transactions on Circuits and Systems for Video Technology, Early Access (2018), 1 - 12
SquASH: Approximate Square-Accumulate with Self-Healing / G. A. Gillani, M. Hanif, M. Krone, S. H. Gerez, M. Shafique, A. B. J. Kokkeler / IEEE Access, 6 (2018), 49112 - 49128
adBoost: Thermal Aware Performance Boosting Through Dark Silicon Patterning / A. Kanduri, M.-H. Haghbayan, A. Rahmani, M. Shafique, A. Jantsch, P. Liljeberg / IEEE Transactions on Computers, 67 (2018), 8; 1062 - 1077
Adaptive Approximate Computing in Arithmetic Datapaths / S. Mazahir, O. Hasan, M. Shafique / Ieee Design & Test, 35 (2018), 4; 65 - 74
Aging-Aware Workload Management on Embedded GPU Under Process Variation / H. Lee, M. Shafique, M. Al Faruque / IEEE Transactions on Computers, 67 (2018), 7; 920 - 933
McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits / I. H. Abbassi, F. Khalid, O. Hasan, A. M. Kamboh, M. Shafique / IEEE Access, 6 (2018), 32240 - 32257
Gracefully degrading consensus and k-set agreement in directed dynamic networks / M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler / Theoretical Computer Science, 726 (2018), 41 - 77
Refined Metastability Characterization Using a Time-to-Digital Converter / T. Polzer, F. Huemer, A. Steininger / Microelectronics Reliability, 80 (2018), 91 - 99
Advanced Delay-Insensitive 4-Phase Protocols / F. Huemer, A. Steininger / in: "2018 Austrochip Workshop on Microelectronics (Austrochip)", issued by: IEEE CS Press; IEEE Xplore Digital Library, 2018, ISBN: 978-1-5386-8200-5, 50 - 55
Using a Duplex Time-to-Digital Converter for Metastability Characterization of an FPGA / F. Huemer, T. Polzer, A. Steininger / in: "2018 IEEE 21st International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)", issued by: IEEE CS Press; IEEE Xplore Digital Library, 2018, ISBN: 978-1-5386-5754-6, 141 - 146
Partially Systematic Constant-Weight Codes for Delay-Insensitive Communication / F. Huemer, A. Steininger / in: "2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", issued by: IEEE CS Press; IEEE Xplore Digital Library, 2018, ISBN: 978-1-5386-5883-3, 17 - 25
2018 Edsger W. Dijkstra Prize in Distributed Computing / Y. Afek, I. Keidar, B. Patt-Shamir, S. Rajsbaum, U. Schmid, G. Taubenfeld / in: "Proceedings 2018 ACM Symposium on Principles of Distributed Computing (PODC'18)", ACM Press, 2018, ISBN: 978-1-4503-5795-1, 1
State Recovery for Coarse-Grain TMR Designs in FPGAs Using Partial Reconfiguration / M. Schütz, A. Steininger, F. Huemer, J. Lechner / in: "2018 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)", issued by: IEEE CS Press; IEEE Xplore Digital Library, 2018, ISBN: 978-1-5386-8398-9, 6 pages
TransportBuddy: Navigation in Human Accessible Spaces / M. Bader, G. Todoran, F. Beck, B. Binder, K. Buchegger / in: "Proceedings of 7th Transport Research Arena TRA 2018", Zenodo, 2018, 10 pages
Guest Editorial: Special Issue on Low-Power Dependable Computing / D. Zhu, M. Shafique, M. Lin, S. Pasricha / IEEE Transactions on Sustainable Computing, 3 (2018), 3; 137 - 138
Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures / M. Perner, U. Schmid / Report for Institut für Technische Informatik; Report No. TUW-268547, 2018
FWF-Proposal DMAC: Digital Modeling of Asynchronous Integrated Circuits / U. Schmid / Report No. TUW-278607, 2018
Involution Tool / D. Öhlinger / Report No. TUW-278633, 2018
On Knowledge and Communication Complexity in Distributed Systems / D. Pfleger, U. Schmid / Report for Institute of Computer Engineering; Report No. TUW-269752, 2018
On the Strongest Message Adversary for Consensus in Directed Dynamic Networks / M. Schwarz, U. Schmid / Report No. TUW-269285, 2018

2017

Enabling Extreme Energy-Efficiency through Brain-Inspired Computing Trends: From Approximate to Neural Processing / M. Shafique / Keynote Lecture: 15th International Conference On Frontiers of Information Technology (FIT'17), Islamabad, Pakistan (invited); 2017-12-18 - 2017-12-20
Synthesis of Distributed Algorithms with Parameterized Threshold Guards / M. Lazić, I. Konnov, J. Widder, R. Bloem / Talk: International Conference On Principles Of Distributed Systems (OPODIS), Lissabon; 2017-12-18 - 2017-12-20; in: "OPODIS", LIPIcs-Leibniz International Proceedings in Informatics, (2017), 32:1 - 32:20
A Critical Charge Model for Estimating the SET and SEU Sensitivity: A Muller C-Element Case Study / M. Andjelkovic, M. Krstic, R. Kraemer, V. S. Veeravalli, A. Steininger / Talk: The 26th IEEE Asian Test Symposium (ATS´17), Taipei, Taiwan; 2017-11-27 - 2017-11-30; in: "Proceedings of the 26th IEEE Asian Test Symposium (ATS´17)", (2017), 1 - 6
The Byzantine Mind / R. Kuznets / Talk: Seminar Logic and Theoretical Computer Science, University of Bern (2017), Bern, Schweiz (invited); 2017-11-16
Emerging Brain-Inspired Computing Trends: From Approximate Computing to Neural Processing / M. Shafique / Keynote Lecture: International Conference On Latest Trends in Electrical Engineering and Computing Technologies (INTELLECT'17), Karachi, Pakistan (invited); 2017-11-15 - 2017-11-16
Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks / M Függer, T. Nowak, M. Schwarz / Talk: 31st International Symposium on Distributed Computing (DISC 2017), Wien; 2017-10-17 - 2017-10-19; in: "Leibniz International Proceedings in Informatics (LIPIcs)", (2017), ISSN: 1868-8969; 3 pages
Robust Heterogeneous Computing for CPS / M. Shafique / Talk: CPS Summer School 2017, Porto Contr Ricerche, Alghero, Italy; 2017-09-25 - 2017-09-30
Low-Power Computing and Emerging Trends / M. Shafique / Talk: CPS Summer School 2017, Porto Conte Ricerche, Alghero, Italy; 2017-09-25 - 2017-09-30
On Linear-Time Data Dissemination in Dynamic Rooted Trees / M. Zeiner, U. Schmid, M. Schwarz / Talk: 19th ÖMG Congress and Annual DMV Meeting, Salzburg; 2017-09-11 - 2017-09-15; in: "19th ÖMG Congress and Annual DMV Meetig Program and Books of Abstracts", (2017), 87
Setup for an Experimental Study of Radiation Effects in 65nm CMOS / B. Fritz, V. S. Veeravalli, A. Steininger, V. Simek / Talk: 20th Euromicro Conference on Digital System Design, Wien; 2017-08-30 - 2017-09-01; in: "Proceedings of the 20th Euromicro Conference on Digital System Design", (2017), 329 - 336
Adaptive and Energy-Efficient Architectures for Machine Learning: Challenges, Opportunities, and Research Roadmap / M. Shafique, R. Hafiz, M. Javed, S. Abbas, L. Sekanina, Z. Vasicek, V. Mrazek / Talk: 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'17), 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'17); 2017-07-03 - 2017-07-05; in: "Proceedings of 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'17)", IEEE, (2017), ISSN: 2159-3477; 617 - 632
QuAd: Design and Analysis of Quality-Area Optimal Low-Latency Approximate Adders / M. Hanif, R. Hafiz, O. Hasan, M. Shafique / Talk: 2017 ACM/EDAC/IEEE 54th Design Automation Conference (DAC'17), Austin, Texas, USA; 2017-06-18 - 2017-06-22; in: "Proceedings of the 54th Annual Design Automation Conference (DAC) 2017", ACM, (2017), ISBN: 978-1-4503-4927-7; 42:1 - 42:6
Statistical Error Analysis for Low Power Approximate Adders / M. Ayub, O. Hasan, M. Shafique / Talk: 2017 ACM/EDAC/IEEE 54th Design Automation Conference (DAC'17), Austin, Texas, USA; 2017-06-18 - 2017-06-22; in: "Proceedings of the 54th Annual Design Automation Conference (DAC) 2017", ACM, (2017), ISBN: 978-1-4503-4927-7; 75:1 - 75:6
Low-overhead Aging-aware Resource Management on Embedded GPUs / H. Lee, M. Shafique, M. Al Faruque / Talk: 2017 ACM/EDAC/IEEE 54th Design Automation Conference (DAC'17), Austin, Texas, USA; 2017-06-18 - 2017-06-22; in: "Proceedings of the 54th Annual Design Automation Conference (DAC) 2017", ACM, (2017), ISBN: 978-1-4503-4927-7; 67:1 - 67:6
Cross-Layer Approximate Computing: From Circuits to Applications / M. Shafique / Talk: Invited Talks at University of Twente, University of Twente, Netherlands (invited); 2017-06-02
Approximate Computing across the Hardware and Software Stacks / M. Shafique / Talk: Invited Talks at TU Eindhoven, TU Eindhoven, Netherlands (invited); 2017-05-30
Measuring Metastability with Free-Running Clocks / R. Najvirt, T. Polzer, A. Steininger / Talk: 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), San Diego, California; 2017-05-21 - 2017-05-24; in: "Proceedings 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017)", IEEE Computer Society, 10662 Los Vaqueros Circle (2017), ISBN: 978-1-5386-2749-5; Paper ID 37, 7 pages
Metastability tolerant computing / G. Tarawneh, M Függer, C. Lenzen / Talk: 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), San Diego, California; 2017-05-21 - 2017-05-24; in: "Proceedings 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017)", IEEE Computer Society, 10662 Los Vaqueros Circle (2017), ISBN: 978-1-5386-2749-5; 25 - 32
Metastability-aware memory-efficient time-to-digital converter / M Függer, A. Kinali, C. Lenzen, T. Polzer / Talk: 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017), San Diego, California; 2017-05-21 - 2017-05-24; in: "Proceedings 2017 23rd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2017)", IEEE Computer Society, 10662 Los Vaqueros Circle (2017), ISBN: 978-1-5386-2749-5; 49 - 56
A Self-Healing Framework for Building Resilient Cyber-Physical Systems / D. Ratasich, O. Höftberger, H. Isakovic, M. Shafique, R. Grosu / Talk: 20th IEEE International Symposium on Real-Time Computing (ISORC 2017), Toronto, Canada; 2017-05-16 - 2017-05-18; in: "Real-Time Distributed Computing (ISORC), 2017 IEEE 20th International Symposium on", IEEE, (2017), ISBN: 978-1-5386-1574-4; 133 - 140
Measuring Metastability Using a Time-to-Digital Converter / T. Polzer, F. Huemer, A. Steininger / Talk: 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Dresden; 2017-04-19 - 2017-04-21; in: "Proceedings 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems", IEEE Service Center, (2017), ISBN: 978-1-5386-0471-7; Paper ID 55, 6 pages
Scalable Probabilistic Power Budgeting for Many-Cores / A. Pathania, K. Khdr, M. Shafique, T. Mitra, J. Henkel / Talk: 2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17), Lausanne, Switzerland; 2017-03-27 - 2017-03-31; in: "Proceedings of the 2017 Design, Automation & Test in Europe (DATE)", IEEE, (2017), ISSN: 1558-1101; 864 - 869
CAnDy-TM: Comparative Analysis of Dynamic Thermal Management in Many-Cores using Model Checking / S. Bukhari, F. Lodhi, O. Hasan, M. Shafique, J. Henkel / Talk: 2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17), Lausanne, Switzerland; 2017-03-27 - 2017-03-31; in: "Proceedings of the 2017 Design, Automation & Test in Europe (DATE)", IEEE, (2017), ISSN: 1558-1101; 1289 - 1292
Secure Cyber-Physical Systems: Current Trends, Tools and Open Research Problems / A. Chattopadhyay, A. Prakash, M. Shafique / Talk: 2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17), Lausanne, Switzerland; 2017-03-27 - 2017-03-31; in: "Proceedings of the 2017 Design, Automation & Test in Europe (DATE)", IEEE, (2017), ISSN: 1558-1101; 1104 - 1109
Embracing Approximate Computing for Energy-Efficient Motion Estimation in High Efficiency Video Coding / W. El-Harouni, S. Rehman, B. Prabakaran, A. Kumar, R. Hafiz, M. Shafique / Talk: 2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17), Lausanne, Switzerland; 2017-03-27 - 2017-03-31; in: "Proceedings of the 2017 Design, Automation & Test in Europe (DATE)", IEEE, (2017), ISSN: 1558-1101; 1384 - 1389
Soft Error-Aware Architectural Exploration for Designing Reliability Adaptive Cache Hierarchies in Multi-Cores / A. Subramaniyan, S. Rehman, M. Shafique, A. Kumar, J. Henkel / Talk: 2017 IEEE/ACM 20th Design, Automation and Test in Europe Conference (DATE'17), Lausanne, Switzerland; 2017-03-27 - 2017-03-31; in: "Proceedings of the 2017 Design, Automation & Test in Europe (DATE)", IEEE, (2017), ISSN: 1558-1101; 37 - 42
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms / I. Konnov, M. Lazić, H. Veith, J. Widder / Talk: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Paris, France; 2017-01-18 - 2017-01-20; in: "POPL", ACM, Paris (2017), ISBN: 978-1-4503-4660-3; 719 - 734
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms / I. Konnov, J. Widder, F. Spegni, L. Spalazzi / Talk: Verification, Model Checking, and Abstract Interpretation (VMCAI), Paris; 2017-01-15 - 2017-01-17; in: "VMCAI 2017: Verification, Model Checking, and Abstract Interpretation", Springer, LNCS/10145/Paris (2017), ISBN: 978-3-319-52233-3; 347 - 366
Energy Efficient Embedded Video Processing Systems - A Hardware-Software Collaborative Approach / M. Khan, M. Shafique, J. Henkel / Springer International Publishing, 2017, ISBN: 978-3-319-61455-7; 238 pages
Design Space Exploration and Run-Time Adaptation for Multicore Resource Management Under Performance and Power Constraints / S. Pagani, M. Shafique, J. Henkel / in: "Handbook of Hardware/Software Codesign", Springer Science+Business Media, Dordrecht, 2017, ISBN: 978-94-017-7267-9, 301 - 332
Thermal Safe Power : Efficient Thermal-Aware Power Budgeting for Manycore Systems in Dark Silicon / S. Pagani, K. Khdr, J. Chen, M. Shafique, M. Li, J. Henkel / in: "The Dark Side of Silicon - Energy Efficient Computing in the Dark Silicon Era", Springer International Publishing, Switzerland, 2017, ISBN: 978-3-319-31596-6, 125 - 158
Adroit Use of Dark Silicon for Power, Performance and Reliability Optimisation of NoCs / H. Bokhari, M. Shafique, J. Henkel, S. Parameswaran / in: "The Dark Side of Silicon - Energy Efficient Computing in the Dark Silicon Era", Springer International Publishing, Switzerland, 2017, ISBN: 978-3-319-31596-6, 291 - 325
New transience bounds for max-plus linear systems / B. Charron-Bost, M Függer, T. Nowak / Discrete Applied Mathematics, 219 (2017), 83 - 99
A Model for the Metastability Delay of Sequential Elements / T. Polzer, A. Steininger / Journal of Circuits, Systems, and Computers, 26 (2017), 8; 174001001 - 174001022
Defragmentation of Tasks in Many-Core Architecture / A. Pathania, V. Venkataramani, M. Shafique, T. Mitra, J. Henkel / ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 14 (2017), 1; 2:1 - 2:21
Approximate Networking for Universal Internet Access / J. Qadir, A. Sathiaseelan, U. Farooq, M. Usama, M. Imran, M. Shafique / Future Internet, 9 (2017), 4; 1 - 23
Probabilistic Error Analysis of Approximate Recursive Multipliers / S. Mazahir, O. Hasan, R. Hafiz, M. Shafique / IEEE Transactions on Computers, 66 (2017), 11; 1982 - 1990
Optimal Greedy Algorithm for Many-Core Scheduling / A. Pathania, V. Venkataramani, M. Shafique, T. Mitra, J. Henkel / IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (2017), 6; 1054 - 1058
Energy Efficiency for Clustered Heterogeneous Multicores / S. Pagani, A. Pathania, M. Shafique, J. Chen, J. Henkel / IEEE Transactions on Parallel and Distributed Systems, 28 (2017), 5; 1315 - 1330
Computing in the Dark Silicon Era: Current Trends and Research Challenges / M. Shafique, S. Garg / Ieee Design & Test, 34 (2017), 2; 8 - 23
Fine-Grained Checkpoint Recovery for Application-Specific Instruction-Set Processors / T. Li, M. Shafique, J. Ambrose, J. Henkel, S. Parameswaran / IEEE Transactions on Computers, 66 (2017), 4; 647 - 660
Application-Guided Power-Efficient Fault Tolerance for H.264 Context Adaptive Variable Length Coding / M. Shafique, S. Rehman, F. Kriebel, M. Khan, B. Zatt, A. Subramaniyan, B. Vizzotto, J. Henkel / IEEE Transactions on Computers, 66 (2017), 4; 560 - 574
Probabilistic Error Modeling for Approximate Adders / S. Mazahir, O. Hasan, R. Hafiz, M. Shafique, J. Henkel / IEEE Transactions on Computers, 66 (2017), 3; 515 - 530
Thermal Safe Power (TSP): Efficient Power Budgeting for Heterogeneous Manycore Systems in Dark Silicon / S. Pagani, K. Khdr, J. Chen, M. Shafique, M. Li, J. Henkel / IEEE Transactions on Computers, 66 (2017), 1; 147 - 162
Power Density-Aware Resource Management for Heterogeneous Tiled Multicores / K. Khdr, S. Pagani, E. Sousa, V. Lari, A. Pathania, F. Hannig, M. Shafique, J. Teich, J. Henkel / IEEE Transactions on Computers, 66 (2017), 3; 488 - 501
A versatile architecture for long-term monitoring of single-event transient durations / V. S. Veeravalli, A. Steininger, U. Schmid / Microprocessors and Microsystems, 53 (2017), C; 130 - 144
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability / I. Konnov, H. Veith, J. Widder / Information and Computation, 252 (2017), 95 - 109
Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms / I. Konnov, M. Lazić, H. Veith, J. Widder / Formal Methods in System Design (invited), 51 (2017), 2; 270 - 307
Guest Editors´ Introduction: Computing in the Dark Silicon Era / M. Shafique, S. Garg, V. Chandra / Ieee Design & Test, 34 (2017), 2; 3 pages
Novel Trends in Design & Test / A. Steininger, A. Pawlak, V. Stopjakova / Journal of Circuits, Systems, and Computers, 26 (2017), 80 pages
Maehara-style Modal Nested Calculi / R. Kuznets, L. Strassburger / Report for HAL; Report No. RR-9123, 2017; 21 pages
Modeling the CMOS Inverter using Hybrid Systems / J. Maier / Report No. TUW-259633, 2017

2016

Architectural-Space Exploration of Approximate Multipliers / S. Rehman, W. El-Harouni, M. Shafique, A. Kumar, J. Henkel / Talk: The IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Austin, TX, USA; 2016-11-07 - 2016-11-10; in: "ICCAD", ACM New York, NY, USA, (2016), ISBN: 978-1-4503-4466-1
A Programmable Delay Line for Metastability Characterization in FPGAs / T. Polzer, F. Huemer, A. Steininger / Talk: 24th Austrian Workshop on Microelectronics (Austrochip), Villach; 2016-10-19; in: "Proceedings 24th Austrian Workshop on Microelectronics", (2016), 6 pages
A New Coding Scheme for Fault Tolerant 4-Phase Delay-Insensitive Codes / F. Huemer, J. Lechner, A. Steininger / Poster: 2016 IEEE International Conference on Computer Design, Phoenix, Arizona, USA; 2016-10-03 - 2016-10-05; in: "Proceedings 2016 IEEE International Conference on Computer Design", (2016), ISBN: 978-1-5090-5142-7; 392 - 395
Power and Thermal Management in Massive Multicore Chips: Theoretical Foundation meets Architectural Innovation and Resource Allocation / P. Bogdan, P. Pande, H. Amrouch, M. Shafique, J. Henkel / Keynote Lecture: International Conference on Compilers, Architecture and Synthesis for Embedded Systems [CASES 07], Pittsburgh, Pennsylvania, USA (invited); 2016-10-01 - 2016-10-07; in: "CASES", ACM, (2016), ISBN: 978-1-4503-4482-1
Broadcasting in Random Trees / M. Zeiner, M. Schwarz, K. Winkler, U. Schmid / Talk: ALEA in Europe - Young Researchers Workshop, TU Wien; 2016-09-06 - 2016-09-09
Design and Physical Implementation of a Target ASIC for SET Experiments / V. S. Veeravalli, A. Steininger / Poster: 2016 Euromicro Conference on Digital System Design (DSD), Limassol, Portugal; 2016-08-31 - 2016-09-02; in: "Proc. 2016 Euromicro Conference on Digital System Design (DSD)", IEEE, (2016), ISBN: 978-1-5090-2817-7; 694 - 697
Does Cascading Schmitt-Trigger Stages Improve the Metastable Behavior? / A. Steininger, R. Najvirt, J. Maier / Talk: 2016 Euromicro Conference on Digital System Design (DSD), Limassol, Portugal; 2016-08-31 - 2016-09-02; in: "2016 Euromicro Conference on Digital System Design (DSD)", IEEE, (2016), ISBN: 978-1-5090-2817-7; 372 - 379
A Framework for Connectivity Monitoring in Wireless Sensor Networks / D. Pfleger, U. Schmid / Talk: 10th International Conference on Sensor Technlogies and Applications (SENSORCOMM'16), Nice, France; 2016-07-24 - 2016-07-28; in: "Proceedings 10th International Conference on Sensor Technlogies and Applications (SENSORCOMM'16)", IARIA XPS Press, (2016), ISBN: 978-1-61208-490-9; 40 - 48
Model Checking of Threshold-based Fault-Tolerant Distributed Algorithms / M. Lazić, I. Konnov, H. Veith, J. Widder / Talk: 7th Workshop on Program Semantics, Specification and Verification: Theory and Applications, St. Petersburg, Russia (invited); 2016-07-14 - 2016-07-15
Fast, Robust, Quantizable Approximate Consensus / B. Charron-Bost, M Függer, T. Nowak / Talk: International Colloquium on Automata, Languages and Programming (ICALP), Rome, Italy; 2016-07-12 - 2016-07-15; in: "Proceedings 43rd International Colloquium on Automata, Languages, and Programming (ICALP'16)", Leibniz International Proceedings in Informatics (LIPIcs), (2016), ISBN: 978-3-95977-013-2; 1 - 14
Fault-tolerant Clock Synchronization with High Precision / A. Kinali, F. Huemer, C. Lenzen / Talk: 2016 IEEE Computer Society Annual Symposium on VLSI, Pittsburgh, PA, USA; 2016-07-11 - 2016-07-13; in: "Proc. 2016 IEEE Computer Society Annual Symposium on VLSI", (2016), 490 - 495
Easy Impossibility Proofs for k-Set Agreement / U. Schmid / Talk: Dagstuhl Seminar #16282 Topological Methods in Distributed Computing, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (invited); 2016-07-10 - 2016-07-15
Study of a Delayed Single-Event Effect in the Muller C-element / V. S. Veeravalli, A. Steininger / Poster: 21st IEEE European Test Symposium, Amsterdam; 2016-05-24 - 2016-05-27; in: "Proc 21st IEEE European Test Symposium", (2016), ISBN: 978-1-4673-9659-2
Parameterized Verification of Liveness of Distributed Algorithms / I. Konnov, M. Lazić, H. Veith, J. Widder / Talk: Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Marrakech, Marocco; 2016-05-17
The Metastable Behavior of a Schmitt-Trigger / A. Steininger, J. Maier, R. Najvirt / Talk: 22nd IEEE International Symposium on Asynchronous Circuits and Systems, Porto Alegre -- Brazil; 2016-05-08 - 2016-05-11; in: "2016 22nd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC)", IEEE Computer Society Conference Publishing Services (CPS), (2016), ISBN: 978-1-4673-9007-1; 57 - 64
A General Approach for Comparing Metastable Behavior of Digital CMOS Gates / T. Polzer, A. Steininger / Talk: 19th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Kosice, Slovakia; 2016-04-20 - 2016-04-22; in: "Proc 19th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems", (2016), ISBN: 978-1-5090-2467-4; 6 pages
Reconciling Fault-Tolerance and Robustness ? / U. Schmid / Keynote Lecture: Workshop on Design and Analysis of Robust Systems @ CPS-Week 2016, Hofburg Vienna, Austria (invited); 2016-04-11
Fast Consensus Under Eventually Stabilizing Message Adversaries / M. Schwarz, K. Winkler, U. Schmid / Talk: 17th International Conference on Distributed Computing and Networking, Singapore; 2016-01-04 - 2016-01-07; in: "Proceedings of the 17th International Conference on Distributed Computing and Networking", ACM, (2016), ISBN: 978-1-4503-4032-8; 1 - 10
Fifty Shades of Synchrony / A. Steininger / in: "This Asynchronous Woirld", A. Mokhov (ed.); Newcastle University, Newcastle upon Tyne, 2016, (invited), ISBN: 978-0-7017-0257-1, 294 - 300
Scalable Power Management for On-Chip Systems with Malleable Applications / M. Shafique, A. Ivanov, B. Vogel, J. Henkel / IEEE Transactions on Computers, 65 (2016), 11; 3398 - 3412
Task Mapping for Redundant Multithreading in Multi-Cores with Reliability and Performance Heterogeneity / K. Chen, J. Chen, F. Kriebel, S. Rehman, M. Shafique, J. Henkel / IEEE Transactions on Computers, 65 (2016), 11; 3441 - 3454
Content-Aware Low-Power Conﬁgurable Aging Mitigation for SRAM Memories / M. Shafique, M. Usman Karim Khan, J. Henkel / IEEE Transactions on Computers, 65 (2016), 12; 3617 - 3630
Unfaithful Glitch Propagation in Existing Binary Circuit Models / M Függer, T. Nowak, U. Schmid / IEEE Transactions on Computers, 65 (2016), 3; 964 - 978
Decidability of Parameterized Verification / R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder / ACM SIGACT News, 47 (2016), 2; 53 - 64
HEX: Scaling Honeycombs is Easier than Scaling Clock Trees / D. Dolev, M Függer, C. Lenzen, M. Perner, U. Schmid / Journal of Computer and System Sciences, 82 (2016), 5; 929 - 956
Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks / M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler / Report No. TUW-258404, 2016
FWF-Proposal SPRG: Structural Properties of Random Graphs / M. Zeiner, U. Schmid, U. Schilcher, C. Bettstetter / Report for Institut für Technische Informatik, TU Wien; 2016

2015

Can we trust SET Injection Models? / V. S. Veeravalli, A. Steininger / Talk: MEDIAN Finale Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale, Tallinn, Estonia; 2015-11-10 - 2015-11-11; in: "MEDIAN Finale Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale", (2015), 6 pages
Methods for Analysing and Improving the Fault Resilience of Delay-Insensitive Codes / J. Lechner, A. Steininger, F. Huemer / Talk: 33rd IEEE International Conference on Computer Design, New York City, USA; 2015-10-19 - 2015-10-21; in: "33rd IEEE International Conference on Computer Design", (2015), 8 pages
Revisiting Sorting Network based Completion Detection for 4 Phase Delay Insensitive Codes / F. Huemer, M. Schütz, A. Steininger / Talk: Austrochip Workshop on Microelectronics, Wien; 2015-09-28; in: "Austrochip Workshop on Microelectronics", (2015), 6 pages
A Practical Comparison of 2-Phase Delay Insensitve Communication Protocols / M. Schütz, F. Huemer, A. Steininger / Talk: Austrochip Workshop on Microelectronics, Wien; 2015-09-28; in: "Austrochip Workshop on Microelectronics", (2015), 6 pages
A Versatile and Reliable Glitch Filter for Clocks / R. Najvirt, A. Steininger / Talk: 25th International Workshop on Power and Timing Modeling, Optimization and Simulation, Salvador, Brasilien; 2015-09-01 - 2015-09-04; in: "25th International Workshop on Power and Timing Modeling, Optimization and Simulation", (2015), 8 pages
Reliable and Continuous Measurement of SET Pulse Widths / V. S. Veeravalli, A. Steininger / Talk: 18th Euromicro Conference on Digital System Design, Funchal, Portugal; 2015-08-26 - 2015-08-28; in: "18th Euromicro Conference on Digital System Design", (2015), 8 pages
Enhanced Metastability Characterization based on AC Analysis / T. Polzer, A. Steininger / Talk: 18th Euromicro Conference on Digital System Design, Funchal, Portugal; 2015-08-26 - 2015-08-28; in: "18th Euromicro Conference on Digital System Design", (2015), 9 pages
Measuring the Distribution of Metastable Upsets over Time / T. Polzer, A. Steininger / Talk: 18th Euromicro Conference on Digital System Design, Funchal, Portugal; 2015-08-26 - 2015-08-28; in: "Measuring the Distribution of Metastable Upsets over Time", (2015), 8 pages
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms / I. Konnov, H. Veith, J. Widder / Keynote Lecture: Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, Kazan, Russland (invited); 2015-08-25 - 2015-08-27; in: "Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015", LNCS / Springer, 9609 (2016), 6 - 21
Optimal Strategies for Repeated Leader Election / M. Zeiner, M Függer, T. Nowak, U. Schmid / Talk: Joint Austrian-Hungarian Mathematical Conference 2015, Györ; 2015-08-25 - 2015-08-27
A Pausible Clock with Crystal Oscillator Accuracy / R. Najvirt, A. Steininger / Talk: 22nd European Conference on Circuit Theory and Design, Trondheium, Norwegen; 2015-08-24 - 2015-08-26; in: "22nd European Conference on Circuit Theory and Design", (2015), Paper ID 67, 4 pages
SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms / I. Konnov, H. Veith, J. Widder / Talk: International Conference on Computer Aided Verification (CAV), San Francisco, CA, USA; 2015-07-18 - 2015-07-24; in: "Computer Aided Verification", LNCS Springer, 9206 (2015), ISBN: 978-3-319-21689-8; 85 - 102
Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks / M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler / Talk: The international Conference on NETworked sYStems, Agadir, Marokko; 2015-05-13 - 2015-05-15; in: "NETYS2015", Springer LNCS, 9466 (2015), ISBN: 978-3-319-26849-1
How to Synchronize a Pausible Clock to a Reference / R. Najvirt, A. Steininger / Talk: 21st IEEE International Symposium on Asynchronous Circuits and Systems, Mountain View, CA; 2015-05-04 - 2015-05-06; in: "21st IEEE International Symposium on Asynchronous Circuits and Systems", (2015), 8 pages
Containment of Metastable Voltages in FPGAs / R. Najvirt, T. Polzer, F. Beck, A. Steininger / Talk: 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Belgrad; 2015-04-22 - 2015-04-24; in: "18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems", (2015), 6 pages
Towards binary circuit models that faithfully capture physical solvability / M Függer, R. Najvirt, T. Nowak, U. Schmid / Talk: Design, Automation & Test in Europe Conference & Exhibition (DATE'15), Grenoble, France; 2015-03-09 - 2015-03-13; in: "Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE'15)", (2015), ISBN: 978-3-9815370-4-8; 1455 - 1460
Decidability of Parameterized Verification / R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder / Morgan & Claypool Publishers, San Rafael, CA, USA, 2015, ISBN: 9781627057431; 170 pages
A Composable Real-Time Architecture for Replicated Railway Applications / S. Resch, A. Steininger, C. Scherrer / Journal of Systems Architecture, 61 (2015), 9; 472 - 485
On the Appropriate Handling of Metastable Voltages in FPGAs / T. Polzer, R. Najvirt, F. Beck, A. Steininger / Journal of Circuits, Systems, and Computers, 25 (2015), 3; 1640020-1 - 1640020-25
Time Complexity of Link Reversal Routing / B. Charron-Bost, M Függer, L. Welch, J. Widder / ACM Transactions on Algorithms, 11 (2015), 3; 1 - 39
Building reliable systems-on-chip in nanoscale technologies / A. Steininger, H. Zimmermann, A. Jantsch, M. Hofbauer, U. Schmid, K. Schweiger, V. S. Veeravalli / E&I Elektrotechnik und Informationstechnik, 132 (2015), 6; 301 - 306
The effect of forgetting on the performance of a synchronizer / M Függer, A. Kößler, T. Nowak, U. Schmid, M. Zeiner / Performance Evaluation, 93 (2015), 1 - 16
Fault-tolerant Distributed Systems in Hardware / D. Dolev, M Függer, C. Lenzen, U. Schmid, A. Steininger / Bulletin of the EATCS, 2 (2015), 116; 43 pages
Experimental Validation of a Faithful Binary Circuit Model / R. Najvirt, M Függer, T. Nowak, U. Schmid, M. Hofbauer, K. Schweiger / Talk: Great Lakes Symposium on VLSI (GLSVLSI'15), Pittsburgh, Pennsylvania, USA; 2015; in: "Proceedings of the 25th Edition on Great Lakes Symposium on VLSI (GLSVLSI'15)", (2015), ISBN: 978-1-4503-3474-7; 355 - 360
A Framework for Connectivity Monitoring in Wireless Sensor Networks / D. Pfleger, U. Schmid / Report No. TUW-241107, 2015
Fast Consensus under Eventually Stabilizing Message Adversaries / M. Schwarz, K. Winkler, U. Schmid / Report No. TUW-240061, 2015; 13 pages

2014

A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks / A. Pavlogiannis, K. Chatterjee, U. Schmid, A. Kößler / Talk: 35th IEEE Real-Time Systems Symposium, Rome; 2014-12-02 - 2014-12-05; in: "Proccedings IEEE Real-Time Systems Symposium (RTSS'14)", (2014), ISSN: 1052-8725; 118 - 127
Exploring the State Dependent SET Sensitivity of Asynchronous Logic - The Muller-Pipeline Example / A. Steininger, V. S. Veeravalli, D. Alexandrescu, E. Costenaro, L. Anghel / Talk: 2014 32nd IEEE International Conference on Computer Design (ICCD), Seoul, Korea; 2014-10-19 - 2014-10-22; in: "Proceedings of the 2014 32nd IEEE International Conference on Computer Design (ICCD)", IEEE, (2014), ISBN: 978-1-4799-6492-5; Paper ID 69, 7 pages
Long Term On-Chip Monitoring of SET Pulsewidths in a Fully Digital ASIC / V. S. Veeravalli, A. Steininger / Talk: 22nd Austrian Workshop on Microelectronics, Graz; 2014-10-09; in: "Proceedings of the 22nd Austrian Workshop on Micorelectronics", IEEE, (2014), ISBN: 978-1-4799-7243-2; Paper ID 24, 6 pages
Equivalence of Clock Gating and Synchronization with Applicability to GALS Communication / R. Najvirt, A. Steininger / Talk: 24th International Workshop on Power and Timing Modeling, Optimization and Simulation, Isles Balears, Spain; 2014-09-29 - 2014-10-01; in: "Proceedings of the 24th International Workshop on Power and Timing Modeling, Optimization and Simulation", IEEE, (2014), ISBN: 978-1-4799-5412-4; Paper ID 29, 8 pages
Brief Announcement: Gracefully Degrading Consensus and k-Set Agreement under Dynamic Link Failures / M. Schwarz, K. Winkler, U. Schmid, M. Biely, P. Robinson / Talk: 33th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing (PODC), Paris, France; 2014-07-15 - 2014-07-18; in: "Proceedings of the 33th ACM SIGACTSIGOPS Symposium on Principles of Distributed Computing", ACM, (2014), 341 - 343
Online Test Vector Insertion: A Concurrent Built-In Self-Testing (CBIST) Approach for Asynchronous Logic / J. Maier, A. Steininger / Talk: 17th Symposium on Design and Diagnosis of Electronic Circuits and Systems (DDECS 2014), Warschau, Polen; 2014-04-23 - 2014-04-25; in: "Design and Diagnostics of Electronic Circuits Systems (DDECS), 2014 IEEE 17th International Symposium on", (2014), 6 pages
Diagnosis of SET Propagation in Combinational Logic under Dynamic Operation / V. S. Veeravalli, A. Steininger / Poster: 2014 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 10), Stanford University, USA; 2014-04-01 - 2014-04-02; in: "Proceedings 2014 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 10)", (2014), 6 pages
Single Event Effects in Muller C-Elements and Asynchronous Circuits Over a Wide Energy Spectrum / L. Anghel, V. S. Veeravalli, D. Alexandrescu, A. Steininger, K. Schneider, E. Costenaro / Talk: 2014 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 10), Stanford University, USA; 2014-04-01 - 2014-04-02; in: "Proceedings 2014 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 10)", (2014), 6 pages
A Tree Arbiter Cell for High Speed Resource Sharing in Asynchronous Environments / S. Naqvi, A. Steininger / Talk: Design Automation &Test in Europe Conference and Exhibition 2014 (DATE 14), Dresden, Deutschland; 2014-03-24 - 2014-03-28; in: "Proceedings Design Automation &Test in Europe", (2014), ISBN: 978-3-9815370-2-4; 6 pages
Architecture for Monitoring SET Propagation in 16-bit Sklansky Adder / V. S. Veeravalli, A. Steininger / Poster: 15th International Symposium & Exhibit on Quality Electronic Design, Santa Clara, USA; 2014-03-10 - 2014-03-12; in: "Proceedings 15th International Symposium & Exhibit on Quality Electronic Design", (2014), ISBN: 978-1-4799-3946-6; 8 pages
Measuring SET Pulsewidths in Logic Gates using Digital Infrastructure / V. S. Veeravalli, A. Steininger, U. Schmid / Talk: 15th International Symposium & Exhibit on Quality Electronic Design, Santa Clara, USA; 2014-03-10 - 2014-03-12; in: "Proceedings 15th International Symposium & Exhibit on Quality Electronic Design", (2014), ISBN: 978-1-4799-3946-6; 7 pages
Protection of Muller-Pipelines from Transient Faults / S. Naqvi, J. Lechner, A. Steininger / Talk: 15th International Symposium & Exhibit on Quality Electronic Design, Santa Clara, USA; 2014-03-10 - 2014-03-12; in: "Proceedings 15th International Symposium & Exhibit on Quality Electronic Design", (2014), ISBN: 978-1-4799-3946-6; 9 pages
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms / A. Gmeiner, I. Konnov, U. Schmid, H. Veith, J. Widder / in: "Formal Methods for Executable Software Models", Springer, 2014, (invited), ISBN: 978-3-319-07316-3, 122 - 171
The Generalized Loneliness Detector and Weak System Models for k-Set Agreement / M. Biely, P. Robinson, U. Schmid / IEEE Transactions on Parallel and Distributed Systems, 25 (2014), 4; 1078 - 1088
Reconciling fault-tolerant distributed algorithms and real-time computing / H. Moser, U. Schmid / Distributed Computing, 27 (2014), 3; 203 - 230
Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation / D. Dolev, M Függer, U. Schmid, C. Lenzen / Journal of the ACM, 61 (2014), 5; 1 - 74
Runtime verification of microcontroller binary code / T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, S. Kowalewski / Science of Computer Programming, 80 (2014), 109 - 129
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip / D. Dolev, M Függer, M. Posch, U. Schmid, A. Steininger, C. Lenzen / Journal of Computer and System Sciences, 80 (2014), 4; 860 - 900
On a family of $q$-binomial distributions / M. Zeiner / Mathematica Slovaca, 64 (2014), 2; 479 - 510
FWF-Proposal ADynNet: Gracefully Degrading Agreement in Directed Dynamic Networks / U. Schmid / Report No. TUW-235381, 2014
Final Report FWF FATAL-Project (P21694) / U. Schmid / Report No. TUW-235380, 2014

2013

Parameterized model checking of fault-tolerant distributed algorithms by abstraction / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: International Conference on Formal Methods in Computer-Aided Design (FMCAD), Portland, OR, USA; 2013-10-20 - 2013-10-23; in: "FMCAD", (2013), ISBN: 978-0-9835678-3-7; 201 - 209
Software Composability and Mixed Criticality for Triple Modular Redundant Architectures / S. Resch, A. Steininger, C. Scherrer / Talk: SASSUR Workshop 2013, Toulouse; 2013-09-24; in: "Proceedings of the 2013 SASSUR Workshop", (2013), 4 pages
The Effect of Forgetting on the Performance of a Synchronizer / M. Zeiner, M Függer, U. Schmid, A. Kößler, T. Nowak / Talk: 18th ÖMG Congress and Annual DMV Meeting, Innsbruck; 2013-09-23 - 2013-09-27
SET Propagation in Micropipelines / T. Polzer, A. Steininger / Talk: 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS2013), Karlsruhe; 2013-09-09 - 2013-09-11; in: "23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS2013)", (2013), 8 pages
Metastability Characterization for Muller C-Elements / T. Polzer, A. Steininger / Talk: 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS2013), Karlsruhe; 2013-09-09 - 2013-09-11; in: "23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS2013)", (2013), 8 pages
The Effect of Forgetting on the Performance of a Synchronizer / M Függer, A. Kößler, T. Nowak, U. Schmid, M. Zeiner / Talk: ALGOSENSORS 2013 (9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics), Sophia Antipolis, France; 2013-09-05 - 2013-09-06; in: "Algorithms for Sensor Systems", (2013), 185 - 200
Digital Late-Transition Metastability Simulation Model / T. Polzer, A. Steininger / Talk: 16th Euromicro Conference on Digital System Design (DSD 2013), Santander; 2013-09-04 - 2013-09-06; in: "Proceedings of the 16th Euromicro Conference on Digital System Design", (2013), 8 pages
Efficient Construction of Global Time in SoCs despite Arbitrary Faults / C. Lenzen, M Függer, M. Hofstätter, U. Schmid / Talk: 16th Euromicro Conference on Digital System Design (DSD 2013), Santander, Spain; 2013-09-04 - 2013-09-06; in: "Dependable", Digital System Design (DSD), 2013 Euromicro Conference on, (2013), 142 - 151
Transience Bounds for Distributed Algorithms / B. Charron-Bost, M Függer, T. Nowak / Talk: 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Buenos Aires, Argentina; 2013-08-29 - 2013-08-31; in: "Formal Modeling and Analysis of Timed Systems", Lecture Notes in Computer Science, 8053 (2013), ISBN: 978-3-642-40228-9; 77 - 90
Byzantine Self-Stabilizing Clock Distribution with HEX: Implementation, Simulation, Clock Multiplication / M. Perner, U. Schmid, C. Lenzen, M. Sigl / Talk: DEPEND 2013, The Sixth International Conference on Dependability, Barcelona, Spain; 2013-08-25 - 2013-08-31; in: "Proceedings of the 6th IARA International Conference on Dependability (DEPEND'13)", IARA, (2013), ISBN: 978-1-61208-301-8; 6 - 15
HEX: Scaling Honeycombs is Easier than Scaling Clock Trees / D. Dolev, C. Lenzen, M Függer, U. Schmid, M. Perner / Talk: SPAA '13, Montreal, Canada; 2013-07-23 - 2013-07-25; in: "Proceedings of the 25th ACM symposium on Parallelism in Algorithms and Architectures", ACM, (2013), ISBN: 978-1-4503-1572-2; 164 - 175
Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), Montreal, Kanada; 2013-07-22 - 2013-07-24; in: "PODC", ACM, (2013), ISBN: 978-1-4503-2065-8; 119 - 121
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; 2013-07-08 - 2013-07-09; in: "SPIN", LNCS, Springer, 7976 (2013), ISBN: 978-3-642-39175-0; 209 - 226
Single Event Transient Pulse Shape Measurements by On-chip Sense Amplifiers in a Single Inverter for Intermediate Input States under Alpha Particle Irradiation / M. Hofbauer, K. Schweiger, W. Gaberl, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger / Poster: IEEE Nuclear and Space Radiation Effects Conference (NSREC), San Francisco, California (USA); 2013-07-08 - 2013-07-12
Particle Strikes in C-Gates: Relevance of SET Shapes / R. Najvirt, V. S. Veeravalli, A. Steininger / Talk: 2nd Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale, Avignon; 2013-05-30 - 2013-05-31; in: "Proceedings of the MEDIAN Workshop 2013", (2013), 4 pages
FATAL+HEX: Fault-Tolerant Self-Stabilizing Clock Generation+Distribution / D. Dolev, M Függer, M. Hofstätter, C. Lenzen, M. Perner, M. Posch, U. Schmid, M. Sigl, A. Steininger / Poster: Poster Session at the CSAIL Industry Affiliates Program (CSAIL-IAP) Annual Meeting, Cambridge, MA, USA; 2013-05-29 - 2013-05-30
Classifying Virtual Channel Access Control Schemes for Asynchronous NoCs / R. Najvirt, S. Naqvi, A. Steininger / Talk: 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013), Santa Monica, CA; 2013-05-19 - 2013-05-22; in: "Asynchronous Circuits and Systems (ASYNC), 2013 IEEE 19th International Symposium on", (2013), ISSN: 1522-8681; 9 pages
An Approach for Efficient Metastability Characterization of FPGAs through the Designer / T. Polzer, A. Steininger / Talk: 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013), Santa Monica, CA; 2013-05-19 - 2013-05-22; in: "19th IEEE International Symposium on Asynchronous Circuits and Systems", (2013), ISSN: 1522-8681; 9 pages
An SET Tolerant Tree Arbiter Cell / S. Naqvi, A. Steininger, J. Lechner / Talk: 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013), Santa Monica, CA; 2013-05-19 - 2013-05-22; in: "Asynchronous Circuits and Systems (ASYNC), 2013 IEEE 19th International Symposium on", (2013), ISSN: 1522-8681; 9 pages
Unfaithful Glitch Propagation in existing Binary Circuit Models / M Függer, T. Nowak, U. Schmid / Talk: 19th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2013), Santa Monica, CA; 2013-05-19 - 2013-05-22; in: "Asynchronous Circuits and Systems (ASYNC), 2013 IEEE 19th International Symposium on", (2013), ISSN: 1522-8681; 191 - 199
A Multi-Credit Flow Control Scheme for Asynchronous NoCs / S. Naqvi, R. Najvirt, A. Steininger / Talk: 16th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, Karoly Vary, Czech Republic; 2013-04-08 - 2013-04-10; in: "Proc. 16th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems", (2013), 6 pages
Automated Analysis of Real-Time Scheduling using Graph Games / K. Chatterjee, A. Kößler, U. Schmid / Talk: ACM International Conference on Hybrid Systems: Computation and Control, Philadelphia, USA; 2013-04-08 - 2013-04-11; in: "Proceedings 16th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'13)", ACM, (2013), 163 - 172
Performance of Radiation Hardening Techniques under Voltage and Temperature Variations / V. S. Veeravalli, A. Steininger / Talk: 2013 IEEE Aerospace Conference, Big Sky, Montana, USA; 2013-03-02 - 2013-03-09; in: "Proc. 2013 IEEE Aerospace Conference", (2013), 6 pages
Supply Voltage Dependent On-Chip Single-Event Transient Pulse Shape Measurements in 90-nm Bulk CMOS Under Alpha Irradiation / M. Hofbauer, K. Schweiger, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger / IEEE Transactions on Nuclear Science, 60 (2013), 4; 2640 - 2646
An infrastructure for accurate characterization of single-event transients in digital circuits / V. S. Veeravalli, T. Polzer, U. Schmid, A. Steininger, M. Hofbauer, K. Schweiger, H. Dietrich, K. Schneider-Hornstein, H. Zimmermann, K. Voss, B. Merk, M. Hajek / Microprocessors and Microsystems, 37 (2013), 772 - 791
On the performance of a retransmission-based synchronizer / T. Nowak, M Függer, A. Kößler / Theoretical Computer Science, 509 (2013), 25 - 39
Runtime verification of embedded real-time systems / T. Reinbacher, M Függer, J. Brauer / Formal Methods in System Design, Nov 2013 (2013), 10703; 1 - 37
Final Report FWF PSRTS-Project (P20529) / U. Schmid / Report No. TUW-235379, 2013
Gracefully Degrading Consensus and k-set Agreement under Dynamic Link Failures / M. Schwarz, K. Winkler, U. Schmid, M. Biely, P. Robinson / Report No. TUW-220473, 2013

2012

Parameterized Model Checking of Fault-tolerant Distributed Algorithms / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering, Dagstuhl, Deutschland (invited); 2012-11-11 - 2012-11-16
LFSR Implementation Using C-Elements / V. S. Veeravalli, A. Steininger / Talk: MEMICS 2012, Znjomo, Czechia; 2012-10-25 - 2012-10-28; in: "MEMICS 2012", (2012), 73 - 83
Towards Self-stabilizing Byzantine Fault-Tolerant Clock Generation in Systems-on-Chip / D. Dolev, M Függer, C. Lenzen, U. Schmid / Talk: NITRD Workshop, Baltimore, USA (invited); 2012-10-15 - 2012-10-16
Reliable Gateway for Radiation Experiments on a VLSI Chip / B. Fritz, V. S. Veeravalli, A. Steininger / Poster: Austrochip 2012, Graz, Austria; 2012-10-10; in: "Austrochip 2012", (2012), 65 - 70
Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer / M Függer, A. Kößler, T. Nowak, M. Zeiner / Talk: 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), Toronto, Canada; 2012-10-01 - 2012-10-04; in: "Stabilization, Safety, and Security of Distributed Systems", Lecture Notes in Computer Science, 7596 (2012), ISBN: 978-3-642-33535-8; 90 - 91
Protecting Pipelined Asynchronous Communication Channels Against Single Event Upsets / J. Lechner, M. Lampacher / Talk: IEEE 30th International Conference on Computer Design (ICCD 2012), Montreal, Canada; 2012-09-30 - 2012-10-03; in: "Computer Design (ICCD), 2012 IEEE 30th International Conference on", (2012), ISSN: 1063-6404; 480 - 481
Real-Time Runtime Verification on Chip / T. Reinbacher, M Függer, J. Brauer / Talk: RV 2012: the 3rd International Conference on Runtime Verification, Istanbul; 2012-09-25 - 2012-09-28; in: "Proc. of RV 2012: the 3rd International Conference on Runtime Verification", LNCS / Springer, 7687 (2012)
Supply Voltage Dependent On-chip Single Event Transient Pulse Shape Measurements in 90 nm Bulk CMOS under Alpha Irradiation / M. Hofbauer, K. Schweiger, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger / Poster: 21st European Conference on Radiation and its Effects on Components and Systems (RADECS'12), Biarritz, FRANCE; 2012-09-24 - 2012-09-28; in: "Proceedings 21st European Conference on Radiation and its Effects on Components and Systems (RADECS'12)", (2012)
Who is afraid of Model Checking Distributed Algorithms? / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: PUMA/RISE Seminar, Goldegg; 2012-09-24 - 2012-09-28
A Runtime Verification Unit for Microcontrollers / T. Reinbacher, M. Horauer, A. Steininger / Talk: System, Software, SoC and Silicon Debug Conference (S4D), 2012, Vienna, Austria; 2012-09-19 - 2012-09-20; in: "System, Software, SoC and Silicon Debug Conference (S4D), 2012", (2012), ISSN: 2114-3684; 1 - 6
Protecting an Asynchronous NoC against Transient Channel Faults / S. Naqvi, V. S. Veeravalli, A. Steininger / Talk: DSD 2012 (Euromicro Conference on Digital System Design), Cesme, Izmir, Turkey; 2012-09-05 - 2012-09-08; in: "Proc. of 15th Euromicro Conference on Digital System Design", (2012), 8 pages
Architecture and Design Analysis of a Digital Single-Event Transient/Upset Measurement Chip / V. S. Veeravalli, A. Steininger, U. Schmid, T. Polzer / Talk: 15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD 2012), Izmir, Turkey; 2012-09-05 - 2012-09-08; in: "Proceedings 15th Euromicro Symposium on Digital System Design: Architectures, Methods and Tools (DSD'12)", (2012), 8 - 17
A Generic Architecture for Robust Asynchronous Communication Links / J. Lechner, R. Najvirt / Poster: International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2012, Newcastle upon Tyne; 2012-09-04 - 2012-09-06; in: "Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation", Lecture Notes in Computer Science, 7606 (2013), ISBN: 978-3-642-36156-2; 121 - 130
Muller C-Element Metastability Containment / T. Polzer, A. Steininger, J. Lechner / Talk: International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2012, Newcastle upon Tyne; 2012-09-04 - 2012-09-06; in: "Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation", Lecture Notes in Computer Science, 7606 (2013), ISBN: 978-3-642-36156-2; 103 - 112
Efficient Checking of Link-Reversal-Based Concurrent Systems / M Függer, J. Widder / Talk: International Conference on Concurrency Theory (CONCUR), Newcaslte upon Tyne, UK; 2012-09-03 - 2012-09-08; in: "CONCUR 2012 - Concurrency Theory", Lecture Notes in Computer Science. Springer Verlag., 7454 (2012), ISBN: 978-3-642-32939-5; 486 - 499
Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating through a 90 nm Bulk CMOS Inverter Chain / M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, K.O. Voss, B Merk, U. Schmid, A. Steininger / Poster: Nuclear and Space Radiation Effects Conference (NSREC), Miami, FL, USA; 2012-07-16 - 2012-07-20
Parallel Runtime Verification of Temporal Properties for Embedded Software / T. Reinbacher, J. Geist, P. Moosbrugger, M. Horauer, A. Steininger / Talk: Mechatronics and Embedded Systems and Applications (MESA), 2012 IEEE/ASME International Conference on, Suzhou, China; 2012-07-08 - 2012-07-10; in: "Mechatronics and Embedded Systems and Applications (MESA), 2012 IEEE/ASME International Conference on", (2012), ISBN: 978-1-4673-2347-5; 224 - 231
Agreement in Directed Dynamic Networks / M. Biely, P. Robinson, U. Schmid / Talk: 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12), Reykjavik, Iceland; 2012-06-30 - 2012-07-02; in: "Proceedings 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'12)", (2012), 73 - 84
A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding / J. Lechner, M. Lampacher, T. Polzer / Talk: 2012 International Conference on Application of Concurrency to System Design (ACSD 2012), Hamburg, Germany; 2012-06-27 - 2012-06-29; in: "Application of Concurrency to System Design (ACSD), 2012 12th International Conference on", (2012), ISSN: 1550-4808; 122 - 131
An Asynchronous Router Architecture using Four-Phase Bundled Handshake Protocol / S. Naqvi / Talk: ICCGI 2012 : The Seventh International Multi-Conference on Computing in the Global Information Technology, Venice, Italy; 2012-06-24 - 2012-06-29; in: "Proc. of The Seventh International Multi-Conference on Computing in the Global Information Technology", (2012), ISBN: 978-1-61208-202-8; 6 pages
Monitoring Single Event Transient Effects in Dynamic Mode / V. S. Veeravalli, A. Steininger / Talk: 1st Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN 2012), Annecy, France; 2012-05-28 - 2012-06-01; in: "1st Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN 2012)", (2012), 51 - 54
Counter Attack against Byzantine Generals / A. John, I. Konnov, U. Schmid, H. Veith, J. Widder / Talk: Alpine Verification Meeting, Passau, Bayern, Deutschland; 2012-05-21 - 2012-05-22
Designing Robust GALS Circuits with Triple Modular Redundancy / J. Lechner / Talk: 2012 European Dependable Computing Conference (EDCC 2012), Sibiu, Romania; 2012-05-08 - 2012-05-11; in: "Dependable Computing Conference (EDCC), 2012 Ninth European", (2012), 227 - 236
Radiation-Tolerant Combinational Gates - An Implementation Based Comparison / V. S. Veeravalli, A. Steininger / Talk: 15th IEEE International Conference on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2012), Tallinn, Estonia; 2012-04-18 - 2012-04-20; in: "Design and Diagnostics of Electronic Circuits Systems (DDECS), 2012 IEEE 15th International Symposium on", (2012), 115 - 120
Efficient Radiation-Hardening of a Muller C-Element / V. S. Veeravalli, A. Steininger / Talk: 2012 Single Event Effects Symposium (SEE 2012), San Diego, USA; 2012-04-03 - 2012-04-05; in: "2012 Single Event Effects Symposium", (2012)
Designing FlexRay-based Automotive Architectures: A Holistic OEM Approach / P. Milbredt, M. Glass, M. Lukasiewycz, A. Steininger, J. Teich / Talk: Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), Dresden, Germany; 2012-03-12 - 2012-03-16; in: "Design, Automation & Test in Europe Conference & Exhibition (DATE 2012) Proceedings", EDAA, (2012), ISBN: 978-3-9810801-8-6; 276 - 279
Reconciling fault-tolerant distributed computing and systems-on-chip / M Függer, U. Schmid / Distributed Computing, 24 (2012), 6; 323 - 355
Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating Through a 90 nm Bulk CMOS Inverter Chain / M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, K.O. Voss, B Merk, U. Schmid, A. Steininger / IEEE Transactions on Nuclear Science, vol 59 (2012), 2778 - 2784
Consensus in the presence of mortal Byzantine faulty processes / J. Widder, M. Biely, G. Gridling, B. Weiss, J. Blanquart / Distributed Computing, 24 (2012), 6; 299 - 321
Single Event Effect Measurements in 90nm CMOS Circuits at the Microbeam Facility for the Project FATAL / M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, U. Schmid, B Merk / in: "GSI Scientific Report 2011", GSI Helmholtzzentrum für Schwerionenforschung GmbH, Darmstadt, 2012, ISSN: 0174-0814, 424
Messung der Auswirkungen von ionisierender Strahlung auf 90 nm CMOS Schaltungen / M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, U. Schmid, U. Giesen / Report for Physikalisch Technische Bundesanstalt; 2012

2011

Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems / M. Biely, P. Robinson, U. Schmid / Talk: International Conference On Principles Of Distributed Systems (OPODIS), Toulouse; 2011-12-12 - 2011-12-16; in: "OPODIS'11", Springer Berlin / Heidelberg, (2011), 299 - 312
Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation [Extended Abstract] / D. Dolev, M Függer, C. Lenzen, U. Schmid / Talk: Stabilization, Safety, and Security of Distributed Systems, Grenoble, France; 2011-10-10 - 2011-10-12; in: "Stabilization, Safety, and Security of Distributed Systems", Springer Berlin / Heidelberg, (2011), ISBN: 978-3642051173; 163 - 177
Precise control flow reconstruction using boolean logic / T. Reinbacher, J. Brauer / Talk: EMSOFT2011, ACM international conference on Embedded software, Taipei; 2011-10-09 - 2011-10-14; in: "EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software", ACM New York, (2011), ISBN: 978-1-4503-0714-7; 117 - 126
Testing microcontroller software simulators / T. Reinbacher, D. Gückel, M. Horauer / Talk: WS4C 2011, Berlin; 2011-10-04 - 2011-10-07; in: "Workshop on Software Language Engineering for Cyber-physical Systems", (2011)
On Efficient Checking of Link-reversal-based Concurrent Systems / M Függer, J. Widder / Talk: PUMA/RISE Seminar, Traunkirchen; 2011-10-03 - 2011-10-07
Automated test-trace inspection for microcontroller binary code / T. Reinbacher, J. Brauer, D. Schachinger, A. Steininger, S. Kowalewski / Talk: 2nd International Conference on Runtime Verification (RV 2011), San Francisco; 2011-09-27 - 2011-09-30; in: "Runtime Verification", (2011), 239 - 244
Past time LTL runtime verification for microcontroller binary code / T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, S. Kowalewski / Talk: FMICS 2011, Trento; 2011-08-29 - 2011-08-30; in: "Formal Methods for Industrial Critical Systems", Springer Berlin / Heidelberg, (2011), ISBN: 978-3-642-24430-8; 37 - 51
Hardware support for efficient testing of embedded software / T. Reinbacher, A. Steininger, T. Müller, M. Horauer, J. Brauer, S. Kowalewski / Talk: The 7th ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications, Washington; 2011-08-29 - 2011-08-31; in: "International Conference on Mechatronic and Embedded Systems and Applications", ASME, (2011)
Investigating the Impact of Process Variations on an Asynchronous Time-Triggered-Protocol Controller / M. Ferringer / Talk: Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on, Hong-Kong; 2011-06-27 - 2011-06-30; in: "Dependable Systems and Networks Workshops", (2011), ISBN: 978-1-4577-0374-4; 47 - 52
Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing / H. Moser, U. Schmid / Talk: Structural Information and Communication Complexity, Gdansk; 2011-06-26 - 2011-06-29; in: "Proceedings 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO'11)", Springer Berlin / Heidelberg, (2011), ISBN: 978-3-642-22211-5; 42 - 53
Full Reversal Routing as a Linear Dynamical System / B. Charron-Bost, M Függer, L. Welch, J. Widder / Talk: Structural Information and Communication Complexity, Gdansk; 2011-06-26 - 2011-06-29; in: "Structural Information and Communication Complexity", Springer Berlin / Heidelberg, (2011), ISBN: 978-3-642-22211-5; 101 - 112
Partial is Full / B. Charron-Bost, M Függer, L. Welch, J. Widder / Talk: Structural Information and Communication Complexity, Gdansk; 2011-06-26 - 2011-06-29; in: "Structural Information and Communication Complexity", Springer Berlin / Heidelberg, (2011), ISBN: 978-3-642-22211-5; 113 - 124
On the Performance of a Retransmission-Based Synchronizer / T. Nowak, M Függer, A. Kößler / Talk: Structural Information and Communication Complexity, Gdansk; 2011-06-26 - 2011-06-29; in: "Structural Information and Communication Complexity", Springer Berlin / Heidelberg, (2011), ISBN: 978-3-642-22211-5; 234 - 245
Brief Announcement: Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems / M. Biely, P. Robinson, U. Schmid / Talk: Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing (PODC'11), San Jose; 2011-06-06 - 2011-06-08; in: "PODC'11", ACM, (2011), 227 - 228
Brief announcement: full reversal routing as a linear dynamical system / B. Charron-Bost, M Függer, L. Welch, J. Widder / Talk: SPAA '11, San Jose, California, USA; 2011-06-04 - 2011-06-06; in: "Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures", ACM, (2011), ISBN: 978-1-4503-0743-7; 129 - 130
Solving k-Set Agreement with Stable Skeleton Graphs / M. Biely, P. Robinson, U. Schmid / Talk: International Parallel and Distributed Processing Symposium (IPDPS), Anachorage, Alaska; 2011-05-16 - 2011-05-20; in: "IPDPS Workshops", (2011), ISBN: 978-1-61284-425-1; 1488 - 1495
Conversion of Two- to Four-Phase Delay-Insensitive Asynchronous Circuits / M. Ferringer / Talk: EUROCON 2011, Lisbon; 2011-04-27 - 2011-04-29; in: "EUROCON - International Conference on Computer as a Tool (EUROCON), 2011 IEEE", (2011), ISBN: 978-1-4244-7486-8; 1 - 4
Conversion and Interfacing Techniques for Asynchronous Circuits / M. Ferringer / Talk: 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011), Cottbus, Germany; 2011-04-13 - 2011-04-15; in: "Design and Diagnostics of Electronic Circuits & Systems", (2011), ISBN: 978-1-4244-9755-3; 11 - 16
VLSI Implementation of a Distributed Algorithm for Fault-Tolerant Clock Generation / A. Steininger, G. Fuchs / Journal of Electrical and Computer Engineering, Clock/Frequency Generation Circuits and Systems (2011), 936712; 23
Synchronous consensus under hybrid process and link failures / M. Biely, U. Schmid, B. Weiss / Theoretical Computer Science, 412 (2011), 40; 5602 - 5630
The Asynchronous Bounded-Cycle Model / P. Robinson, U. Schmid / Theoretical Computer Science, 412 (2011), 40; 5580 - 5601
Replicated processors on a single die - How independently do they fail? / A. Steininger, P Tummeltshammer / Journal e&i: Elektrotechnik und Informationstechnik, 128 (2011), 245 - 250
On Self-Timed Circuits in Real-Time Systems / M. Ferringer / International Journal of Reconfigurable Computing, 2011 (2011), 972375

2010

Fault-Tolerant Distribiuted on-chip Algorithms / M Függer / Talk: FK 2010 (Forschungskooperation TU Wien - UNI Brno), Brno, Czech Republic (invited); 2010-12-03
Fault-Tolerant Distribiuted on-chip Algorithms / M Függer / Talk: RiSE GUGGING (IST AUSTRIA), Gugging (IST Austria) (invited); 2010-11-04
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation / T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, S. Kowalewski / Talk: MEMICS 2010 (Mathematical and Engineering Methods in Computer Science), Mikulov, Czech Republic; 2010-10-22 - 2010-10-24; in: "MEMICS proceedings", (2010), 151 - 158
Fault-Tolerant Distribiuted on-chip Algorithms / M Függer / Talk: PUMA 2010, Szentendre, Hungary (invited); 2010-10-12
Regional Consecutive Leader Election in Mobile Ad-Hoc Networks / H. Chung, P. Robinson, L. Welch / Talk: ACM SIGACT/SIGMOBILE (International Workshop on FOUNDATIONS OF MOBILE COUMPUTING), Cambridge, Massachusetts, USA; 2010-09-16; in: "Proceedings of the 6th International Workshop on Foundations of Mobile Computing", ACM, (2010), ISBN: 9781450304139; 81 - 90
Synchrony and Time in Fault-Tolerant Distribiuted Algorithms / U. Schmid / Talk: FORMATS 2010 (Formal Modeling and Analysis of Times Systems), Klosterneuburg, Austria (invited); 2010-09-08 - 2010-09-10; in: "Formal Modeling and Analysis of Timed Systems", Springer, 6246 (2010), ISBN: 9783642152962
Low Latency Recovery from Transient Faults for Pipelined Processor Architectures / M. Jeitler, J. Lechner / Talk: DSD 2010 (Euromicro Conference on Digital System Design), Lille, France; 2010-09-01 - 2010-09-03; in: "Proceedings DSD 2010 (Euromicro Conference on Digital System Design)", IEEE Computer Society, (2010), ISBN: 9780769541716; 219 - 225
Real-Time Analysis of Round-based Distributed Algorithms / A. Kößler, H. Moser, U. Schmid / Talk: RTSOPS 2010 (1st International Real-Time Scheduling Open Problems Seminar), Brussels, Belgium; 2010-07-06 - 2010-07-09; in: "Proceedings of the 1st International Real-Time Scheduling Open Problems Seminar", (2010), 9 - 11
Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks / H. Chung, P. Robinson, L. Welch / Talk: ALGOSENSORS 2010 (6th International Workshop on Algorithmic Aspects of Wireless Sensor Networks), Bordeaux, France; 2010-07-05; in: "Algorithms for Sensor Systems - LNCS", Springer, 6451/2010 (2010), ISBN: 9783642169878; 90 - 91
Implementation of Self-Healing Asynchronous Circuits at the Example of a Video-Processing Algorithm / W. Friesenbichler, T. Panhofer, A. Steininger / Talk: WSDN 2010 (4th Workshop on Dependable and Secure Nanocomputing, Chicago, IL, USA; 2010-06-28 - 2010-07-01; in: "WSDN - Full Program", IEEE Computer Socitey, (2010), ISBN: 9781424477289; 129 - 134
Reliability Estimation and Experimental Results of a Self-Healing Asynchronous Circuit: A Case Study / W. Friesenbichler, T. Panhofer, A. Steininger / Talk: NASA/ESA 2010 (Conference on Adaptive Hardware and Systems), Anaheim, CA, USA; 2010-06-15 - 2010-06-18; in: "NASA/ESA 2010 Proceedings", IEEE Computer Society, (2010), ISBN: 9781424458882; 97 - 104
Investigating Self-Timed Circuits for the Time-Triggered Protocol / M. Ferringer / Talk: 5th International Workshop on Reconfigurable Communication Centric System-on-Chips, Workshop Proceedings (ReCoSoC), Karlsruhe, Germany; 2010-05-17 - 2010-05-19; in: "Proceedings of the 5th International Workshop on Reconfigurable Communication-centric Systems on Chip 2010", KIT Scientific Publishing - DFG, (2010), ISBN: 9783866445154; 101 - 108
Towards self-timed logic in the Time-Triggered Protocol / M. Ferringer / Talk: DSN 2010 (International Conference on Dependable Systems and Networks), Chicago, IL, USA; 2010-04-28 - 2010-04-30; in: "DSN 2010 - Full Program", IEEE Computer Society, (2010), ISBN: 9781424477289; 136 - 141
How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining / M Függer, A. Dielacher, U. Schmid / Talk: EDCC - 8 (European Dependable Computing Conference), Valencia, Spain; 2010-04-28 - 2010-04-30; in: "Proceedings of the Eight European Dependable Computing Conference", IEEE Computer Society, (2010), ISBN: 9780769540078; 230 - 239
Enhancing Pipelined Processor Architectures with Fast Autonomous Recovery of Transient Faults / M. Jeitler, J. Lechner, A. Steininger / Poster: DDECS 2010 (Design and Diagnostics of Electronic Circuits and Systems), Vienna, Austria; 2010-04-14 - 2010-04-16; in: "13th IEEE International Symposium On Design And Diagnostics Of Electronic Cicruits And Systems", IEEE Computer Society, (2010), ISBN: 9781424466108; 233 - 236
A Deterministic Approach for Hardware Fault Injection in Asynchronous QDI Logic / W. Friesenbichler, T. Panhofer, A. Steininger / Talk: DDECS 2010 (Design and Diagnostics of Electronic Circuits and Systems), Vienna, Austria; 2010-04-14 - 2010-04-16; in: "13th IEEE International Symposium On Design And Diagnostics Of Electronic Cicruits And Systems", IEEE, (2010), ISBN: 9781424466108; 317 - 322
Challenges in Fault-Tolerant Distribiuted Real-Time Systems / A. Kößler / Talk: RiSE Workshop TU Graz, Szentendre, Hungary; 2010-02-22 - 2010-02-23
Topology Control for Fault-Tolerant Communication in Wireless Ad Hoc Networks / B. Thallner, H. Moser, U. Schmid / Wireless Networks, 16 (2010), 21; 388 - 404
In search of lost time / B. Charron-Bost, M. Hutle, J. Widder / Information Processing Letters, 110 (2010), 21; 928 - 933
A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Optimization / A. Goiser, S. Khattab, G. Fassl, U. Schmid / in: "CTRQ-2010", issued by: IEEE-Explore; IEEE Computer Society, 2010, ISBN: 978-0-7695-4070-2, 5 pages
A New Robust Interference Reduction Scheme for Low Complexity Direct-Sequence Spread-Spectrum Receivers: Performance / A. Goiser, S. Khattab, G. Fassl, U. Schmid / in: "CTRQ-2010", issued by: IEEE-Explore; IEEE Conference Proceedings, 2010, ISBN: 978-0-7695-4070-2, 7 pages

2009

Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement / M. Biely, P. Robinson, U. Schmid / Talk: OPODIS 2009 (International Conference On Principles Of Distributed Systems), Nimes, France; 2009-12-15 - 2009-12-18; in: "LNCS Proceedings", Springer, 5923/2009 (2009), ISBN: 9783642108761; 285 - 299
Speeding up Fault Injection for Asynchronous Logic by FPGA-based Emulation / M. Jeitler, J. Lechner / Poster: ReConFig 2009 (International Conference on ReConFigurable Computing and FPGAs), Cancun, Quintana Roo, Mexico; 2009-12-09 - 2009-12-11; in: "ReConFig'09", CPS, (2009), ISBN: 9780769539171; 65 - 70
Comparing the Robustness of Synchronous and Asynchronous Circuits by Fault Injection / M. Jeitler, J. Lechner / Talk: MEMICS 2009 (Mathematical and Engineering Methods in Computer Science), Znojmo; 2009-11-13 - 2009-11-15; in: "MEMICS 2009 proceedings", Universität Brno, (2009), ISBN: 9788087342046; 110 - 117
Consensus When All Processes May Be Byzantine for Some Time / M. Biely, M. Hutle / Talk: 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lyon; 2009-11-03 - 2009-11-06; in: "Stabilization, Safety, and Security of Distributed Systems", Lecture Notes in Conputer Science / Springer Verlag, 5873 (2009), ISBN: 978-3-642-05117-3; 120 - 132
A Metastability-Free Multi-synchronous Communication Scheme for SoCs / T. Polzer, T. Handl, A. Steininger / Talk: SSS 2009 (Symposium on Stabilization, Safety, and Security of Distributed Systems), Lyon, France; 2009-11-03 - 2009-11-06; in: "Stabilization, Safety, and Security of Distribiuted Systems", Springer, 5873/2009 (2009), ISBN: 978-3642051173; 578 - 592
Brief Announcment: Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement* / P. Robinson, M. Biely, U. Schmid / Talk: DISC 2009 (International Symposium on Distributed Computing), Elche, Spain; 2009-09-23 - 2009-09-25; in: "Distribiuted Computing", Springer, 5805/2009 (2009), ISBN: 978-3-642-04354-3; 360 - 361
Coupling Asynchronous Signals into Asynchronous Logic / M. Ferringer / Poster: Austrochip, Graz, Austria; 2009-09-07 - 2009-09-08; in: "Austrochip", Institut für Elektronik - TU Graz, (2009), ISBN: 978-3-9501635-1-3; 97 - 102
Implications of VLSI Fault Models and Distributed Systems Failure Models --- A Hardware Designer's View / G. Fuchs / Talk: Dagstuhl Seminar 08371 : Fault-Tolerant Distributed Algorithms on VLSI Chips, Dagstuhl, Germany; 2009-09-07 - 2009-09-10; in: "Fault-Tolerant Distributed Algorithms on VLSI Chips", Leibniz Zentrum Informatik, 08371 (2009), ISSN: 1862-4405; ?
Fault Tolerant Distribiuted Algorithms and VLSI - An Appetizer / B. Charron-Bost, S. Dolev, J. Ebergen, U. Schmid / Talk: Dagstuhl Seminar 08371 : Fault-Tolerant Distributed Algorithms on VLSI Chips, Dagstuhl, Germany (invited); 2009-09-07 - 2009-09-10; in: "Fault-Tolerant Distributed Algorithms on VLSI Chips", Leibniz Zentrum Informatik, 08371 (2009), ISSN: 1862-4405; ?
Error Containment in the Presence of Metastability / A. Steininger / Talk: Dagstuhl Seminar 08371 : Fault-Tolerant Distributed Algorithms on VLSI Chips, Dagstuhl, Germany (invited); 2009-09-07 - 2009-09-10; in: "Fault-Tolerant Distributed Algorithms on VLSI Chips", Leibniz Zentrum Informatik, 08371 (2009), ISSN: 1862-4405; ?
On the Risk of Fault Coupling over the Chip Substrate / P Tummeltshammer, A. Steininger / Talk: DSD 2009 (Euromicro Conference on Digital System Design), Patras, Greece; 2009-08-27 - 2009-08-29; in: "12th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN - Architectures, Methods and Tools - DSD2009", IEEE Computer Society, (2009), ISBN: 9780769537825; 325 - 332
Soft Error Tolerant Asynchronous Circuits based on Dual Redundant Four State Logic / W. Friesenbichler, A. Steininger / Talk: DSD 2009 (Euromicro Conference on Digital System Design), Patras, Greece; 2009-08-27 - 2009-08-29; in: "12th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN - Architectures, Methods and Tools - DSD 2009", IEEE Computer Society, (2009), ISBN: 9780769537825; 100 - 107
ARROW - A Generic Hardware Fault Injection Tool for NoCs / M. Birner, T. Handl / Talk: DSD 2009 (Euromicro Conference on Digital System Design), Patras, Greece; 2009-08-27 - 2009-08-29; in: "12th EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN - Architectures, Methods and Tools - DSD 2009", IEEE Computer Society, (2009), ISBN: 978-0-7695-3782-5; 465 - 472
Routing without Ordering / B. Charron-Bost, A. Gaillard, L. Welch, J. Widder / Talk: SPAA 2009 (Parallelism in Algorithms and Architectures), Calgary, Alberta, Canada; 2009-08-11 - 2009-08-13; in: "Proceedings of the Twenty-First Annual Symposium on Parallelism in Algorithms and Architectures", ACM, (2009), ISBN: 978-1-60558-606-9; 145 - 153
How to Speed-up Fault-tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining / A. Dielacher, M Függer / Talk: PODC 2009 (Principles of Distribiuted Computing), Alberta, Canada (invited); 2009-08-10 - 2009-08-12; in: "PODC'09", ACM, (2009), ISBN: 9781605583969; 276 - 277
Link Reversal: How to Play Better to Work Less / B. Charron-Bost, L. Welch, J. Widder / Talk: ALGOSENSORS 2009 (5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks), Rhodes, Greece; 2009-07-10 - 2009-07-11; in: "Algorithmic Aspects of Wireless Sensor Networks", Springer, 5304/2008 (2009), ISBN: 9783642054334; 88 - 110
On the Stability and Robustness of Non-Synchronous Circuits with Timing Loops / M Függer, G. Fuchs, A. Steininger / Talk: WSDN 2009 (Workshop on Dependable and Secure Nanocomputing, Estoril, Lisbon, Portugal; 2009-06-29 - 2009-06-30; in: "WSDN 2009", Springer, (2009), ISBN: 9781424444212; 45 - 50
Power Supply Induced Common Cause Faults - Experimental Assessment of Potential Countermeasures / P Tummeltshammer, A. Steininger / Talk: DSN 2009 (International Conference on Dependable Systems and Networks), Estoril, Portugal; 2009-06-29 - 2009-07-02; in: "DSN 2009 - Full Program", Springer, (2009), ISBN: 9781424444212; 449 - 457
On the Threat of Metastability in an Asynchronous Fault-Tolerant Clock Generation Scheme / G. Fuchs, M Függer, A. Steininger / Talk: ASYNC 2009 (International Symposium on Asynchronous Circuits and Systems), Chapel Hill, North Carolina; 2009-05-17 - 2009-05-20; in: "ASYNC 2009", IEEE Computer Society, (2009), ISSN: 1522-8681; 127 - 136
Remote Measurement of Local Oscillator Drifts in FlexRay Networks / E. Armengaud, A. Steininger / Talk: DATE 2009 (Design, Automation and Test in Europe), Nice, France; 2009-04-20 - 2009-04-24; in: "DATE09", Springer, (2009), ISBN: 9783981080155; 1082 - 1087
On the Role of the Power Supply as an Entry for Common Cause Faults - An Experimental Analysis / P Tummeltshammer, A. Steininger / Talk: DDECS 2009 (Design and Diagnostics of Electronic Circuits and Systems), Liberec, Czech Republic; 2009-04-15 - 2009-04-17; in: "2009 IEEE Design and Diagnostics of Electronic Circuits and Systems", IEEE, 00 (2009), ISBN: 9781424433414; 152 - 157
Fuse - A Hardware Accelerated Hdl Fault Injection Tool / M. Jeitler, M. Delvai, S. Reichör / Talk: SPL 2009 (Southern Conference on Programmable Logic), Sao Carlos, Brazil; 2009-04-01 - 2009-04-03; in: "2009", IEEE, (2009), ISBN: 9781424438464; 89 - 94
Fault-Tolerant Distributed Algorithms on VLSI Chips / B. Charron-Bost, S. Dolev, J. Ebergen, U. Schmid / in series "Dagstuhl Seminar Proceedings", series editor: B. Charron-Bost, S. Dolev, U. Schmid; issued by: Leibniz Zentrum Informatik; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009, ISSN: 1862-4405
Is Asynchronous Logic More Robust Than Synchronous Logic? / B. Rahbaran, A. Steininger / IEEE Transactions on Dependable and Secure Computing, 6 (2009), 4; 282 - 294
Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - A Combined Formal and Experimental Approach / M Függer, A. Steininger, E. Armengaud / IEEE Transactions on Industrial Informatics, 5 (2009), 2; 132 - 145
Impossibility Results and Lower Bounds For Consensus Under Link Failures / U. Schmid, B. Weiss, I. Keidar / SIAM JOURNAL ON COMPUTING, 38 (2009), 5; 1912 - 1951
Chasing the Weakest System Model for Implementing Omega and Consensus / M. Hutle, D. Malkhi, U. Schmid, L. Zhou / IEEE Transactions on Dependable and Secure Computing, 6 (2009), 4; 269 - 279
Optimal Message-Driven Implementations of Omega with Mute Processes / J. Widder, M. Biely / ACM Transactions on Autonomous and Adaptive Systems., 4 (2009), 1; ?
The Theta-Model: achieving synchrony without clocks / J. Widder, U. Schmid / Distributed Computing, 22 (2009), 1; 29 - 47

2008

Optimal Deterministic Remote Clock Estimation in Real-Time Systems / H. Moser, U. Schmid / Talk: 12th International Conference On Principles of Distributed Systems, Luxor, Ägypten; 2008-12-15 - 2008-12-18; in: "Principles of Distributed Systems", Lecture Notes in Computer Science / Springer Verlag, Volume 5401 (2008), ISBN: 978-3-540-92220-9; 363 - 387
Distributed Algorithms and VLSI / U. Schmid / Keynote Lecture: 10 International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2008), Detroit, USA (invited); 2008-11-21 - 2008-11-23; in: "Stabilization, Safety, and Security of Distributed Systems", Lecture Notes in Conputer Science / Springer Verlag, 5340 (2008), ISSN: 0302-9743; 3
The Asynchronous Bounded Cycle Model / P. Robinson, U. Schmid / Talk: 10 International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2008), Detroit, USA; 2008-11-21 - 2008-11-23; in: "Stabilization, Safety, and Security of Distributed Systems", Lecture Notes in Conputer Science / Springer Verlag, 5340 (2008), ISSN: 0302-9743; 246 - 262
Implementation of a Design Tool for Automated Generation of Four State Logic Circuits / J. Lechner, M. Delvai / Poster: Junior Scientist Conference 2008, Wien; 2008-11-16 - 2008-11-18; in: "Proceedings of the Junior Scientist Conference 2008", (2008), ISBN: 978-3-200-01612-5; 85 - 86
Fault Tolerant Four-State Logic by Using Self-Healing Cells / T. Panhofer, W. Friesenbichler, M. Delvai / Talk: 2008 IEEE International Conference on Computer Design, Lake Tahoe, CA, USA; 2008-10-12 - 2008-10-15; in: "2008 IEEE International Conference on Computer Design", IEEE, (2008), ISBN: 978-1-4244-2658-4; 6 pages
Exploring Hardware Software Partitioning on the Example of a Fingerprint Verification System / S. Hepp, G. Klima, A. Kadlec, L. Krammer, W. Luckner, D. Prokesch, S. Resch, A. Wasicek, J. Wilhelm, P Tummeltshammer, M. Delvai / Talk: 16th Austrian Workshop on Microelectronics (Austrochip), Linz; 2008-10-08; in: "Proc. of the 16th Austrian Workshop on Microelectronics 2008", (2008), 7 - 12
An Operating System for a Time-Predictable Computing Node / G. Khyo, P. Puschner, M. Delvai / Talk: The 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), Capri, Italien; 2008-10-01 - 2008-10-03; in: "Software Technologies for Embedded and Ubiquitous Systems", Lecture Notes in Computer Science / Springer Verlag, 5287 (2008), ISBN: 978-3-540-87784-4; 150 - 161
Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip / G. Fuchs, M Függer, U. Schmid, A. Steininger / Talk: 11th EUROMICRO Conference on Digital System Design (DSD 2008), Parma, Italien; 2008-09-03 - 2008-09-05; in: "11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools, DSD 2008.", IEEE, (2008), ISBN: 978-0-7695-3277-6; 242 - 249
A Concept for Hybrid Fault Injection in Distributed Systems / C. Trödhandl, B. Weiss / Talk: Testing: Academic and Industrial Conference --- Practice and Research Techniques, Windsor, United Kingdom; 2008-08-29 - 2008-08-31; in: "Testing: Academic and Industrial Conference --- Practice and Research Techniques (Fast Abstracts)", (2008)
Brief Announcement: The Asynchronous Bounded Cycle Model / U. Schmid, P. Robinson / Talk: ACM Symposium on Principles of Distributed Computing, Toronto, Canada; 2008-08-18 - 2008-08-21; in: "PODC'08 Proceedings of the 27th Annual ACM Symposium on Principles of Distributed Computing", Association for Computing Machinery (ACM), (2008), ISBN: 978-1-59593-989-0; 423
An Investigation of the Clique Problem in Flex Ray / P. Milbredt, M. Horauer, A. Steininger / Talk: SIES´2008 Third international symposium on industrial embedded systems, Montpellier - La Grande Motte, France; 2008-08-11 - 2008-08-13; in: "International Symposium on Industrial Embedded Systems, 2008.", (2008), ISBN: 978-1-4244-1995-1; 200 - 207
Extending two non-parametric transforms for FPGA based stereo matching using bayer filtered cameras / K. Ambrosch, M. Humenberger, W. Kubinger, A. Steininger / Talk: IEEE Conference on Computer Vision and Pattern Recognition, 2008. CVPR '08, Anchorage, Alaska, USA; 2008-06-23 - 2008-06-28; in: "CVPR Workshops 2008. IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops, 2008.", (2008), ISBN: 978-1-4244-2339-2; 1 - 8
Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks / P. Milbredt, A. Steininger, M. Horauer / Talk: IEEE International Workshop on Electronic Design, Test and Applications, Hong-Kong; 2008-05-23 - 2008-05-25; in: "4th IEEE International Symposium on Electronic Design, Test and Applications, 2008. DELTA 2008.", (2008), ISBN: 978-0-7695-3110-6; 533 - 538
Safe deterministic replay for stimulating the clock synchronization algorithm in time-triggered systems / E. Armengaud, M Függer, A. Steininger / Talk: WFCS, Dresden, Germany; 2008-05-20 - 2008-05-23; in: "IEEE International Workshop on Factory Communication Systems, 2008. WFCS 2008.", (2008), ISBN: 978-1-4244-2349-1; 277 - 286
Improving Fault Tolerance by Using Reconﬁgurable Asynchronous Circuits / W. Friesenbichler, T. Panhofer, M. Delvai / Talk: 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, 2008, Bratislava, Slovakia; 2008-04-16 - 2008-04-18; in: "Design and Diagnostics of Electronic Circuits and Systems, 2008. DDECS 2008. 11th IEEE Workshop on", IEEE, (2008), ISBN: 978-1-4244-2276-0; 267 - 270
Automated Generation of Explicit Connectors for Component Based Hardware/Software Interaction in Embedded Real-Time Systems / W. Forster, C. Kutschera, A. Steininger, K. Göschka / Talk: 16th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2008), (IPDPS 2008), Miami, Florida, USA; 2008-04-14; in: "Proceedings of the 16th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2008), (IPDPS 2008)", IEEE Computer Society, (2008), ISBN: 978-1-4244-1694-3; 1 - 8
Exploring the Usefulness of the Gate-level Stuck-at Fault Model for Muller C-Elements / J. Grahsl, T. Handl, A. Steininger / Poster: 20. GI/ITG/GMM Workshop Testmethoden und Vuverlässigkeit von Schaltungen und Systemen, Wien; 2008-02-24 - 2008-02-26; in: "20. Workshop Testmethoden und Vuverlässigkeit von Schaltungen und Systemen", (2008), 165 - 169
Experimental Evaluation of the FlexRay Clock Synchronization Service / E. Armengaud / Talk: 20. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Wien; 2008-02-24 - 2008-02-26; in: "20. Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", (2008), 85 - 89
Towards a Systematic Test for Embedded Automotive Communication Systems / E. Armengaud, A. Steininger, M. Horauer / IEEE Transactions on Industrial Informatics, 4 (2008), 3; 145 - 208
Towards a real-time distribiuted computing model / H. Moser / Theoretical Computer Science, 410 (2008), 6-7; 631 - 659
An Object-oriented DEV Approach to ARGESIM Benchmark C16 `Restaurant Business Dynamics´ using Enterprise Dynamics / S. Tauböck, P. Jahn, T. Polzer, A. Schuster / Simulation News Europe SNE, 18 (2008), 1; 41 - 42
Statechart Modelling for ARGESIM Benchmark C10 `Dining Philosophers Problem II´ using Simulink/Stateflow / V. Legourski, Y. Huang, O. Cevan, F. Breitenecker / Simulation News Europe SNE, 18 (2008), 1; 39 - 40
An Object-oriented Solution to ARGESIM Benchmark C4 `Dining Philosophers Problem´ implemented with AnyLogic / M. Gyimesi, A. Dielacher, T. Handl, C. Wittmann / Simulation News Europe SNE, 18 (2008), 1; 31 - 32

2007

Clock Synchronization in the Byzantine-Recovery Failure Model / E. Anceaume, C. Delporte-Gallet, H. Fauconnier, M. Hurfin, J. Widder / Talk: International Conference On Principles Of Distributed Systems (OPODIS), Guadeloupe; 2007-12-17 - 2007-12-20; in: "International Conference On Principles Of DIstributed System", (2007), 90 - 104
A Fail-Silent Reconfigurable Superscalar Processor / T. Kottke, A. Steininger / Talk: 13th Pacific Rim International Symposium on Dependable Computing (PRDC 07), Melbourne; 2007-12-17 - 2007-12-19; in: "13th Pacific Rim International Symposium on Dependable Computing (PRDC'07), Melbourne", (2007), 232 - 239
Adopting the Scan Approach for a Fault Tolerant Asynchronous Clock Generation Circuit / T. Handl, A. Steininger, G. Kempf / Talk: International Design and Test Workshop (IDT), Kairo; 2007-12-16 - 2007-12-18; in: "Proceedings IDT'07 - The Second International Design and Test Workshop", (2007), 115 - 119
Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency / M. Biely, M. Hutle, L. Penso, J. Widder / Talk: Ninth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2007), Paris; 2007-11-14 - 2007-11-16; in: "stabilization", (2007)
A Novel Interconnection Approach for Globally Asynchronous Locally Synchronous Circuits / E. Armengaud, W. Forster / Poster: Austrochip, Graz; 2007-10-11; in: "Austrochip - Workshop on Microelectronics", (2007), 107 - 113
Exploring Hardware Software Partitioning on the Example of a Face Recognition System / C. Angerer, O. Cevan, L. Fauster, Y. Huang, B. Huber, V. Legourski, S. Pirker, T. Polzer, D. Reichhard, D. Rigler, A. Schuster, B. Weirich, P Tummeltshammer, M. Delvai / Poster: Austrochip, Graz; 2007-10-11; in: "Austrochip - Workshop on Microelectronics", (2007), ISBN: 978-3-902465-87-0; 121 - 127
SAFE - A Scalable Environment for Automated Transistor Level Fault Effect Analysis / J. Grahsl, T. Handl, A. Steininger, G. Kempf / Talk: Austrochip, Graz; 2007-10-11; in: "Austrochip - Workshop on Microelectronics", (2007), 91 - 98
A Perspective of Fault-Tolerant Clock Synchronization / U. Schmid / Keynote Lecture: 2007 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, Wien (invited); 2007-10-01 - 2007-10-03; in: "IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication", (2007)
The Effect of Quartz Drift on Convergence-Average based Clock Synchronization / E. Armengaud, A. Steininger, A. Hanzlik / Talk: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Patras; 2007-09-25 - 2007-09-28; in: "Proceedings of the 12th IEEE Conference on Emerging Technologies and Factory Automation", (2007), 1123 - 1130
Concepts and Tools for the Test of the Communication Sub-System of Time-Triggered Distributed Embedded Systems / M. Horauer, E. Armengaud, A. Steininger / Talk: International Conference on Design Engineering Technical Conferences & Computers and Information in Engineering (ASME), Las Vegas; 2007-09-04 - 2007-09-07; in: "ASME 2007 International Conference on Design Engineering Technical Conferences & Computers and Information in Engineering", (2007)
SELF-HEALING CIRCUITS FOR SPACE-APPLICATIONS / M. Delvai, T. Panhofer / Poster: 17th International Conference on Field Programmable Logic and Applications (FPL2007), Amsterdam; 2007-08-27 - 2007-08-29; in: "Proceedings of 17th INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS", (2007), ISBN: 1-4244-1060-6; 505 - 506
Tolerating Corrupted Communication / M. Biely, B. Charron-Bost, A. Gaillard, M. Hutle, A. Schiper, J. Widder / Talk: ACM Symposium on Principles of Distributed Computing, Portland; 2007-08-12 - 2007-08-15; in: "26th ACM Symposium on Principles of Distributed Computing (PODC'07)", (2007), 244 - 253
Graphical Microcontroller Programming (GMCP) / P. Jahn, T. Polzer / Poster: IEEE International Conference on Industrial Informatics - INDIN 2007, Vienna, Austria; 2007-07-23 - 2007-07-27
Synchronous Consensus with Mortal Byzantines / J. Widder, G. Gridling, B. Weiss, J. Blanquart / Talk: IEEE Conference on Dependable Systems and Networks (DSN), Edinburgh; 2007-06-25 - 2007-06-28; in: "Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks", (2007)
Hardware Implementation of an SAD based stereo vision algorithm / K. Ambrosch, M. Humenberger, W. Kubinger, A. Steininger / Talk: Third IEEE Workshop on Embedded Computer Vision, Minneapolis; 2007-06-23; in: "Proceedings of Third IEEE Workshop on Embedded Computer Vision", (2007)
Towards a Systematic Design of Fault-Tolerant Asynchronous Circuits / U. Schmid, A. Steininger, H. Veith / Poster: GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf, München; 2007-03-26 - 2007-03-28; in: "Fachtagung Zuverlässigkeit und Entwurf", VDE Verlag, (2007), ISBN: 978-3-8007-3023-0; 173 - 174
Vergleich zweier zwischen Sicherheit und Performanz rekonfigurierbarer Prozessorsysteme / T. Kottke, A. Steininger / Poster: 19. ITG/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Errlangen; 2007-03-11 - 2007-03-13; in: "19. Workshop - Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", (2007)
An Efficient Test Strategy for a Fault-Tolerant Clock Generator for Systems-on-Chip / T. Handl, A. Steininger, G. Kempf / Talk: 19. ITG/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Errlangen; 2007-03-11 - 2007-03-13; in: "19. Workshop - Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", (2007), 66 - 70
Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Process and Link Failures / J. Widder, U. Schmid / in: "Distributed Computing", Springer-Verlag, 2007, 115 - 140
Time-Multiplexed Multiple Constant Multiplication / P Tummeltshammer, J.C Hoe, M. Pueschel / in: "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems", IEEE, 2007, 1551 - 1563
FIT-IT Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung / U. Schmid, A. Steininger, M. Sust / Elektrotechnik und Informationstechnik (e&i), Heft 1-2 (2007), 3 - 8

2006

Optimal clock synchronization revisited: Upper and lower bounds in real-time systems / H. Moser, U. Schmid / Talk: International Conference On Principles Of Distributed Systems (OPODIS), Bordeaux; 2006-12-12 - 2006-12-14; in: "Principles of Distributed Systems", (2006), 94 - 109
Reconciling Distributed Computing Models and Real-Time Systems / H. Moser, B. Thallner / Talk: IEEE Real-Time Systems Symposium, Rio de Janiero; 2006-12-05 - 2006-12-08; in: "Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS'06)", (2006), 73 - 76
Wissenschaftliche Forschung - Quo vadis? / U. Schmid / Talk: IKT in Österreich 2006, Wien (invited); 2006-12-05 - 2006-12-06
Brief Announcement: Chasing the Weakest System Model for Implementing Omega and Consensus / M. Hutle, D. Malkhi, U. Schmid, L. Zhou / Talk: 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Dallas; 2006-11-17 - 2006-11-19; in: "Stabilization, Safety, and Security of Distributed Systems", (2006)
Optimal Message-Driven Implementations of Omega with Mute Processes / M. Biely, J. Widder / Talk: 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Dallas; 2006-11-17 - 2006-11-19; in: "Stabilization, Safety, and Security of Distributed Systems", (2006), 110 - 121
Remote Target Monitoring in Embedded Systems Lab Courses using a Sensor Network / C. Trödhandl, M. Proske, W. Elmenreich / Talk: The 32nd Annual Conference of the IEEE Industrial Society, Paris; 2006-11-06 - 2006-11-10; in: "The 32nd Annual Conference of the IEEE Industrial Society - IECON'2006", (2006), 5433 - 5438
Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip / M Függer, U. Schmid, G. Fuchs, G. Kempf / Talk: European Dependable Computing Conference, Coimbra; 2006-10-18 - 2006-10-20; in: "EDCC-6", (2006), 87 - 96
An Efficient Test for a Transition Signalling based Up-/Down-Counter / M Függer, T. Handl, A. Steininger, J. Widder, C. Tögel / Poster: Austrochip, Wien; 2006-10-11; in: "Austrochip Mikroelektroniktagung", (2006), 55 - 62
Threshold Modules -- Die Schlüsselelemente zur Verteilten Generierung eines Fehlertoleranten Taktes / G. Fuchs, J. Grahsl, U. Schmid, A. Steininger, G. Kempf / Talk: Austrochip, Wien; 2006-10-11; in: "Austrochip Mikroelektroniktagung", (2006), 149 - 156
Recovery Mechanisms for Dual Core Architectures / C. El Salloum, A. Steininger, P Tummeltshammer / Talk: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT ), Washington DC, USA; 2006-10-04 - 2006-10-06; in: "21st IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, DFT 2006, Proceedings", (2006), ISBN: 0-7695-2706-x; 380 - 388
VLSI Implementation of a Fault-Tolerant Distributed Clock Generation / M. Ferringer, G. Fuchs, A. Steininger, G. Kempf / Talk: International Symp. on Defect and Fault Tolerance in VLSI-Systems, Arlington; 2006-10-04 - 2006-10-06; in: "The 21st IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems", (2006), 563 - 571
Analysis of Constraints in a Fault-Tolerant Distributed Clock Generation Scheme / G. Fuchs, M Függer, A. Steininger, F. Zangerl / Talk: 3rd International Workshop on Dependable Embedded Systems, Leeds; 2006-10-01; in: "WDES 2006 3rd Workshop on Dependable Embedded Systems", (2006), 22 - 27
Environments for Remote Teaching in Embedded Systems Courses / C. Trödhandl, B. Weiss, T. Handl, M. Proske / Talk: ERCIM / DECOS Workshop on Dependable Embedded Systems, Cavtat (invited); 2006-09-29; in: "2006 ERCIM / DECOS Workshop on Dependable Embedded Systems", (2006)
Construction of a Fault-Tolerant Wireless Communication Topology Using Distributed Agreement / H. Moser, B. Thallner / Talk: Workshop on Dependability issues in wireless ad hoc networks and sensor networks (DIWANS), Los Angeles; 2006-09-25; in: "DIWANS '06: Proceedings of the 2006 workshop on Dependability issues in wireless ad hoc networks and sensor networks", (2006), 35 - 43
Automatic Parameter Identification in FlexRay Based Automotive Communication Networks / E. Armengaud, A. Steininger / Talk: IEEE International Conference on Emerging Technologies and Factory Automation, Prag; 2006-09-20 - 2006-09-22; in: "11th IEEE International Conference on Emerging Technologies and Factory Automation", (2006), 897 - 904
Embedded Systems Home Experimentation / W. Elmenreich, C. Trödhandl, B. Weiss / Talk: Second IASTED International Conference on Education and Technology, Calgary; 2006-09-17 - 2006-09-19; in: "Proceedings of the Second International Conference on Education and Technology", (2006), 11 - 15
Testing the Hardware Implementation of a Distributed Clock Generation Algorithm for SoCs / A. Steininger, T. Handl, G. Fuchs, F. Zangerl / Talk: East-West Design & Test International Workshop (EWDTW'06), Sochi (invited); 2006-09-15 - 2006-09-19; in: "East-West Design & Test International Workshop", (2006), 59 - 64
Synchronous Consensus with Mortal Byzantines / J. Widder, G. Gridling, B. Weiss, J. Blanquart / Talk: Dagstuhl Seminar 06371. From Security to Dependability, Dagstuhl (invited); 2006-09-10 - 2006-09-15
Solving the Fundamental Problem of Digital Design -- A Systematic Review of Design Methods / M. Delvai, A. Steininger / Poster: 9th Euromicro Conference on Digital System Design, Dubrovnik; 2006-08-30 - 2006-09-01; in: "9th Euromicro Conference on Digital System Design - Architectures, Methods and Tools", (2006), 131 - 136
Asynchronous Logic Design - from Concepts to Implementation / M. Delvai, A. Steininger / Talk: The 3rd International Conference on Cybernetics and Information Technologies, Systems and Applications, Orlando; 2006-07-20 - 2006-07-23; in: "The 3rd International Conference on Cybernetics and Information Technologies, Systems and Applications - Volume 1", (2006), 81 - 86
A Practical Comparison of Logic Design Styles / M. Delvai, A. Steininger / Talk: The 3rd International Conference on Cybernetics and Information Technologies, Systems and Applications, Orlando; 2006-07-20 - 2006-07-23; in: "The 3rd International Conference on Cybernetics and Information Technologies, Systems and Applications - Volume 3", (2006), 61 - 66
Embedded Systems Exams With True/False Questions: A Case Study / G. Gridling, B. Weiss, W. Elmenreich, C. Trödhandl / Talk: Second IASTED International Conference on Education and Technology, Calgary; 2006-07-17 - 2006-07-19; in: "Proceedings of the Second International Conference on Education and Technology", (2006), 168 - 172
Pushing the Limits of Remote Online Diagnosis in FlexRay Networks / E. Armengaud, A. Steininger / Talk: IEEE International Workshop on Factory Communication Systems, Torino; 2006-06-27 - 2006-06-30; in: "6th IEEE International Workshop on Factory Communication Systems", (2006)
Fault-Tolerant Algorithms on SoCs - A case study / A. Steininger, M Függer, U. Schmid, G. Fuchs / Talk: IEEE International Conference on Dependable Systems and Networks, Philadelphia; 2006-06-25 - 2006-06-28; in: "Supplement Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN)", (2006), 190 - 191
A Reconfigurable Generic Dual-Core Architecture / T. Kottke, A. Steininger / Talk: IEEE International Conference on Dependable Systems and Networks, Philadelphia; 2006-06-25 - 2006-06-28; in: "Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN)", (2006), 45 - 54
A µController Lab for Distance Learning / G. Gridling, B. Weiss / Talk: 6th International Workshop on Microelectronics Education, Stockholm; 2006-06-08 - 2006-06-09; in: "EWME 2006 - Proceedings", (2006), 129 - 132
The DARTS project / A. Steininger / Talk: ESA Workshop, Wien; 2006-05
Anytime, Everywhere - Approaches to Distance Labs in Embedded Systems Education / M. Proske, C. Trödhandl / Talk: ICTTA06: International Conference on Information & Communication Technologies, Damascus; 2006-04-24 - 2006-04-28; in: "Proceedings of ICTTA 2006", (2006), 6 pages
Simulating Distributed Real-Time Systems / D. Albeseder, J. Widder / Poster: Junior Scientist Conference, Wien; 2006-04-19 - 2006-04-21; in: "Junior Scientist Conference 2006", (2006), 83 - 84
Implementation of an FPGA-Based Hardware Fault Injector / T. Handl, A. Steininger / Poster: Junior Scientist Conference, Wien; 2006-04-19 - 2006-04-21; in: "Junior Scientist Conference 2006", (2006), 23 - 24
Efficient Position-based Communication in Wireless Ad-hoc Networks / H. Stratil, U. Schmid / Poster: Junior Scientist Conference, Wien; 2006-04-19 - 2006-04-21; in: "Junior Scientist Conference 2006", (2006), 75 - 76
A Remote and Transparent Approach for the Test and Diagnosis of Automotive Networks / E. Armengaud, A. Steininger / Poster: Junior Scientist Conference, Wien; 2006-04-19 - 2006-04-21; in: "Junior Scientist Conference 2006", (2006)
Construction of a Fault-Tolerant Wireless Communication Topology Using Distributed Agreement / H. Moser, U. Schmid / Talk: Junior Scientist Conference, Wien; 2006-04-19 - 2006-04-21; in: "Junior Scientiest Conferenve 2006", (2006), 47 - 48
Time-Multiplexed Multiple Constant Multiplication / P Tummeltshammer, A. Steininger / Talk: Junior Scientist Conference, Wien; 2006-04-19 - 2006-04-21; in: "Junior Scientist Conference 2006", (2006), 77 - 78
Low Level Bus Traffic Replay for the Test of Time-Triggered Communication Systems / E. Armengaud / Poster: 9th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS06), Prag; 2006-04-18 - 2006-04-21; in: "9th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems", (2006), 155 - 156
Distance Labs - Embedded Systems @home / M. Proske, C. Trödhandl, T. Handl / Talk: Edutainment 2006, Zhejiang; 2006-04-14 - 2006-04-18; in: "Journal of Computational Information Systems", (2006), 435 - 444
ExTraCT: A New Approach for the Transparent Test of Time-Triggered Communication Systems / E. Armengaud / Talk: 18. ITG/GI/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Titisee; 2006-03-12 - 2006-03-14; in: "18. ITG/GI/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", (2006)
Ein dynamisch rekonfigurierbarer superskalarer Prozessor mit den Modi Sicherheit und Performanz / A. Steininger, T. Kottke / Talk: 18. ITG/GI/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Titisee; 2006-03-12 - 2006-03-14; in: "18. ITG/GI/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", (2006), 36 - 40
Teaching Hardware Software Codesign to Software Engineers / M. Delvai, A. Steininger / Talk: 1st International Workshop on Reconfigurable Computing Education, Karlsruhe; 2006-03-01; in: "International Workshop on Reconfigurable Computing Education", (2006)
The ECS group's hardware related research activities / A. Steininger / Talk: Firma Freescale, München; 2006-02-17
A CORBA-Based Architecture for Hard Real-Time Systems / T. Losert, W. Huber, K. Hendling, M. Jandl / in: "Intelligent Systems at the Service of Mankind - Volume II", Ubooks, Augsburg, 2006, ISBN: 3866080522, 239 - 254
Anytime, Everywhere - Approaches to Distance Labs in Embedded Systems Education - Extended Abstract / M. Proske, C. Trödhandl / in: "Proceedings of ICTTA 2006", IEEE, 2006, 205 - 206
Design Variety in Hardware/Software Codesign - Implementations of an AES Encoder / K. Ambrosch, C. Helpa, J. Lechner, R. Leidenfrost, T. Panhofer, A. platschek, S. Ramberger, U. Stadler, D. Steiner, H. Trinkl, C. Widtmann, M. Delvai / in: "Austrochip Mikroelektroniktagung", Austrochip 2006, 2006, 181 - 188

2005

Implementing Reliable Distributed Real Time Systems with the Theta Model / J.-F. Hermant, J. Widder / Talk: International Conference on Principles of Distributed Systems, Pisa; 2005-12-12 - 2005-12-14; in: "9th International Conference on Principles of Distributed Systems", (2005), 259 - 271
ASPEAR - An Asynchronous 16 Bit RISC Processor Core / M. Delvai, A. Steininger / Poster: Siemens PSE Technology Day, Wien; 2005-11-25
Fault Tolerant Topology Control with unreliable Failure Detectors / H. Stratil / Talk: IASTED International Conference on Parallel and Distributed Computing Systems, Phoenix, Arizona; 2005-11-14 - 2005-11-16; in: "Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems", (2005), ISBN: 0-88986-525-6; 767 - 772
On the Possibility and the Impossibility of Message-Driven Self-Stabilizing Failure Detection / M. Hutle, J. Widder / Talk: Seventh International Symposium on Self Stabilizing Systems (SSS 2005), Barcelona, Spanien; 2005-10-26 - 2005-10-27; in: "Self Stabilizing Systems", (2005), 153 - 170
Voronoi supported communication in Wireless ad-hoc Networks / H. Stratil / Talk: Second International Symposium on Voronoi Diagrams in Science and Engineering, Seoul, Korea; 2005-10-10 - 2005-10-13; in: "The 2nd International Symposium on Voronoi Diagrams in Science and Engineering", (2005), 105 - 116
An Efficient Test and Diagnosis Environment for Communication Controllers / E. Armengaud, A. Steininger, M. Horauer / Talk: Austrochip, Wien; 2005-10-06; in: "Austrochip 2005", ???, (2005)
Design of an Asynchronous Microprocessor with Four-State Logic / M. Delvai, G. Fuchs, T. Handl, W. Huber, A. Steininger / Talk: Austrochip, Wien; 2005-10-06; in: "Austrochip 2005", (2005), 105 - 112
A System for Automatic Testing of Embedded Software in Undergraduate Study Exercises / V. Legourski, C. Trödhandl, B. Weiss / Talk: Workshop on Embedded Systems Education, Jersey City; 2005-09-22; in: "Proceedings Workshop on Embedded Systems Education (WESE'05)", (2005), 44 - 51
A Case Study in Efficient Microcontroller Education / B. Weiss, G. Gridling, M. Proske / Talk: Workshop on Embedded Systems Education, Jersey City, New Jersey; 2005-09-22; in: "Proceedings Workshop on Embedded Systems Education WESE 2005", (2005), 36 - 43
Efficient Stimulus Genereation for Remote Testing of Distributed Systems - The Flexray Example / E. Armengaud, A. Steininger, M. Horauer / Talk: ETFA, Catania, Italy; 2005-09-19 - 2005-09-22; in: "Proceedings of the 10th IEEE Internationla Conference on Emerging Technologies and Factory Automation", IEEE, I (2005), 763 - 770
Brief Announcement: On the Possibility and the Impossibility of Message-Driven Self-Stabilizing Failure Detection / M. Hutle, J. Widder / Talk: ACM Symposium on Principles of Distributed Computing, Las Vegas, Nevada; 2005-07-17 - 2005-07-20; in: "Proceedings of the 24th ACM Symposium on Principles of Distributed Computing", (2005), 208
Proof-Based Systems Engineering in ASSERT / G. Le Lann, U. Schmid / Talk: Data Systems in Aerospace, Edinburgh; 2005-05-30 - 2005-06-02; in: "Proof-Based Systems Engineering in ASSERT", (2005)
Evaluation of Message Delay Correlation in Distributed Systems / D. Albeseder / Talk: 3rd Workshop on Intelligent Solutions in Embedded Systems (WISES'05), Hamburg, Deutschland; 2005-05-20; in: "Proceedings of the Third International Workshop on Intelligent Solutions in Embedded Systems", (2005), 139 - 150
Topology Control for Fault-Tolerant Communication in Highly Dynamic Wireless Networks / B. Thallner, H. Moser / Talk: Workshop on Intelligent Solutions in Embedded Systems, Hamburg, Deutschland; 2005-05-20; in: "Proceedings of the Third International Workshop on Intelligent Solutions in Embedded Systems", (2005), 89 - 100
Proof-Based System Engineering Using a Virtual System Model / M. Biely, G. Le Lann, U. Schmid / Talk: International Service Availability Symposium, Berlin, Deutschland; 2005-04-25 - 2005-04-26; in: "Service Availability", (2005), 164 - 179
Failure Detection with Booting in Partially Synchronous Systems / J. Widder, G. Le Lann, U. Schmid / Talk: European Dependable Computing Conference, Budapest, Ungarn; 2005-04-20 - 2005-04-22; in: "Dependable Computing Conference - EDCC5", (2005), 20 - 37
A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories / E. Armengaud, F Rothensteiner, A. Steininger, M. Horauer / Talk: IEEE International Workshop on Desgin & Diagnostic of Electronic Circuits and Systems, Sopron; 2005-04-13 - 2005-04-16; in: "Proceedings of IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS) 2005", (2005), 113 - 120
A Method for Bit Level Test and Diagnosis of Communication Services / E. Armengaud, A. Steininger, M. Horauer / Talk: IEEE International Workshop on Desgin & Diagnostic of Electronic Circuits and Systems, Sopron; 2005-04-13 - 2005-04-16; in: "Proceedings of IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS) 2005", (2005), 69 - 74
Design and Implementation of an Efficient Stack Machine / M. Schöberl / Talk: International Parallel and Distributed Processing Symposium (IPDPS), Denver, Colorado; 2005-04-04 - 2005-04-08; in: "Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International (IPDPS)", (2005), ISBN: 0-7695-2312-9; 159
Designoptimierung eines Prozessors mit Eigenfehlererkennung / T. Kottke, A. Steininger / Talk: 17. ITG/GI/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen;, Inssbruck; 2005-02-27 - 2005-03-01; in: "16. ITG/GI/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen;", (2005), 55 - 59
Self-Stabilizing Failure Detector Algorithms / M. Hutle, J. Widder / Talk: IASTED International Conference on Parallel and Distributed Computing Systems, Innsbruck, Austria; 2005-02-15 - 2005-02-17; in: "IASTED International Conference on Parallel and Distributed Computing and Networks", (2005), ISBN: 0-88986-468-3; 485 - 490
Distributed Construction of an Underlay in Wireless Networks / H. Stratil / Talk: European Workshop on Wireless Sensor Networks, Istanbul, Türkei; 2005-01-31 - 2005-02-02; in: "Proceedings of the Second European Workshop on Wireless Sensor Networks", (2005), 176 - 187
Small PC-Network Simulation -- A Comprehensive Performance Case Study / D. Albeseder, M Függer, F. Breitenecker, T. Löscher, S. Tauböck / Simulation News Europe, 44/45 (2005), 26 - 32
Dependable Embedded Systems Research at TU Vienna / H. Kopetz, R. Obermaisser, U. Schmid / Elektrotechnik und Informationstechnik (e&i) (invited), 1 (2005), 1; 33 - 37
On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times / C. Fetzer, M. Süßkraut, U. Schmid / in: "On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times", IEEE Computer Society, 2005, 271 - 280
A Structured Approach for the Systematic Test of Embedded Automotive Communication Systems / E. Armengaud, F Rothensteiner, A. Steininger, R. Pallierer, M. Horauer, M Zauner / in: "Proceedings International Test Conference 2005", IEEE Computer Society, 2005, ISBN: 0-7803-9039-3, 21 - 28
A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems / R. Pallierer, M. Horauer, M Zauner, A. Steininger, E. Armengaud, F Rothensteiner / in: "Embedded World 2005", unbekannt, 2005
Antrag UNI-Infrastruktur III, Embedded Systems Research Cluster / U. Schmid, H. Kopetz, P. Puschner, L. Mayerhofer, A. Steininger, H. Grünbacher, W. Kastner, A. Krall / 2005

2004

Interference Minimizing Bandwidth Guaranteed On-Line Routing Algorithm for Traffic Engineering / K. Hendling, T. Losert, W. Huber, M. Jandl / Talk: IEEE International Conference on Networks (2004, 12th ICON), Singapur; 2004-11-16 - 2004-11-19; in: "Proceedings of the IEEE International Conference on Networks (2004, 12th ICON) ", IEEE, Volume 2 (2004), ISBN: 0-7803-8783-x; 497 - 503
VLSI Design and the Theta-Model (Kurzvorstellungen aktueller Forschung) / J. Widder / Talk: Diskussionskreis Fehlertoleranz, Berlin; 2004-11-12
The Theta-Model / U. Schmid / Talk: Diskussionskreis Fehlertoleranz, Berlin; 2004-11-12
A Dual Core Architecture with Error Containment / T. Kottke, A. Steininger / Talk: East-West Design & Test International Workshop(EWDTW´04), Yalta-Alushta, Crimea, Ukraine; 2004-09-23 - 2004-09-26; in: "East-West Design & Test International Workshop", (2004), ISBN: 966-659-088-3; 102 - 108
A Layer Model for the Systematic Test of Time-Triggered Automotive Communication Systems / E. Armengaud, A. Steininger, M. Horauer, R. Pallierer / Talk: IEEE International Workshop on Factory Communication Systems, Vienna,Austria; 2004-09-22 - 2004-09-24; in: "IEEE Workshop on Factory Communication Systems (WFCS 04)", IEEE Catalog Number 04TH8777 (2004), ISBN: 0-7803-8734-1; 275 - 283
Revision and Verification of an Enhanced UART / R. Gallo, M. Delvai, W. Elmenreich, A. Steininger / Talk: IEEE International Workshop on Factory Communication Systems, Vienna, Austria; 2004-09-22 - 2004-09-24; in: "Proceedings of the 2004 IEEE International Workshop on Factory Communication Systems", IEEE, (2004), ISBN: 0-7803-8734-1; 315 - 318
An efficient implementation of the greedy forwarding strategy / H. Stratil / Talk: 34. Jahrestagung der Gesellschaft für Informatik (GI), Ulm; 2004-09-20 - 2004-09-24; in: "GI-Edition Informatik 2004- Informatik verbindet", Köllen Druck+Verlag, Band 2, Ulm (2004), ISSN: 1617-5468; 365 - 369
An Extensible Transport Framework for CORBA with Emphasis on Real-Time Capabilities / T. Losert, W. Huber, K. Hendling, M. Jandl / Talk: Second IEEE International Conference on Computational Cybernetics 2004 (ICCC'04), Vienna, Austria; 2004-08-30 - 2004-09-01; in: "Proceeding of ICCC'04", (2004), ISBN: 3-902463-01-5; 155 - 161
Design Trade-offs for Systematic Tests of Embedded Communication Systems / E. Armengaud, A. Steininger, M. Horauer, R. Pallierer / Talk: IEEE International Conference on Dependable Systems and Networks, Florence, Italy; 2004-07-28 - 2004-08-01; in: "International Conference on Dependable Systems and Networks (DSN 2004)", (2004), 118 - 119
Brief Announcement: On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times / C. Fetzer, U. Schmid / Talk: 23th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), St. John´s , Newfoundland, Canada; 2004-07-25 - 2004-07-28; in: "23th ACM SIGACT-SIGOPS Symposium on PRINCIPLES of DISTRIBUTED commuting (PODC)", (2004), 402
Real-time Fault Injection with Signal-Flip model by FIDYCO / B. Rahbaran, A. Steininger / Talk: IEEE International Conference on Dependable Systems and Networks, Florence, Italy; 2004-06-28 - 2004-07-01; in: "DSN 2004 Supplement", IEEE Computer Society, Supplemental (2004), 70 - 71
Fault Tolerant Communication Topologies for Wireless Ad Hoc Networks / B. Thallner / Talk: IEEE International Conference on Dependable Systems and Networks, Florence, Italy; 2004-06-28 - 2004-07-01; in: "Proceedings 1st Workshop on Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks (DIWANS'04)", (2004), 261 - 266
Towards a Rapid Prototyping Framework for Architecture Exploration in Embedded Systems / M. Jankela, W. Puffitsch, W. Huber / Talk: Workshop on Intelligent Solutions in Embedded Systems, Graz, Austria; 2004-06-25; in: "Proceedings of the Second Workshop on Intelligent Solutions im Embedded Systems", (2004), ISBN: 3902463007; 117 - 127
Embedded Real-Time-Tracer --An Approach with IDE / B. Rahbaran, M Függer, A. Steininger / Talk: Workshop on Intelligent Solutions in Embedded Systems, Austria, Graz; 2004-06-25; in: "Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems", (2004), ISBN: 3-902463-00-7; 25 - 35
Multiple Constant Multiplication By Time-Multiplexed Mapping of Addition Chains / P Tummeltshammer, J.C Hoe, M Püschel / Talk: DAC 04, San Diego, California, USA; 2004-06-07 - 2004-06-11; in: "DAC 04", (2004), 826 - 829
A Fail-Silent Memory for Automotive Applications / A. Steininger, T. Kottke / Talk: European Test Symposium, Ajaccio,Corsica,France; 2004-05-23 - 2004-05-26; in: "9th European Test Symposium", (2004), 253 - 258
A Monitoring Concept for an Automotive Distributed Network - The FlexRay Example / E. Armengaud, A. Steininger, M. Horauer, R. Pallierer, H. Friedl / Talk: 7th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2004), Stara Lesna, Slovakia; 2004-04-18 - 2004-04-21; in: "Proceedings of the 7th Workshop on Design and Diognostics of Electronic Circuits and Systems", (2004), ISBN: 80-969117-9-1; 173 - 178
A Generic Dual-Core Architecture / T. Kottke, A. Steininger / Talk: 7th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2004), Stara Lesna, Slovakia; 2004-04-18 - 2004-04-21; in: "7th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2004)", (2004), ISBN: 80-969117-9-1; 159 - 166
Embedded Systems im Auto - Ein Vorbild für die Bahn? / A. Steininger / Talk: Tagung, TU-Wien, Prechtlsaal; 2004-03-11; in: "Intelligenz im Schienenverkehr: Sicherheitsstandarts und effiziente Kapatzitätsnutzung", (2004), #
Why, Where and How to Use the Theta-Model / J. Widder / Talk: Seminaire Reflecs in INRIA Rocquencourt, Frankreich, INRIA Rocquencourt, Frankreich (invited); 2004-03-10
On omega in sparse networks (Fast Abstract) / M. Hutle / Talk: 20th IEEE International Conference on Software Maintenance (ICSM'04), Papeete,Tahiti,French Polynesia; 2004-03-03 - 2004-03-05; in: "Proceedings of the 10th IEEE International Symposium Pacific Rim Dependable Computing ", LAAS-CNRS, (2004), 37 - 38
Concurrent Checking eines Adressdecoders / A. Steininger, T. Kottke / Talk: 16. ITG/GI/GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Dresden, Germany; 2004-02-29 - 2004-03-02; in: "GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", (2004), 25 - 29
An efficient failure detector for sparsely connected networks / M. Hutle / Talk: 22nd IASTED International Multi-Conference on Applied Informatics, Innsbruck, Austria; 2004-02-17 - 2004-02-19; in: "Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks ", Acta Press, (2004), ISSN: 1027-2666; 369 - 374
The Theta-Model, and how to Boot Clock Synchronization in it / J. Widder / Talk: Seminaire Reflecs in INRIA Rocquencourt, Frankreich, INRIA Rocquencourt, Frankreich (invited); 2004-02-10
Monitoring and Fault Injection of X-by-Wire Communication Networks / R. Pallierer, M. Horauer, A. Steininger / Talk: Entwicklerforum Design & Elektronik: Drahtlose und drahtgebundene Netzwerke, Wien; 2004-02-03; in: "Entwicklerforum Design & Elektronik: Drahtlose und drahtgebundene Netzwerke", (2004)
Built-in Fault Injection in Hardware-- The FIDYCO Example / B. Rahbaran, A. Steininger, T. Handl / Talk: IEEE International Workshop on Electronic Design, Test and Applications, Perth, Australia; 2004-01-28 - 2004-01-30; in: "Second IEEE International Workshop on Electronic Design, Test and Applications", B. Rahbaran, A. Steininger (ed.); IEEE Computer Society Press, Delta 2004, Perth Australia (2004), ISBN: 0-7695-2081-2; 327 - 332
Embedded Real-Time-Tracer -- An Approach with IDE / B. Rahbaran, M Függer, A. Steininger / Telematik, 3-4 (2004), 16 - 20
An FPGA based SoC Design for Testing Embedded Automotive Communication Systems employing the FlexRay Protocol / M. Horauer, F Rothensteiner, M Zauner, E. Armengaud, A. Steininger, H. Friedl, R. Pallierer / Poster: Austrochip, Wien; 2004; in: "Austrochip 2004", TU-Wien, (2004), 119 - 123
Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips / U. Schmid, A. Steininger / Patent: Österreich, submitted: 2004
An efficient implementation of the greedy forwarding strategy / H. Stratil / Report for Research Report 16/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Distributed Construction of Sparse Fault-Tolerant Overlay Networks / B. Thallner, U. Schmid / Report for Research Report 35/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
On the Possibility of Consensus in Asynchronous Systems with Finite Average Response Times / C. Fetzer, U. Schmid / Report for Research Report 14/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Face Recognition on ASICs / P Tummeltshammer, M. Pueschel, A. Steininger, C. Überhuber / Report for Research Report 108/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Constant Multiplication Methods / P Tummeltshammer, M. Pueschel, A. Steininger, C. Überhuber / Report for Research Report 107/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Recovery Mechanisms for Dual Core Architectures / C. El Salloum, A. Steininger / Report for Research Report 100/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
A Reconfigurable Generic Dual Core Architecture / T. Kottke, A. Steininger / Report for Research Report 99/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
A Strategy for Experimental Fault Injection into an Asynchronous Processor / B. Rahbaran, A. Steininger / Report for Research Report 98/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Options for Remote Diagnosis in Automotive Distributed Networks / A. Steininger, M. Horauer, E. Armengaud / Report for Research Report 97/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories / E. Armengaud, F Rothensteiner, A. Steininger, M. Horauer / Report for Research Report 96/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Fault Injection -- Requirements and Concepts / E. Armengaud, A. Steininger, M. Horauer / Report for Research Report 95/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Fault Injection Method / E. Armengaud, A. Steininger / Report for Research Report 94/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Accurate Diagnosis Method with Access to Bit-Level / E. Armengaud / Report for Research Report 93/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
FlexRay Parameter Classification / E. Armengaud / Report for Research Report 92/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Automatic Parameter Detection for Communication Protocols / E. Armengaud, A. Steininger / Report for Research Report 91/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Monitoring and Replay Hardware -- Specification and Implementation / E. Armengaud, M. Horauer / Report for Research Report 90/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Monitoring and Replay hardware -- Requirements and Concepts / E. Armengaud, A. Steininger, M. Horauer / Report for Research Report 89/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Solving the Fundamental Problem of Digital Design -- A Systematic Review of Design Methods / M. Delvai, A. Steininger, W. Huber / Report for Research Report 88/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Code Alternation Logic (CAL): A Novel Efficient Design Approach for Delay-Insensitive Asynchronous Circuits / A. Steininger, M. Delvai, W. Huber / Report for Research Report 87/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Synchronous and Asynchronous Design Methods -- A Hardware Designer's Perspective / A. Steininger, M. Delvai, W. Huber / Report for Research Report 86/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Delay Insensitive Asychronous Pipeline Implementation for Code Alternation Logic / W. Huber, A. Steininger, M. Delvai / Report for Research Report 85/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Code Alternation Logic -- A Novel and Efficient Method for Delay-Insensitive Asynchronous Circuits / A. Steininger, M. Delvai, W. Huber / Report for Research Report 84/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
DARTS - Distributed Algorithms for Robust Tick Synchronization / G. Fuchs, U. Schmid, A. Steininger / Report for Research Report 72/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
EPOCAL - Exploring the Potential of Code Alternation Logic / A. Steininger, T. Handl, G. Fuchs / Report for Research Report 71/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Dezentrale Fehlertolerante Taktgenerierung in VLSI Chips / U. Schmid, A. Steininger / Report for Research Report 69/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
The usage of the Delaunay Triangulation (resp. the Voronoi Diagram) in dynamic wireless ad-hoc networks / H. Stratil / Report for Research Report 67/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Performing Automatic Physical Injection of Signal-Flips and Delay Faults with the toolset FIDYCO / B. Rahbaran / Report for Research Report 46/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Distributed Construction of Fault-Tolerant Overlay Networks: Construction Algorithm / H. Moser, B. Thallner / Report for Research Report 39/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Distributed Construction of Fault-Tolerant Overlay Networks: Propose Modules / B. Thallner / Report for Research Report 38/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
On the Possibility and the Impossibility of Time Free Self-Stabilizing Failure Detection / M. Hutle, J. Widder / Report for Research Report 34/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Time Free Self-Stabilizing Local Failure Detection / M. Hutle, J. Widder / Report for Research Report 33/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Implementing Time Free Designs for Distributed Real-Time Systems (A Case Study) / J.-F. Hermant, J. Widder / Report for Research Report 23/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria (Joint research report with INRIA Rocquencourt, France); 2004
Final Report START-Project Y41 / U. Schmid / Report for Research Report 19/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Ein Verfahren für das verteilte Generieren eines fehlertoleranten adaptiven Taktes in Hardware / G. Fuchs, U. Schmid, A. Steininger / Report for Research Report 18/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Design of a Voronoi-Aided Routing (VAR) Protocol for Wireless Sensor Networks / H. Stratil / Report for Research Report 15/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Fault-Tolerant Distributed Algorithms in Sparse Ad Hoc Wireless Networks / U. Schmid, B. Weiss / Report for Research Report 13/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Die Wichtigsten Kommandos in der dc_shell(synopsys) / B. Rahbaran / Report for Research Report 5/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Failure Model Coverage under Transient Link Failures / U. Schmid / Report for Research Report 2/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Synchronous Byzantine Agreement under Hybrid Process and Link Failures / U. Schmid, B. Weiss / Report for Research Report 1/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004
Creating and Grading Multiple-Choice Exams / B. Weiss, G. Gridling / Report for Research Report 63/2004, Technische Universität Wien, Institut für Technische Informatik, Treitlstraße 3, A-1040 Vienna, Austria; 2004

2003

An optimal Byzantine agreement algorithm with arbitrary node and link failures. / M. Biely / Talk: IASTED International Conference on Parallel and Distributed Computing Systems, Marina Del Rey, California, USA; 2003-11-03 - 2003-11-05; in: "Proc. 15th Annual IASTED International Conference on Parallel", (2003), 146 - 151
Randomized asynchronous consensus with imperfect communications. / U. Schmid, C. Fetzer / Talk: IEEE Symposium on Reliable Distributed Systems, Florence, Italy; 2003-10-06 - 2003-10-08; in: "Proc. 22nd Symposium on Reliable Distributed Systems ", (2003), 361 - 370
LANCE: A 16 Bit Superscalar Processor / M. Delvai, G. Fuchs / Talk: Austrochip, Linz; 2003-10-03; in: "Austrochip 2003", (2003), 87 - 90
Booting clock synchronization in partially synchronous systems. / J. Widder / Talk: International Conference on Distributed Computing Systems, Sorrento, Italy; 2003-10-01 - 2003-10-03; in: "Proceedings of the 17th International Symposium on Distributed Computing ", (2003), 121 - 135
A Generic Architecture for Integrated Smart Transducers / M. Delvai, U. Eisenmann, W. Elmenreich / Talk: International Conference, FPL 2003, Lissabon, Portugal; 2003-09-01 - 2003-09-03
Towards Virtual Prototyping of Embedded Computer Systems / M. Delvai, M. Jankela, A. Steininger / Poster: The 7th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida; 2003-07-27 - 2003-07-30; in: "Proceedings, Volume I, Information Systems, Technologies and Applications", (2003), 70 - 75
A Generic Real-time Debugger Architecture / M. Delvai, C. El Salloum, A. Steininger / Talk: World Multiconference on Systemics, cybernetics and Informatics, Orlando, Florida; 2003-07-27 - 2003-07-30; in: "The 7th World Multiconference on Systemics, Cybernetics and Informatics", (2003), 65 - 70
Processor Support for Temporal Predictability - The SPEAR Design Example / M. Delvai, W. Huber, P. Puschner, A. Steininger / Talk: 15th Euromicro Conference on Real-Time Systems, Porto, Portugal; 2003-07-02 - 2003-07-04; in: "Proceedings of the 15 Euromicro International Conference on Real-Time Systems", (2003), 169 - 176
Intelligent UART Module for Real-Time Applications / M. Delvai, U. Eisenmann, W. Elmenreich / Talk: Workshop on Intelligent Solutions in Embedded Systems (WISES'03), Wien; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", (2003), 177 - 185
Built-in Fault Injectors - The Logical Continuation of BIST? / A. Steininger, B. Rahbaran, T. Handl / Talk: Workshop on Intelligent Solutions in Embedded Systems (WISES'03), Wien; 2003-06-27; in: "Proceeding of the First Workshop on Intelligent Solutions in Embedded Systems", (2003), 187 - 196
Using a Java Optimized Processor in a Real World Application / M. Schöberl / Talk: Workshop on Intelligent Solutions in Embedded Systems, Vienna, Austria; 2003-06-27; in: "Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems", W. Elmenreich (ed.); (2003), 165 - 176
A Generic Architecture for Integrated Smart Transducers / M. Delvai, U. Eisenmann, W. Elmenreich / Lecture Notes in Computer Science, 2778 (2003), 733 - 744
A Transparent Online Memory Test for Simultaneous Detection of Functional Faults and Soft Errors in Memories / K. Thaller, A. Steininger / IEEE Transactions on Reliability, 52 (2003), 4; 413 - 422
Dealing With Dormant Faults in an Embedded Fault-Tolerant Computer System / C. Scherrer, A. Steininger / IEEE Transactions on Reliability, 52 (2003), 4; 512 - 522
Interval-based clock synchronization with optimal precision. / U. Schmid, K. Schossmaier / Information and Computation, 186 (2003), 1; 36 - 77
Perfect failure detection with booting in partially synchronous systems / J. Widder, G. Le Lann, U. Schmid / Report for Technical Report 183/1-131, Department of Automation, Technische Universität Wien; 2003
Projektbericht Technische Informatik: Seamless Campus / J. Vilanek, U. Schmid, W. Kastner, B. Weiss, P. Puschner, W. Elmenreich, H. Deinhart, W. Meyer / Report for Technical Report 183/1-135, Department of Automation, Technische Universität Wien; 2003
Fault tolerant communication topologies for wireless ad hoc networks / B. Thallner, U. Schmid / Report for Technical Report 183/1-132, Department of Automation, Technische Universität Wien; 2003
Booting clock synchronization in partially synchronous systems with hybrid node and link failures. / J. Widder, U. Schmid / Report for Technical Report 183/1-126, Department of Automation, Technische Universität Wien; 2003
Impossibility results and lower bounds for consensus under link failures. / U. Schmid, B. Weiss / Report for Technical Report 183/1-127, Department of Automation, Technische Universität Wien; 2003
Towards an optimal algorithm for hybrid Byzantine agreement. / M. Biely / Report for Technical Report 183/1-130, Department of Automation, Technische Universität Wien, www.auto.tuwien.ac.at/Projects/W2F/papers.html; 2003
Simulation von Signalen selbstdefinierten Typs in verschiedenen Stufen des Design-Flows / W. Huber, T. Handl / 2003

2002

PSynUTC --- evaluation of a high precision time synchronization prototype system for Ethernet LANs. / M. Horauer, U. Schmid, K. Schossmaier, R. Höller, N. Kerö / Talk: IEEE Precise Time and Time Interval Systems and Application Meeting, Reston, Virginia, USA; 2002-12-03 - 2002-12-05; in: "Proceedings of the 34th IEEE Precise Time and Time Interval Systems and Application Meeting (PTTI'02)", (2003), 263 - 278
Simulation of a Wireless CDMA ad hoc network / G. Gridling, B. Thallner / Talk: IASTED Int. Conf. Communictions and Computer Networks, Cambridge, USA; 2002-11-04 - 2002-11-06; in: "Proceedings of the IASTED Internatonal Conference on Communications and Computer Networks", (2002), ISBN: 0-88986-329-6; 354 - 359
Modular Construction System for Embedded Real-Time Applications / M. Delvai, U. Eisenmann, W. Huber / Poster: Austrochip, Wien; 2002-10-04; in: "Austrochip 2002", (2002), 103 - 109
Connecting EIB to Linux and Java / W. Kastner, B. Thallner / Talk: 6th IEEE Africon Conference, George, South Africa; 2002-10-04; in: "Proceedings of the IEEE 6th AFRICON Conference", (2002), ISBN: 0-7803-7570-x; 273 - 276
Using Offline and Online BIST to Improve System Dependability - The TTPC-C Example / A. Steininger, J. Vilanek / Talk: IEEE INTERNATIONAL CONFERENCE ON COMPUTER Design: VLSI in Computers & Processors, Freiburg, Germany; 2002-09-16 - 2002-09-18; in: "Computer Design: VLSI in Computers & Processors", (2002), 277 - 280
SynUTC - high precision time synchronization over Ethernet networks / R. Höller, M. Horauer, G. Gridling, N. Kerö, U. Schmid, K. Schossmaier / Talk: 8th Workshop on Electronics for LHC Experiments, Colmar; France; 2002-09-09 - 2002-09-13; in: "Proceedings 8th Workshop on Electronics for LHC Experimets (LECC'02)", (2002), ISBN: 92-9083-202-9; 428 - 432
Time-Triggered Communication with UARTs / W. Elmenreich, M. Delvai / Talk: IEEE International Workshop on Factory Communication Systems, Västeraas; 2002-08-28 - 2002-08-30; in: "Proceedings of the 4th IEEE International Workshop on Factory Communication Systems", (2002), 97 - 104
FPGA Implementation of the Time-Triggered Protocol Controller TTPC-C Verification, Design-Experiences and Benefits / J. Vilanek, A. Steininger / Talk: World Multiconference on Systemics, cybernetics and Informatics, Orlando, Florida, USA; 2002-07-14 - 2002-07-18; in: "PROCEEDINGS", (2002), 407 - 412
An FPGA-Based Development Platform for the virtual Real-Time Processor Component SPEAR / M. Delvai, W. Huber, B. Rahbaran, A. Steininger / Talk: IEEE Design and Diagnostics of Electronic Circuits and Systems (IEEE DDECS 2002), Brno, Czech Republic; 2002-04-17 - 2002-04-19; in: "Proceedings of IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop", (2002), 98 - 105
Identifying Efficient Combinations of Error Detection Mechanisms Based on Results of Fault-Injection Experiments / A. Steininger, C. Scherrer / IEEE Transactions on Computers, 51 (2002), 2; 235 - 239
Zutrittskontrolle und Überwachung der Laborräume des Instituts für Technische Informatik / J. Vilanek / Report for Technical Report 182-2, ECS, Technische Universität Wien, www.ecs.tuwien.ac.at; 2002
Peripherieanbindung an SPEAR Extension Modules / W. Huber / 2002
Handbuch für SPEAR (Scalable Processor for Embedded Applications in Real-Time Environments) / M. Delvai / 2002

2001

A highly-efficient transparent online memory test / K. Thaller / Talk: Test Conference, Baltimore, MD, USA; 2001-10-30 - 2001-11-01; in: "Proceedings", (2001), 230 - 239
SPEAR-Design-Entscheidungen für den "Scalable Processor for Embeded Application in Real-Time Environment" / M. Delvai, W. Huber, B. Rahbaran, A. Steininger / Talk: Austrochip, wien; 2001-10-12; in: "Die Österreichische Tagnung zum Themenbereich Mikroelektronik", (2001), 25 - 32
A General Public License Linux Device Driver for the EIB / W. Kastner, B. Thallner / Talk: EIB Scientific Conference and Technology Workshop, Munich, Germany; 2001-10-04 - 2001-10-05; in: "EIB-Proceedings V", (2001)
How To Tune the MTTF of a Fault-Tolerant System / A. Steininger, C. Scherrer / Talk: International Symp. on Defect and Fault Tolerance in VLSI-Systems, San Francisco, California, USA; 2001-10-02 - 2001-10-06; in: "PROCEEDINGS", (2001), 251 - 256
Verfahren und Einrichtung zum Test eines Speichers / K. Thaller / Patent: Österreich, No. AT 409 562 B; submitted: 2001-03-16, granted: 2002-01-15
FPGA prototyping of a RISC processor core for embedded applications / D. Maurer, V. Salapura, M. Gschwind / IEEE Transactions on Computers, 9 (2001), 241 - 250
Message-efficient consensus in presence of hybrid node and link faults / M. Biely, U. Schmid / Report for Technical Report 183/1-116, Department of Automation, Technische Universität Wien; 2001

2000

How does Resource Utilization Affect Fault Tolerance? / C. Scherrer, A. Steininger / Talk: International Symp. on Defect and Fault Tolerance in VLSI-Systems, Mt. Fuji, Yamanashi, Japan; 2000-10-02 - 2000-10-06; in: "PROCEEDINGS", (2000), 418 - 425
Periodic Node Shutdown in a Fail-Silent Architecture - Risk or Rescue? / C. Scherrer, A. Steininger / Poster: World Multiconference on Systemics, cybernetics and Informatics, Orlando, Florida, USA; 2000-07-14 - 2000-07-18; in: "PROCEEDINGS", (2000), 205 - 210
Vom Lenkrad zum Joystick / A. Steininger, C. Scherrer / Elektrotechnik und Informationstechnik (e&i), 11 (2000), 714 - 720
Testing and Built-in-Self-Test - A Survey / A. Steininger / Journal of Systems Architecture, 46 (2000), 721 - 747

1994

A Measuring Methodology for Fault-Injection Experiments in Computing Systems / A. Steininger / Österreichischer Kunst- und Kulturverlag, Wien, 1994, ISBN: 3-85437-079-2; 113 pages

Theses

2021

Quantitativer Vergleich der Empfindlichkeit von Delay-Insensitiven Design Templates gegenüber transienten Störungen / Master Thesis by P. Behal / Supervisor: A. Steininger; Technische Informatik, 2021; final examination: 2021-06-23
Implementierung, Erweiterung und Evaluierung von hardwaregestützen CFG-basierenden Programmflußüberwachungen / Master Thesis by M. Telesklav / Supervisor: A. Steininger; Technische Informatik, 2021; final examination: 2021-03-11

2019

Characterization of Consensus Solvability under Message Adversaries / Doctoral Thesis by K. Winkler / Supervisor, Reviewer: U. Schmid, S. Rajsbaum, S. Schmid; Institut für Computer Engineering, 2019; oral examination: 2019-10-23
Fault-Tolerant Clock Distribution in Grid-Like Networks / Doctoral Thesis by M. Perner / Supervisor, Reviewer: U. Schmid, A. Jantsch, M. Krstic; Institut für Computer Engineering (E191-02), 2019; oral examination: 2019-10-16
Fault Masking in Synchronous and in Asynchronous Logic - A Comparison / Master Thesis by W. Ramsl / Supervisor: A. Steininger; 191-02, 2019

2018

Agreement Algorithms in Directed Dynamic Networks / Doctoral Thesis by M. Schwarz / Supervisor, Reviewer: U. Schmid, E. Godard; Institut für Computer Engineering, 2018; oral examination: 2018-06-15
People tracking using particle filters and an advanced human motion model on mobile robots / Master Thesis by F. Beck / Supervisor: J. Blieberger, M. Bader; Institute of Computer Engineering, 2018; final examination: 2018-04-11
Knowledge and Communication Complexity in Distributed Systems / Master Thesis by D. Pfleger / Supervisor: U. Schmid; Institut für Computer Engineering, 2018; final examination: 2018-04-11
Temporal-Epistemic Logic in Byzantine Message-Passing Contexts / Master Thesis by P. Fimml / Supervisor: U. Schmid; Institut für Computer Engineering, 2018; final examination: 2018-01-08
SoC FPGA Oszilloskop - Implementierung eines Oszilloskops auf einem FPGA mit eingebettetem Prozessor / Master Thesis by J. Obermüller / Supervisor: A. Steininger; 191-02, 2018
Operation and Verification Framework for the FRad Experimental ASIC / Master Thesis by B. Fritz / Supervisor: A. Steininger; 191-02, 2018
COTS FPGAs in Space -- From old Concerns to new Possibilities / Master Thesis by M. Schütz / Supervisor: A. Steininger; 191-02, 2018

2017

Design of Custom ASIC for Radiation Experiments to Study Single Event Effects / Doctoral Thesis by V. S. Veeravalli / Supervisor, Reviewer: C. Metra, M. Krstic; Technische Informatik, 2017; oral examination: 2017-11-24
Protecting 4-Phase Delay-Insensitive Communication Against Transient Faults / Master Thesis by F. Huemer / Supervisor: A. Steininger; Technische Informatik, 2017; final examination: 2017-02-20

2016

ASCARTS Design of an Asynchronous Processor using a High-Level Specification Language / Master Thesis by C. Hermann / Supervisor: A. Steininger, J. Lechner; Institut für Technische Informatik, 2016

2015

Composability for Fail-Safe Safety-Critical Systems / Doctoral Thesis by S. Resch / Supervisor, Reviewer: A. Steininger, W. Elmenreich; Technische Informatik, 2014; oral examination: 2015-01-26
Selection and Hardware-Implementation of an Efficient Consensus Algorithm for a Mesochronous System / Master Thesis by A. Heinisch / Supervisor: T. Polzer, A. Steininger; Technische Informatik, 2015; final examination: 2015-01-15

2014

Real-Time Performance Analysis of Synchronous Distributed Systems / Doctoral Thesis by A. Kößler / Supervisor, Reviewer: U. Schmid, K. Chatterjee; Institut für Technische Informatik (E182/2), 2014; oral examination: 2014-11-27
Building Robust GALS Circuits: Fault-Tolerant and Variation-Aware Design Techniques for Reliable Circuit Operation / Doctoral Thesis by J. Lechner / Supervisor, Reviewer: A. Steininger, J. Sparso; Institut für Technische Informatik, 2014; oral examination: 2014-06-17
Efficient Interfacing Between Timing Domains / Master Thesis by R. Kutschera / Supervisor: A. Steininger; Technische Informatik, 2014
Effekte von Stuck-At Faults in Delay-Insensitiver Logik / Master Thesis by C. Trenkwalder / Supervisor: A. Steininger; Technische Informatik, 2014
Online Test Vector Insertion - A Concurrent Built-In Self-Testing (CBIST) Approach for Asynchronous Logic / Master Thesis by J. Maier / Supervisor: A. Steininger; Technische Informatik, 2014

2013

Easy Impossibility Proofs for k-Set Agreement / Master Thesis by K. Winkler / Supervisor: U. Schmid; Institut für technische Informatik, 2013; final examination: 2013-11-22
Solving the Labeling Problem - A Byzantine Fault-Tolerant Self-Stabilizing FPGA Prototype based on the FATAL<sup>+</sup> Protocol / Master Thesis by M. Hofstätter / Supervisor: U. Schmid, M Függer; Institut für technische Informatik, 2013; final examination: 2013-10-08
Self-Stabilizing Byzantine Fault-Tolerant Clock Distribution in Grids / Master Thesis by M. Perner / Supervisor: U. Schmid; Institut für technische Informatik, 2013; final examination: 2013-10-08
Solving k-Set Agreement in Dynamic Networks / Master Thesis by M. Schwarz / Supervisor: U. Schmid; Institut für technische Informatik, 2013; final examination: 2013-10-08
A Non-Blocking Fault-Tolerant Asynchronous Networks-on-Chip Router / Doctoral Thesis by S. Naqvi / Supervisor, Reviewer: A. Steininger, E. Grass, M. Schöberl; Institut für Technische Informatik, 2013
A Digital Metastability Model for VLSI Circuits / Doctoral Thesis by T. Polzer / Supervisor, Reviewer: A. Steininger, A. Yakovlev; Institut für Technische Informatik, 2013
Analysis of Embedded Real-Time Systems at Runtime / Doctoral Thesis by T. Reinbacher / Supervisor, Reviewer: A. Steininger, J. Schumann, S. Kowalewski; Institut für Technische Informatik, 2013
Performance Aware Hardware Runtime Monitors / Master Thesis by A. Hagmann / Supervisor: A. Steininger; Institut für Technische Informatik, 2013
Design and Evaluation of an AXI4 Bus System / Master Thesis by K. Pados / Supervisor: A. Steininger; Institut für technische Informatik, 2013
Analysis of the Failure Behavior of Memory Management Units / Master Thesis by O. Hechinger / Supervisor: A. Steininger; Institut für technische Informatik, 2013

2012

Effects and Mitigation of Transient Faults in Quasi Delay-Insensitive Logic / Doctoral Thesis by W. Friesenbichler / Supervisor, Reviewer: A. Steininger, H. Vierhaus; Institut für Technische Informatik, 2012
Self-Healing Asynchronous Circuits for High-Reliability Applications / Doctoral Thesis by T. Panhofer / Supervisor, Reviewer: A. Steininger, H. Vierhaus; Institut für Technische Informatik, 2012
Asynchronous Logic in Real-Time Systems / Doctoral Thesis by M. Ferringer / Supervisor, Reviewer: A. Steininger, G. Fohler; Institut für Technische Informatik, 2012
Elaboration of a Fault-Tolerant Strategy for Space-born Digital Signal Processing Applications / Master Thesis by B. Fuchs / Supervisor: A. Steininger; Technische Informatik, 2012

2011

Weak System Models for Fault-Tolerant Distributed Agreement Problems / Doctoral Thesis by P. Robinson / Supervisor, Reviewer: U. Schmid, M. Raynal; Institut für Technische Informatik (E182/2), 2011; oral examination: 2011-01-31
Hardware Description with Timing Requirements / Master Thesis by S. Resch / Supervisor: A. Steininger; 191-02, 2011
SPEAR2C - Implementing a Cache Controller into SPEAR2 / Master Thesis by M. Birner / Supervisor: A. Steininger; 191-02, 2011
The SPEAR2 Hardware/Software Interface / Master Thesis by M. Walter / Supervisor: A. Steininger; 191-02, 2011
Implementation of the TTP/A Protocol and WCET Analysis on the SPEAR2 Platform / Master Thesis by A. Burker / Supervisor: A. Steininger; 191-02, 2011
Description Methods for Asynchronous Circuits - A Comparison / Master Thesis by R. Najvirt / Supervisor: A. Steininger; 191-02, 2011

2010

Efficient Interference Reduction in Low Complex Digital Direct Sequence Spread Spectrum Systems / Doctoral Thesis by S. Khattab / Supervisor, Reviewer: A. Goiser, U. Schmid; E389, 2010; oral examination: 2010-06-02
Analysis of On-Chip Fault-Tolerant Distributed Algorithms / Doctoral Thesis by M Függer / Supervisor, Reviewer: U. Schmid, L. Welch; Institut für Technische Informatik - 182/2, 2010
Topology in Distributed Computing / Master Thesis by T. Nowak / Supervisor: U. Schmid; Institut für Technische Informatik - 182/2, 2010
A Pipelined Distributed Fault-Tolerant Clock Generation Algorithm in VLSI - Proofs and Implementation / Master Thesis by A. Dielacher / Supervisor: U. Schmid, M Függer; Institut für Technische Informatik - 182/2, 2010

2009

Dynamic Aspects of Modelling Distributed Computations / Doctoral Thesis by M. Biely / Supervisor, Reviewer: U. Schmid, B. Charron-Bost; Institut für Technische Informatik, 2009; oral examination: 2009-11-30
Analysis of Common Cause Faults in Dual Core Architectures / Doctoral Thesis by P Tummeltshammer / Supervisor, Reviewer: A. Steininger, Z. Kotasek; Institut für Technische Informatik, 2009; oral examination: 2009-10-20
Fault-Tolerant Distributed Algorithms for On-Chip Tick Generation: Concepts, Implementations and Evaluations / Doctoral Thesis by G. Fuchs / Supervisor, Reviewer: A. Steininger, C. Metra; Institut für Technische Informatik, 2009; oral examination: 2009-10-20
A Model for Distributed Computing in Real-Time Systems / Doctoral Thesis by H. Moser / Supervisor, Reviewer: U. Schmid, L. Welch; Institut für Technische Informatik, 2009; oral examination: 2009-05-20
Mapping Stereo Matching Algorithms to Hardware / Doctoral Thesis by K. Ambrosch / Supervisor, Reviewer: A. Steininger, R. Siegwart; Institut für Technische Informatik, 2009
High-Level System Modeling with SystemC and TLM / Master Thesis by C. Widtmann / Supervisor: A. Steininger; 191-02, 2009
Automated Regression Testing of Embedded Devices / Master Thesis by P. Jahn / Supervisor: A. Steininger, A. Reisenbauer; Institut für Technische Informatik, 2009
Fault-Tolerant Hardware Implementation of a Consensus Algorithm / Master Thesis by T. Polzer / Supervisor: A. Steininger, T. Handl; Institut für Technische Informatik, 2009

2008

Concepts for Virtual Prototyping of Distributed Embedded Systems / Doctoral Thesis by H. Muhr / Supervisor, Reviewer: D. Dietrich, A. Steininger; Institut für Computertechnik, 2008; oral examination: 2008-12-22
A Transparent Online Test Approach for Time-Triggered Communication Protocols / Doctoral Thesis by E. Armengaud / Supervisor, Reviewer: A. Steininger, F. Simonot-Lion; Institut für technische Informatik, 2008
Implementation of a Design Tool for Generation of FSL Circuits / Master Thesis by J. Lechner / Supervisor: A. Steininger; 191-02, 2008
FSL Tool / Master Thesis by J. Lechner / Supervisor: M. Delvai; Institut f. Technische Informatik, Embedded Computing Systems Group, 2008
Asynchronous EUART / Master Thesis by W. Klein / Supervisor: M. Delvai; Institut f. technische Informatik, Embedded Computing Systems Group, 2008
AMBA4SPEAR2: An AMBA Extension Module for the SPEAR2 Processor Core / Master Thesis by J. Mosser / Supervisor: M. Delvai; Institut f. Technische Informatik, Embedded Computing Systems Group, 2008
SPEAR2 - An Improved Version of SPEAR / Master Thesis by M. Fletzer / Supervisor: M. Delvai; Institut f. Technische Informatik, Embedded Computing Systems Group, 2008
Optimization of FSL Gates / Master Thesis by M. Jeitler / Supervisor: M. Delvai; Institut für Technische Informatik, 2008

2006

An Asynchronous Hardware Design for Distributed Tick Generation / Master Thesis by M. Ferringer / Supervisor: A. Steininger; Technische Informatik, E182/2, 2006; final examination: 2006
Fault-Tolerant Distributed Clock Generation in VLSI Systems-on-Chip / Master Thesis by M Függer / Supervisor: U. Schmid; Technische Informatik, E182/2, 2006; final examination: 2006

2005

Design of an Asynchronous Processor Based on Code Alternation Logic - Exploration of Delay Insensitivity / Doctoral Thesis by W. Huber / Supervisor, Reviewer: A. Steininger, R. Eier; Technische Informatik, E182/2, 2005; oral examination: 2005
An Experimental Comparison of Robustness between Synchronous and Asynchronous Logic Design / Doctoral Thesis by B. Rahbaran / Supervisor, Reviewer: A. Steininger, R. Eier; Technische Informatik, E182/2, 2005; oral examination: 2005
Untersuchung von fehlertoleranten Prozessorarchitekturen für sicherheitsrelevante Automobilanwendungen / Doctoral Thesis by T. Kottke / Supervisor, Reviewer: A. Steininger, H. Wunderlich; Institut für Technische Informatik, 2005
Advantages and Limitations of Position-based Communication in Wireless Ad-hoc Networks / Doctoral Thesis by H. Stratil / Supervisor, Reviewer: U. Schmid; Technische Informatik, E182/2, 2005; oral examination: 2005
Failure Detection in Sparse Networks / Doctoral Thesis by M. Hutle / Supervisor, Reviewer: U. Schmid; Technische Informatik, E182/2, 2005; oral examination: 2005
JOP: A Java Optimized Processor for Embedded Real-Time Systems / Doctoral Thesis by M. Schöberl / Supervisor, Reviewer: A. Steininger, P. Puschner; Technische Informatik, E182, 2005; oral examination: 2005
Design of an Asynchronous Processor Based on Code Alternation Logic - Treatment of Non-Linear Data Paths / Doctoral Thesis by M. Delvai / Supervisor, Reviewer: A. Steininger, R. Eier; Institut für Technische Informatik / Embedded Computing Systems, 2005
Revision and Verification of an Enhanced UART / Master Thesis by R. Gallo / Supervisor: M. Delvai, A. Steininger; Technische Informatik, E182/2, 2005; final examination: 2005
Distributed Construction of a Fault-Tolerant Wireless Communication Topology for Networked Embedded Systems / Master Thesis by H. Moser / Supervisor: U. Schmid; Institut für Technische Informatik / Embedded Computing Systems, 2005

2004

Clock Synchronization in Distributed Systems / Doctoral Thesis by M. Horauer / Supervisor, Reviewer: R. Eier, U. Schmid; Institut für Computertechnik, 2004
Distributed Computing in the Presence of Bounded Asynchrony / Doctoral Thesis by J. Widder / Supervisor, Reviewer: U. Schmid, M. Jazayeri; Institut für Technische Informatik / Embedded Computing Systems, 2004
A Superscalar 16 Bit Microcontroller for Real-Time Applications / Master Thesis by G. Fuchs / Supervisor: A. Steininger, M. Delvai; Institut für Technische Informatik / Embedded Computing Systems, 2004
Multiple Constant Multiplication by Time-Multiplexed Mapping of Addition Chains / Master Thesis by P Tummeltshammer / Supervisor: A. Steininger; Institut für Technische Informatik / Embedded Computing Systems, 2004
Implementierung eines FPGA-basierten Hardware-Fehlerinjektors / Master Thesis by T. Handl / Supervisor: A. Steininger; Institut für Technische Informatik / Embedded Computing Systems, 2004
Experimentelle Verifikation von Synchronitätsannahmen für Computernetzwerke / Master Thesis by D. Albeseder / Supervisor: U. Schmid; Institut für Technische Informatik / Embedded Computing Systems, 2004

2003

Realisierung eines generischen Online Debuggers für Embedded Systems / Master Thesis by C. El Salloum / Supervisor: M. Delvai, A. Steininger; Institut für Technische Informatik, 2003
Asynchrone Realisierung einer Arithmetic Logic Unit / Master Thesis by T. Pedram / Supervisor: M. Delvai, A. Steininger; Institut für Technische Informatik, 2003
Entwicklung eines USB fullspeed VHDL-Cores / Master Thesis by M. Eggenhofer / Supervisor: J. Vilanek, A. Steininger; Institut für Technische Informatik, 2003

2002

Zuverlässigkeit zweifach redundanter Architekturen unter besonderer Berücksichtigung latenter Fehler / Doctoral Thesis by C. Scherrer / Supervisor, Reviewer: A. Steininger, R. Patzelt; Institut für Technische Informatik, 2002
Design and implementation of a highly efficient communication node for real-time applications / Master Thesis by U. Eisenmann / Supervisor: A. Steininger, M. Delvai; Institut für Technische Informatik, 2002
Realization of a Re-Usable Offline Debugger for the SPEAR Micro-Controller / Master Thesis by M. Jankela / Supervisor: A. Steininger, M. Delvai; Institut für Technische Informatik, 2002
Topology Management and Routing in Wireless Networks - An Overview / Master Thesis by H. Stratil / Supervisor: U. Schmid; 183, 2002
Byzantine agreement under the perception-based fault model / Master Thesis by M. Biely / Supervisor: U. Schmid; 183, 2002
Constraint Satisfaction Problems - Hyprid Decompostion and Evaluation / Master Thesis by M. Hutle / Supervisor: F. Wotawa; Institut für Informationssysteme, 2002
Data Path for a FlrxRay-to-FlexRay Gateway / Master Thesis by E. Armengaud / Supervisor: A. Steininger; Institut für Technische Informatik, 2002
Communication protocol test device in VHDL / Master Thesis by C. Resanka / Supervisor: A. Steininger; Institut für Technische Informatik, 2002

2001

Zur Rolle der Verifikation im Designprozess digitaler integrierter Schaltungen / Doctoral Thesis by J. Vilanek / Supervisor, Reviewer: A. Steininger, R. Eier; Institut für Technische Informatik, 2001
A Transparent Online Memory Test / Doctoral Thesis by K. Thaller / Supervisor, Reviewer: A. Steininger, R. Eier; Institut für Technische Informatik, 2001
Ein Linuxtreiber für den Europäischen Installationsbus EIB / Master Thesis by B. Thallner / Supervisor: W. Kastner, G. Schildt; Institut für Rechnergestützte Automation, 2001

2000

Entwicklung eines Mikrokontrollers für das Echtzeitprotokoll TTP/A / Master Thesis by M. Delvai / Supervisor: A. Steininger, W. Elmenreich; Institut für Technische Informatik, 2000
Simulation einer SCSI-Festplatte unter LINUX / Master Thesis by W. Huber / Supervisor: A. Steininger; Institut für Technische Informatik, 2000
Entwicklung eines Mikroprozessorsmit Built-in Self-Test / Master Thesis by T. Hinterstoisser / Supervisor: A. Steininger; Institut für Technische Informatik, 2000
Experimentelle Verifikation eines Transparent Online Memory Test / Master Thesis by R. Steinwendtner / Supervisor: A. Steininger; Institut für Technische Informatik, 2000

1998

Testing of Fault-Tolerant Computers / Habilitation Thesis by A. Steininger / TU Wien, 1998

1997

Synthese eines SAB-R3223 in VHDL und State Charts / Master Thesis by J. Vilanek / "Synthese eines SAB-R3223 in VHDL und State Charts"; Institut für Technische Informatik, 1997

Awards

Josef Widder: FIT-IT Embedded Systems Dissertationsstipendium "Distributed Computing in the Presence of Bounded Asynchrony"
2004 / Austria
Ulrich Schmid: Synchronized Universal Time Coordinated for Distributed Real-Time Systems
1997 / START-Programm / Austria
Ulrich Schmid: Kardinal Innitzer Förderungspreis
1995 / Kardinal-Innitzer-Preis / Austria

And more…

Soon, this page will include additional information such as reference projects, conferences, events, and other research activities.

Until then, please visit Embedded Computing Systems’ research profile in TISS .

Services

Institutes

Research Units

Embedded Computing Systems E191-02

Contact

On This Page

About

Professors

Scientific Staff

Administrative Staff

Student Staff

External Lecturers

Courses

2021W

Projects

Publications

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1994

Theses

2021

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2006

2005

2004

2003

2002

2001

2000

1998

1997

Awards

And more…