2020W

• Advanced Computer Architecture / 191.105 / VU
• Advanced Digital Design / 182.754 / LU
• Advanced Digital Design / 182.755 / VU
• Advanced FPGA Design / 182.756 / 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
• Computer vision and image analysis of art / 199.092 / 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
• Introduction to deontic logic: challenges, formal systems, applications / 199.093 / VU
• Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
• Philosophy of Science / 195.080 / 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
• Theoretical Computer Science and Logics / 185.278 / VU

2021S

• Advanced Multiprocessor Programming / 184.726 / VU
• Bachelor Thesis for Computer Science and Business Informatics / 182.698 / PR
• Computer Engineering Practical / 182.699 / PR
• Computer Engineering Project / 182.758 / PR
• Current Trends in Computer Science / 195.072 / VU
• Defeasible Reasoning / 199.094 / VU
• Digital Design and Computer Architecture / 182.695 / LU
• Distributed Algorithms / 182.702 / VU
• Doctorand's seminar / 182.070 / SE
• Fundamental research methods for doctoral students / 195.079 / VU
• Hardware Modeling / 182.696 / VO
• Introduction to Logical Methods in Computer Science / 184.766 / VO
• Real-Time Scheduling / 182.086 / VU
• Research Seminar LogiCS / 184.767 / SE
• Scientific Project Computer Engineering / 182.759 / PR
• Seminar Computer Engineering / 182.757 / SE

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

2021

• Optimal strategies for selecting coordinators / M. Zeiner, U. Schmid, K. Chatterjee / Discrete Applied Mathematics, 289 (2021), 392 - 415

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
• 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; 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
• 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
• 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 Configurable 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 Reconfigurable 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

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

• 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

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 .