Publications

Shows publications by members of the Embedded Systems group.

Currently viewing all publications in category Journal Papers - back to overwiew...

Journal Papers

T. Polzer, A. Steininger: A Model for the Metastability Delay of Sequential Elements
Journal of Circuits, Systems, and Computers, 26 (2017), p. 174001001 - 174001022
bib details doi

J. Qadir, A. Sathiaseelan, U. Farooq, M. Usama, M. Imran, M. Shafique: Approximate Networking for Universal Internet Access
Future Internet, 9 (2017), p. 1 - 23
bib details doi

S. Mazahir, O. Hasan, R. Hafiz, M. Shafique: Probabilistic Error Analysis of Approximate Recursive Multipliers
IEEE Transactions on Computers, 66 (2017), p. 1982 - 1990
bib details doi

A. Pathania, V. Venkataramani, M. Shafique, T. Mitra, J. Henkel: Optimal Greedy Algorithm for Many-Core Scheduling
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (2017), p. 1054 - 1058
bib details doi

S. Pagani, A. Pathania, M. Shafique, J. Chen, J. Henkel: Energy Efficiency for Clustered Heterogeneous Multicores
IEEE Transactions on Parallel and Distributed Systems, 28 (2017), p. 1315 - 1330
bib details doi

M. Shafique, S. Garg: Computing in the Dark Silicon Era: Current Trends and Research Challenges
Ieee Design & Test, 34 (2017), p. 8 - 23
bib details doi

A. Pathania, V. Venkataramani, M. Shafique, T. Mitra, J. Henkel: Defragmentation of Tasks in Many-Core Architecture
ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 14 (2017), p. 2:1 - 2:21
bib details doi

T. Li, M. Shafique, J. Ambrose, J. Henkel, S. Parameswaran: Fine-Grained Checkpoint Recovery for Application-Specific Instruction-Set Processors
IEEE Transactions on Computers, 66 (2017), p. 647 - 660
bib details doi

M. Shafique, S. Rehman, F. Kriebel, M. Khan, B. Zatt, A. Subramaniyan, B. Vizzotto, J. Henkel: Application-Guided Power-Efficient Fault Tolerance for H.264 Context Adaptive Variable Length Coding
IEEE Transactions on Computers, 66 (2017), p. 560 - 574
bib details doi

S. Mazahir, O. Hasan, R. Hafiz, M. Shafique, J. Henkel: Probabilistic Error Modeling for Approximate Adders
IEEE Transactions on Computers, 66 (2017), p. 515 - 530
bib details doi

K. Khdr, S. Pagani, E. Sousa, V. Lari, A. Pathania, F. Hannig, M. Shafique, J. Teich, J. Henkel: Power Density-Aware Resource Management for Heterogeneous Tiled Multicores
IEEE Transactions on Computers, 66 (2017), p. 488 - 501
bib details doi

S. Pagani, K. Khdr, J. Chen, M. Shafique, M. Li, J. Henkel: Thermal Safe Power (TSP): Efficient Power Budgeting for Heterogeneous Manycore Systems in Dark Silicon
IEEE Transactions on Computers, 66 (2017), p. 147 - 162
bib details doi

S. Varadan, A. Steininger, U. Schmid: A versatile architecture for long-term monitoring of single-event transient durations
Microprocessors and Microsystems, 53 (2017), p. 130 - 144
bib details doi pdf

I. Konnov, M. Lazić, V. Veith, J. Widder (invited): Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms
Formal Methods in System Design, 51 (2017), p. 270 - 307
bib details doi

T. Polzer, F. Huemer, A. Steininger: Refined Metastability Characterization Using a Time-to-Digital Converter
Microelectronics Reliability, 80 (2018), p. 91 - 99
bib details doi

I. Konnov, V. Veith, J. Widder: On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
Information and Computation, 252 (2017), p. 95 - 109
bib details doi pdf

M. Shafique, A. Ivanov, B. Vogel, J. Henkel: Scalable Power Management for On-Chip Systems with Malleable Applications
IEEE Transactions on Computers, 65 (2016), p. 3398 - 3412
bib details doi pdf

K. Chen, J. Chen, F. Kriebel, S. Rehman, M. Shafique, J. Henkel: Task Mapping for Redundant Multithreading in Multi-Cores with Reliability and Performance Heterogeneity
IEEE Transactions on Computers, 65 (2016), p. 3441 - 3454
bib details doi pdf

M. Shafique, M. Usman Karim Khan, J. Henkel: Content-Aware Low-Power Configurable Aging Mitigation for SRAM Memories
IEEE Transactions on Computers, 65 (2016), p. 3617 - 3630
bib details doi pdf

M Függer, T. Nowak, U. Schmid: Unfaithful Glitch Propagation in Existing Binary Circuit Models
IEEE Transactions on Computers, 65 (2016), p. 964 - 978
bib details doi

R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, V. Veith, J. Widder: Decidability of Parameterized Verification
ACM SIGACT News, 47 (2016), p. 53 - 64
bib details doi pdf

D. Dolev, M Függer, C. Lenzen, M. Perner, U. Schmid: HEX: Scaling Honeycombs is Easier than Scaling Clock Trees
Journal of Computer and System Sciences, 82 (2016), p. 929 - 956
bib details doi

S. Resch, A. Steininger, C. Scherrer: A Composable Real-Time Architecture for Replicated Railway Applications
Journal of Systems Architecture, 61 (2015), p. 472 - 485
bib details doi

T. Polzer, R. Najvirt, F. Beck, A. Steininger: On the Appropriate Handling of Metastable Voltages in FPGAs
Journal of Circuits, Systems, and Computers, 25 (2015), p. 1640020-1 - 1640020-25
bib details doi pdf

D. Dolev, M Függer, C. Lenzen, U. Schmid, A. Steininger: Fault-tolerant Distributed Systems in Hardware
Bulletin of the EATCS, 2 (2015)
bib details

B. Charron-Bost, M Függer, L. Welch, J. Widder: Time Complexity of Link Reversal Routing
ACM Transactions on Algorithms, 11 (2015), p. 1 - 39
bib details doi pdf

A. Steininger, H. Zimmermann, A. Jantsch, M. Hofbauer, U. Schmid, K. Schweiger, S. Varadan: Building reliable systems-on-chip in nanoscale technologies
E&I Elektrotechnik und Informationstechnik, 132 (2015), p. 301 - 306
bib details doi

M Függer, A. Kößler, T. Nowak, U. Schmid, M. Zeiner: The effect of forgetting on the performance of a synchronizer
Performance Evaluation, 93 (2015), p. 1 - 16
bib details doi

M. Biely, P. Robinson, U. Schmid: The Generalized Loneliness Detector and Weak System Models for k-Set Agreement
IEEE Transactions on Parallel and Distributed Systems, 25 (2014), p. 1078 - 1088
bib details doi

H. Moser, U. Schmid: Reconciling fault-tolerant distributed algorithms and real-time computing
Distributed Computing, 27 (2014), p. 203 - 230
bib details doi

D. Dolev, M Függer, U. Schmid, C. Lenzen: Fault-tolerant Algorithms for Tick-generation in Asynchronous Logic: Robust Pulse Generation
Journal of the ACM, 61 (2014), p. 1 - 74
bib details doi

T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, S. Kowalewski: Runtime verification of microcontroller binary code
Science of Computer Programming, 80 (2014), p. 109 - 129
bib details doi

B. Rahbaran, A. Steininger: Is Asynchronous Logic More Robust Than Synchronous Logic?
IEEE Transactions on Dependable and Secure Computing, 6 (2009), p. 282 - 294
bib details doi

D. Dolev, M Függer, M. Posch, U. Schmid, A. Steininger, C. Lenzen: Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip
Journal of Computer and System Sciences, 80 (2014), p. 860 - 900
bib details doi pdf

M. Zeiner: On a family of $q$-binomial distributions
Mathematica Slovaca, 64 (2014), p. 479 - 510
bib details doi

M. Hofbauer, K. Schweiger, H. Zimmermann, U. Giesen, F. Langner, U. Schmid, A. Steininger: Supply Voltage Dependent On-Chip Single-Event Transient Pulse Shape Measurements in 90-nm Bulk CMOS Under Alpha Irradiation
IEEE Transactions on Nuclear Science, 60 (2013), p. 2640 - 2646
bib details

S. Varadan, T. Polzer, U. Schmid, A. Steininger, M. Hofbauer, K. Schweiger, H. Dietrich, K. Schneider-Hornstein, H. Zimmermann, K. Voss, B. Merk, M. Hajek: An infrastructure for accurate characterization of single-event transients in digital circuits
Microprocessors and Microsystems, 37 (2013), p. 772 - 791
bib details

T. Nowak, M Függer, A. Kößler: On the performance of a retransmission-based synchronizer
Theoretical Computer Science, 509 (2013), p. 25 - 39
bib details doi

T. Reinbacher, M Függer, J. Brauer: Runtime verification of embedded real-time systems
Formal Methods in System Design, Nov 2013 (2013), p. 1 - 37
bib details doi

M Függer, U. Schmid: Reconciling fault-tolerant distributed computing and systems-on-chip
Distributed Computing, 24 (2012), p. 323 - 355
bib details

M. Hofbauer, K. Schweiger, H. Dietrich, H. Zimmermann, K.O. Voss, B Merk, U. Schmid, A. Steininger: Pulse Shape Measurements by On-chip Sense Amplifiers of Single Event Transients Propagating Through a 90 nm Bulk CMOS Inverter Chain
IEEE Transactions on Nuclear Science, vol 59 (2012), p. 2778 - 2784
bib details

J. Widder, M. Biely, G. Gridling, B. Weiss, J. Blanquart: Consensus in the presence of mortal Byzantine faulty processes
Distributed Computing, 24 (2012), p. 299 - 321
bib details doi pdf

P. Robinson, U. Schmid: The Asynchronous Bounded-Cycle Model
Theoretical Computer Science, 412 (2011), p. 5580 - 5601
bib details doi

M. Biely, U. Schmid, B. Weiss: Synchronous consensus under hybrid process and link failures
Theoretical Computer Science, 412 (2011), p. 5602 - 5630
bib details doi

A. Steininger, G. Fuchs: VLSI Implementation of a Distributed Algorithm for Fault-Tolerant Clock Generation
Journal of Electrical and Computer Engineering, Clock/Frequency Generation Circuits and Systems (2011), p. 23
bib details doi

A. Steininger, P Tummeltshammer: Replicated processors on a single die - How independently do they fail?
Journal e&i: Elektrotechnik und Informationstechnik, 128 (2011), p. 245 - 250
bib details doi

M. Ferringer: On Self-Timed Circuits in Real-Time Systems
International Journal of Reconfigurable Computing, 2011 (2011)
bib details doi

B. Thallner, H. Moser, U. Schmid: Topology Control for Fault-Tolerant Communication in Wireless Ad Hoc Networks
Wireless Networks, 16 (2010), p. 388 - 404
bib details doi

B. Charron-Bost, M. Hutle, J. Widder: In search of lost time
Information Processing Letters, 110 (2010), p. 928 - 933
bib details doi

U. Schmid, B. Weiss, I. Keidar: Impossibility Results and Lower Bounds For Consensus Under Link Failures
SIAM JOURNAL ON COMPUTING, 38 (2009), p. 1912 - 1951
bib details doi

M. Hutle, D. Malkhi, U. Schmid, L. Zhou: Chasing the Weakest System Model for Implementing Omega and Consensus
IEEE Transactions on Dependable and Secure Computing, 6 (2009), p. 269 - 279
bib details doi

M Függer, A. Steininger, E. Armengaud: Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - A Combined Formal and Experimental Approach
IEEE Transactions on Industrial Informatics, 5 (2009), p. 132 - 145
bib details doi

H. Moser: Towards a real-time distribiuted computing model
Theoretical Computer Science, 410 (2008), p. 631 - 659
bib details doi

J. Widder, M. Biely: Optimal Message-Driven Implementations of Omega with Mute Processes
ACM Transactions on Autonomous and Adaptive Systems., 4 (2009), p. ?
bib details doi

J. Widder, U. Schmid: The Theta-Model: achieving synchrony without clocks
Distributed Computing, 22 (2009), p. 29 - 47
bib details doi

S. Tauböck, P. Jahn, T. Polzer, A. Schuster: An Object-oriented DEV Approach to ARGESIM Benchmark C16 `Restaurant Business Dynamics´ using Enterprise Dynamics
Simulation News Europe SNE, 18 (2008), p. 41 - 42
bib details

V. Legourski, Y. Huang, O. Cevan, F. Breitenecker: Statechart Modelling for ARGESIM Benchmark C10 `Dining Philosophers Problem II´ using Simulink/Stateflow
Simulation News Europe SNE, 18 (2008), p. 39 - 40
bib details

M. Gyimesi, A. Dielacher, T. Handl, C. Wittmann: An Object-oriented Solution to ARGESIM Benchmark C4 `Dining Philosophers Problem´ implemented with AnyLogic
Simulation News Europe SNE, 18 (2008), p. 31 - 32
bib details

E. Armengaud, A. Steininger, M. Horauer: Towards a Systematic Test for Embedded Automotive Communication Systems
IEEE Transactions on Industrial Informatics, 4 (2008), p. 145 - 208
bib details doi pdf

U. Schmid, A. Steininger, M. Sust: FIT-IT Projekt DARTS: Dezentrale fehlertolerante Taktgenerierung
Elektrotechnik und Informationstechnik (e&i), Heft 1-2 (2007), p. 3 - 8
bib details

D. Albeseder, M Függer, F. Breitenecker, T. Löscher, S. Tauböck: Small PC-Network Simulation -- A Comprehensive Performance Case Study
Simulation News Europe, 44/45 (2005), p. 26 - 32
bib details

M. Delvai, U. Eisenmann, W. Elmenreich: A Generic Architecture for Integrated Smart Transducers
Lecture Notes in Computer Science, 2778 (2003), p. 733 - 744
bib details

H. Kopetz, R. Obermaisser, U. Schmid (invited): Dependable Embedded Systems Research at TU Vienna
Elektrotechnik und Informationstechnik (e&i), 1 (2005), p. 33 - 37
bib details

B. Rahbaran, M Függer, A. Steininger: Embedded Real-Time-Tracer -- An Approach with IDE
Telematik, 3-4 (2004), p. 16 - 20
bib details

C. Scherrer, A. Steininger: Dealing With Dormant Faults in an Embedded Fault-Tolerant Computer System
IEEE Transactions on Reliability, 52 (2003), p. 512 - 522
bib details

K. Thaller, A. Steininger: A Transparent Online Memory Test for Simultaneous Detection of Functional Faults and Soft Errors in Memories
IEEE Transactions on Reliability, 52 (2003), p. 413 - 422
bib details

U. Schmid, K. Schossmaier: Interval-based clock synchronization with optimal precision.
Information and Computation, 186 (2003), p. 36 - 77
bib details pdf

D. Maurer, V. Salapura, M. Gschwind: FPGA prototyping of a RISC processor core for embedded applications
IEEE Transactions on Computers, 9 (2001), p. 241 - 250
bib details

A. Steininger, C. Scherrer: Identifying Efficient Combinations of Error Detection Mechanisms Based on Results of Fault-Injection Experiments
IEEE Transactions on Computers, 51 (2002), p. 235 - 239
bib details

A. Steininger, C. Scherrer: Vom Lenkrad zum Joystick
Elektrotechnik und Informationstechnik (e&i), 11 (2000), p. 714 - 720
bib details

A. Steininger: Testing and Built-in-Self-Test - A Survey
Journal of Systems Architecture, 46 (2000), p. 721 - 747
bib details