Publications

Shows publications by members of the Embedded Systems group.

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

Journal Papers

F. Huemer, A. Steininger: Novel Approaches for Efficient Delay-Insensitive Communication
Journal of Low Power Electronics and Applications, 9 (2019); 41 pages
bib details doi

D. Ratasich, F. Khalid, F. Geissler, R. Grosu, M. Shafique, E. Bartocci: A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems
IEEE Access, 7 (2019); 24 pages
bib details doi pdf

F. Khalid, S. R. Hasan, O. Hasan, F. Awwad: Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification
Integration the VLSI journal, 61 (2018), p. 62 - 76
bib details doi

S. Iqbal, S. Sardar, F. Khalid, O. Hasan: Statistical Model Checking of Relief Supply Location and Distribution in Natural Disaster Management
International Journal of Disaster Risk Reduction, 31 (2018), p. 1043 - 1053
bib details doi

K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid: Automated Competitive Analysis of Real-time Scheduling with Graph Games
Real-Time Systems, 54 (2018), p. 166 - 207
bib details doi

S. Friedrichs, M Függer, C. Lenzen: Metastability-Containing Circuits
IEEE Transactions on Computers, 67 (2018), p. 1167 - 1183
bib details doi pdf

S. Pudukotai Dinakarrao, A. Jantsch, M. Shafique: SmartDPM: Machine Learning-based Dynamic Power Management for Multi-Core Microprocessors
ASP Journal of Low Power Electronics (JOLPE), 14 (2018), p. 460 - 474
bib details doi

M. Hanif, A. Marchisio, T. Arif, R. Hafiz, S. Rehman, M. Shafique: X-DNNs: Systematic Cross-Layer Approximations for Energy-Efficient Deep Neural Networks
ASP Journal of Low Power Electronics (JOLPE), 14 (2018), p. 520 - 534
bib details doi

O. Akbari, M. Kamal, A. Afzali-Kusha, M. Pedram, M. Shafique: Towards Approximate Computing for Coarse-Grained Reconfigurable Architectures
IEEE Micro, Early Access (2018), p. 1 - 10
bib details doi

M. Salehi, A. Ejlali, M. Shafique: Run-Time Adaptive Power-Aware Reliability Management for Manycores
Ieee Design & Test, 35 (2018), p. 36 - 44
bib details doi

F. M. Sampaio, B. Zatt, M. Shafique, J. Henkel, S. Bampi: Hybrid Scratchpad Video Memory Architecture for Energy-Efficient Parallel HEVC
IEEE Transactions on Circuits and Systems for Video Technology, Early Access (2018), p. 1 - 12
bib details doi

G. A. Gillani, M. Hanif, M. Krone, S. H. Gerez, M. Shafique, A. B. J. Kokkeler: SquASH: Approximate Square-Accumulate with Self-Healing
IEEE Access, 6 (2018), p. 49112 - 49128
bib details doi

A. Kanduri, M.-H. Haghbayan, A. Rahmani, M. Shafique, A. Jantsch, P. Liljeberg: adBoost: Thermal Aware Performance Boosting Through Dark Silicon Patterning
IEEE Transactions on Computers, 67 (2018), p. 1062 - 1077
bib details doi

S. Mazahir, O. Hasan, M. Shafique: Adaptive Approximate Computing in Arithmetic Datapaths
Ieee Design & Test, 35 (2018), p. 65 - 74
bib details doi

H. Lee, M. Shafique, M. Al Faruque: Aging-Aware Workload Management on Embedded GPU Under Process Variation
IEEE Transactions on Computers, 67 (2018), p. 920 - 933
bib details doi

I. H. Abbassi, F. Khalid, O. Hasan, A. M. Kamboh, M. Shafique: McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits
IEEE Access, 6 (2018), p. 32240 - 32257
bib details doi

M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler: Gracefully degrading consensus and k-set agreement in directed dynamic networks
Theoretical Computer Science, 726 (2018), p. 41 - 77
bib details doi

R. Kuznets, L. Strassburger: Maehara-style Modal Nested Calculi
Archive for Mathematical Logic, 58 (2019), p. 359 - 385
bib details doi pdf

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

B. Charron-Bost, M Függer, T. Nowak: New transience bounds for max-plus linear systems
Discrete Applied Mathematics, 219 (2017), p. 83 - 99
bib details doi

<<   < 1 2 3 4 5 >   >>