Reliable software for unreliable hardware: embedded code generation aiming at reliability. - Semeen Rehman; Muhammad Shafique 001; Florian Kriebel; Jörg Henkel (CODES+ISSS, 2011)

Revc: Computationally Reliable Video Coding on unreliable hardware platforms: A case study on error-tolerant H.264/AVC CAVLC entropy coding. - Semeen Rehman; Muhammad Shafique 001; Florian Kriebel; Jörg Henkel (ICIP, 2011)

RAISE: Reliability-Aware Instruction SchEduling for unreliable hardware. - Semeen Rehman; Muhammad Shafique 001; Florian Kriebel; Jörg Henkel (ASP-DAC, 2012)

Instruction scheduling for reliability-aware compilation. - Semeen Rehman; Muhammad Shafique 001; Jörg Henkel (DAC, 2012)

Power-efficient error-resiliency for H.264/AVC Context-Adaptive Variable Length Coding. - Muhammad Shafique 001; Bruno Zatt; Semeen Rehman; Florian Kriebel; Jörg Henkel (DATE, 2012)

RASTER: runtime adaptive spatial/temporal error resiliency for embedded processors. - Tuo Li 001; Muhammad Shafique 001; Jude Angelo Ambrose; Semeen Rehman; Jörg Henkel; Sri Parameswaran (DAC, 2013)

Exploiting program-level masking and error propagation for constrained reliability optimization. - Muhammad Shafique 001; Semeen Rehman; Pau Vilimelis Aceituno; Jörg Henkel (DAC, 2013)

CSER: HW/SW configurable soft-error resiliency for application specific instruction-set processors. - Tuo Li 001; Muhammad Shafique 001; Semeen Rehman; Swarnalatha Radhakrishnan; Roshan G. Ragel; Jude Angelo Ambrose; Jörg Henkel; Sri Parameswaran (DATE, 2013)

Leveraging variable function resilience for selective software reliability on unreliable hardware. - Semeen Rehman; Muhammad Shafique 001; Pau Vilimelis Aceituno; Florian Kriebel; Jian-Jia Chen; Jörg Henkel (DATE, 2013)

DHASER: dynamic heterogeneous adaptation for soft-error resiliency in ASIP-based multi-core systems. - Tuo Li 001; Muhammad Shafique 001; Semeen Rehman; Jude Angelo Ambrose; Jörg Henkel; Sri Parameswaran (ICCAD, 2013)

Reliable code generation and execution on unreliable hardware under joint functional and timing reliability considerations. - Semeen Rehman; Anas Toma; Florian Kriebel; Muhammad Shafique 001; Jian-Jia Chen; Jörg Henkel (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Multi-Layer Dependability: From Microarchitecture to Application Level. - Jörg Henkel; Lars Bauer; Hongyan Zhang 004; Semeen Rehman; Muhammad Shafique 001 (DAC, 2014)

ASER: Adaptive Soft Error Resilience for Reliability-Heterogeneous Processors in the Dark Silicon Era. - Florian Kriebel; Semeen Rehman; Duo Sun; Muhammad Shafique 001; Jörg Henkel (DAC, 2014)

dTune: Leveraging Reliable Code Generation for Adaptive Dependability Tuning under Process Variation and Aging-Induced Effects. - Semeen Rehman; Florian Kriebel; Duo Sun; Muhammad Shafique 001; Jörg Henkel (DAC, 2014)

Compiler-driven dynamic reliability management for on-chip systems under variabilities. - Semeen Rehman; Florian Kriebel; Muhammad Shafique 001; Jörg Henkel (DATE, 2014)

Reliability-Driven Software Transformations for Unreliable Hardware. - Semeen Rehman; Florian Kriebel; Muhammad Shafique 001; Jörg Henkel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

R2Cache: Reliability-aware reconfigurable last-level cache architecture for multi-cores. - Florian Kriebel; Arun Subramaniyan 001; Semeen Rehman; Segnon Jean Bruno Ahandagbe; Muhammad Shafique 001; Jörg Henkel (CODES+ISSS, 2015)

dsReliM: Power-constrained reliability management in Dark-Silicon many-core chips under process variations. - Mohammad Salehi; Muhammad Shafique 001; Florian Kriebel; Semeen Rehman; Mohammad Khavari Tavana; Alireza Ejlali; Jörg Henkel (CODES+ISSS, 2015)

Hayat: harnessing dark silicon and variability for aging deceleration and balancing. - Dennis Gnad; Muhammad Shafique 001; Florian Kriebel; Semeen Rehman; Duo Sun; Jörg Henkel (DAC, 2015)

ACSEM: accuracy-configurable fast soft error masking analysis in combinatorial circuits. - Florian Kriebel; Semeen Rehman; Duo Sun; Pau Vilimelis Aceituno; Muhammad Shafique 001; Jörg Henkel (DATE, 2015)

DRVS: Power-efficient reliability management through Dynamic Redundancy and Voltage Scaling under variations. - Mohammad Salehi; Mohammad Khavari Tavana; Semeen Rehman; Florian Kriebel; Muhammad Shafique 001; Alireza Ejlali; Jörg Henkel (ISLPED, 2015)

Multi-layer software reliability for unreliable hardware. - Muhammad Shafique 001; Philip Axer; Christoph Borchert; Jian-Jia Chen; Kuan-Hsun Chen; Björn Döbel; Rolf Ernst; Hermann Härtig; Andreas Heinig; Rüdiger Kapitza; Florian Kriebel; Daniel Lohmann; et al. (it Inf. Technol., 2015)

Reliable Software for Unreliable Hardware - A Cross-Layer Approach. - Semeen Rehman (2015)

Reliable Software for Unreliable Hardware - A Cross Layer Perspective. - Semeen Rehman; Muhammad Shafique 001; Jörg Henkel (Springer, 2016)

ageOpt-RMT: compiler-driven variation-aware aging optimization for redundant multithreading. - Florian Kriebel; Semeen Rehman; Muhammad Shafique 001; Jörg Henkel (DAC, 2016)

Invited - Cross-layer approximate computing: from logic to architectures. - Muhammad Shafique 001; Rehan Hafiz; Semeen Rehman; Walaa El-Harouni; Jörg Henkel (DAC, 2016)

Towards performance and reliability-efficient computing in the dark silicon era. - Jörg Henkel; Santiago Pagani; Heba Khdr; Florian Kriebel; Semeen Rehman; Muhammad Shafique 001 (DATE, 2016)

Architectural-space exploration of approximate multipliers. - Semeen Rehman; Walaa El-Harouni; Muhammad Shafique 001; Akash Kumar 001; Jörg Henkel (ICCAD, 2016)

Cross-Layer Reliability Modeling and Optimization: Compiler and Run-Time System Interactions. - Muhammad Shafique 001; Semeen Rehman; Florian Kriebel; Jörg Henkel (SCOPES, 2016)

Variability and Reliability Awareness in the Age of Dark Silicon. - Florian Kriebel; Muhammad Shafique 001; Semeen Rehman; Jörg Henkel; Siddharth Garg (IEEE Des. Test, 2016)

Task Mapping for Redundant Multithreading in Multi-Cores with Reliability and Performance Heterogeneity. - Kuan-Hsun Chen; Jian-Jia Chen; Florian Kriebel; Semeen Rehman; Muhammad Shafique 001; Jörg Henkel (IEEE Trans. Computers, 2016)

Cross-Layer Software Dependability on Unreliable Hardware. - Semeen Rehman; Kuan-Hsun Chen; Florian Kriebel; Anas Toma; Muhammad Shafique 001; Jian-Jia Chen; Jörg Henkel (IEEE Trans. Computers, 2016)

Reliability-Aware Adaptations for Shared Last-Level Caches in Multi-Cores. - Florian Kriebel; Semeen Rehman; Arun Subramaniyan 001; Segnon Jean Bruno Ahandagbe; Muhammad Shafique 001; Jörg Henkel (ACM Trans. Embed. Comput. Syst., 2016)

Two-State Checkpointing for Energy-Efficient Fault Tolerance in Hard Real-Time Systems. - Mohammad Salehi; Mohammad Khavari Tavana; Semeen Rehman; Muhammad Shafique 001; Alireza Ejlali; Jörg Henkel (IEEE Trans. Very Large Scale Integr. Syst., 2016)

Soft error-aware architectural exploration for designing reliability adaptive cache hierarchies in multi-cores. - Arun Subramaniyan 001; Semeen Rehman; Muhammad Shafique 001; Akash Kumar 001; Jörg Henkel (DATE, 2017)

Embracing approximate computing for energy-efficient motion estimation in high efficiency video coding. - Walaa El-Harouni; Semeen Rehman; Bharath Srinivas Prabakaran; Akash Kumar 001; Rehan Hafiz; Muhammad Shafique 001 (DATE, 2017)

Application-Guided Power-Efficient Fault Tolerance for H.264 Context Adaptive Variable Length Coding. - Muhammad Shafique 001; Semeen Rehman; Florian Kriebel; Muhammad Usman Karim Khan; Bruno Zatt; Arun Subramaniyan 001; Bruno Boessio Vizzotto; Jörg Henkel (IEEE Trans. Computers, 2017)

Area-optimized low-latency approximate multipliers for FPGA-based hardware accelerators. - Salim Ullah; Semeen Rehman; Bharath Srinivas Prabakaran; Florian Kriebel; Muhammad Abdullah Hanif; Muhammad Shafique 001; Akash Kumar 001 (DAC, 2018)

An overview of next-generation architectures for machine learning: Roadmap, opportunities and challenges in the IoT era. - Muhammad Shafique 001; Theocharis Theocharides; Christos-Savvas Bouganis; Muhammad Abdullah Hanif; Faiq Khalid; Rehan Hafiz; Semeen Rehman (DATE, 2018)

DeMAS: An efficient design methodology for building approximate adders for FPGA-based systems. - Bharath Srinivas Prabakaran; Semeen Rehman; Muhammad Abdullah Hanif; Salim Ullah; Ghazal Mazaheri; Akash Kumar 001; Muhammad Shafique 001 (DATE, 2018)

Intelligent Security Measures for Smart Cyber Physical Systems. - Muhammad Shafique 001; Faiq Khalid; Semeen Rehman (DSD, 2018)

Security for Machine Learning-Based Systems: Attacks and Challenges During Training and Inference. - Faiq Khalid; Muhammad Abdullah Hanif; Semeen Rehman; Muhammad Shafique 001 (FIT, 2018)

Robust Machine Learning Systems: Reliability and Security for Deep Neural Networks. - Muhammad Abdullah Hanif; Faiq Khalid; Rachmad Vidya Wicaksana Putra; Semeen Rehman; Muhammad Shafique 001 (IOLTS, 2018)

Hardware and Software Techniques for Heterogeneous Fault-Tolerance. - Semeen Rehman; Florian Kriebel; Bharath Srinivas Prabakaran; Faiq Khalid; Muhammad Shafique 001 (IOLTS, 2018)

Robustness for Smart Cyber Physical Systems and Internet-of-Things: From Adaptive Robustness Methods to Reliability and Security for Machine Learning. - Florian Kriebel; Semeen Rehman; Muhammad Abdullah Hanif; Faiq Khalid; Muhammad Shafique 001 (ISVLSI, 2018)

MPNA: A Massively-Parallel Neural Array Accelerator with Dataflow Optimization for Convolutional Neural Networks. - Muhammad Abdullah Hanif; Rachmad Vidya Wicaksana Putra; Muhammad Tanvir; Rehan Hafiz; Semeen Rehman; Muhammad Shafique 001 (CoRR, 2018)

ISA4ML: Training Data-Unaware Imperceptible Security Attacks on Machine Learning Modules of Autonomous Vehicles. - Faiq Khalid; Muhammad Abdullah Hanif; Semeen Rehman; Muhammad Shafique 001 (CoRR, 2018)

SSCNets: A Selective Sobel Convolution-based Technique to Enhance the Robustness of Deep Neural Networks against Security Attacks. - Hammad Tariq; Hassan Ali 001; Muhammad Abdullah Hanif; Faiq Khalid; Semeen Rehman; Rehan Ahmed; Muhammad Shafique 001 (CoRR, 2018)

A Methodology for Automatic Selection of Activation Functions to Design Hybrid Deep Neural Networks. - Alberto Marchisio; Muhammad Abdullah Hanif; Semeen Rehman; Maurizio Martina; Muhammad Shafique 001 (CoRR, 2018)

Heterogeneous Reliability Modes with Efficient State Compression for Out-of-Order Superscalar Processors. - Bharath Srinivas Prabakaran; Mihika Dave; Semeen Rehman; Florian Kriebel; Muhammad Shafique 001 (CoRR, 2018)

ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits. - Faiq Khalid; Imran Hafeez Abbassi; Semeen Rehman; Osman Hasan; Muhammad Shafique 001 (CoRR, 2018)

X-DNNs: Systematic Cross-Layer Approximations for Energy-Efficient Deep Neural Networks. - Muhammad Abdullah Hanif; Alberto Marchisio; Tabasher Arif; Rehan Hafiz; Semeen Rehman; Muhammad Shafique 001 (J. Low Power Electron., 2018)

Hardware-Software Approximations for Deep Neural Networks. - Muhammad Abdullah Hanif; Muhammad Usama Javed; Rehan Hafiz; Semeen Rehman; Muhammad Shafique 001 (Approximate Circuits, 2019)

Approximate Multi-Accelerator Tiled Architecture for Energy-Efficient Motion Estimation. - Bharath Srinivas Prabakaran; Walaa El-Harouni; Semeen Rehman; Muhammad Shafique 001 (Approximate Circuits, 2019)

Heterogeneous Approximate Multipliers: Architectures and Design Methodologies. - Semeen Rehman; Bharath Srinivas Prabakaran; Walaa El-Harouni; Muhammad Shafique 001; Jörg Henkel (Approximate Circuits, 2019)

XBioSiP: A Methodology for Approximate Bio-Signal Processing at the Edge. - Bharath Srinivas Prabakaran; Semeen Rehman; Muhammad Shafique 001 (DAC, 2019)

Building Robust Machine Learning Systems: Current Progress, Research Challenges, and Opportunities. - Jeff Jun Zhang; Kang Liu 017; Faiq Khalid; Muhammad Abdullah Hanif; Semeen Rehman; Theocharis Theocharides; Alessandro Artussi; Muhammad Shafique 001; Siddharth Garg (DAC, 2019)

TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint. - Imran Hafeez Abbassi; Faiq Khalid; Semeen Rehman; Awais Mehmood Kamboh; Axel Jantsch; Siddharth Garg; Muhammad Shafique 001 (DATE, 2019)

FAdeML: Understanding the Impact of Pre-Processing Noise Filtering on Adversarial Machine Learning. - Faiq Khalid; Muhammad Abdullah Hanif; Semeen Rehman; Junaid Qadir 001; Muhammad Shafique 001 (DATE, 2019)

QuSecNets: Quantization-based Defense Mechanism for Securing Deep Neural Network against Adversarial Attacks. - Faiq Khalid; Hassan Ali 001; Hammad Tariq; Muhammad Abdullah Hanif; Semeen Rehman; Rehan Ahmed; Muhammad Shafique 001 (IOLTS, 2019)

TrISec: Training Data-Unaware Imperceptible Security Attacks on Deep Neural Networks. - Faiq Khalid; Muhammad Abdullah Hanif; Semeen Rehman; Rehan Ahmed; Muhammad Shafique 001 (IOLTS, 2019)

Studying Aging and Soft Error Mitigation Jointly under Constrained Scenarios in Multi-Cores. - Florian Kriebel; Semeen Rehman; Muhammad Shafique 001 (IOLTS, 2019)

MemGANs: Memory Management for Energy-Efficient Acceleration of Complex Computations in Hardware Architectures for Generative Adversarial Networks. - Muhammad Abdullah Hanif; Muhammad Zuhaib Akbar; Rehan Ahmed; Semeen Rehman; Axel Jantsch; Muhammad Shafique 001 (ISLPED, 2019)

Architectural-Space Exploration of Heterogeneous Reliability and Checkpointing Modes for Out-of-Order Superscalar Processors. - Bharath Srinivas Prabakaran; Mihika Dave; Florian Kriebel; Semeen Rehman; Muhammad Shafique 001 (IEEE Access, 2019)

RED-Attack: Resource Efficient Decision based Attack for Machine Learning. - Faiq Khalid; Hassan Ali 001; Muhammad Abdullah Hanif; Semeen Rehman; Rehan Ahmed; Muhammad Shafique 001 (CoRR, 2019)

FaDec: A Fast Decision-based Attack for Adversarial Machine Learning. - Faiq Khalid; Hassan Ali 001; Muhammad Abdullah Hanif; Semeen Rehman; Rehan Ahmed; Muhammad Shafique 001 (IJCNN, 2020)

SSCNets: Robustifying DNNs using Secure Selective Convolutional Filters. - Hassan Ali 001; Faiq Khalid; Hammad Tariq; Muhammad Abdullah Hanif; Rehan Ahmed; Semeen Rehman (IEEE Des. Test, 2020)

MLComp: A Methodology for Machine Learning-based Performance Estimation and Adaptive Selection of Pareto-Optimal Compiler Optimization Sequences. - Alessio Colucci; Dávid Juhász; Martin Mosbeck; Alberto Marchisio; Semeen Rehman; Manfred Kreutzer; Günther Nadbath; Axel Jantsch; Muhammad Shafique 001 (DATE, 2021)

BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables. - Bharath Srinivas Prabakaran; Asima Akhtar; Semeen Rehman; Osman Hasan; Muhammad Shafique 001 (CoRR, 2021)

BioNetExplorer: Architecture-Space Exploration of Biosignal Processing Deep Neural Networks for Wearables. - Bharath Srinivas Prabakaran; Asima Akhtar; Semeen Rehman; Osman Hasan; Muhammad Shafique 001 (IEEE Internet Things J., 2021)

Area-Optimized Accurate and Approximate Softcore Signed Multiplier Architectures. - Salim Ullah; Hendrik Schmidl; Siva Satyendra Sahoo; Semeen Rehman; Akash Kumar 001 (IEEE Trans. Computers, 2021)

AID: Accuracy Improvement of Analog Discharge-Based in-SRAM Multiplication Accelerator. - Saeed Seyedfaraji; Baset Mesgari; Semeen Rehman (DATE, 2022)

SMART: Investigating the Impact of Threshold Voltage Suppression in an In-SRAM Multiplication/Accumulation Accelerator for Accuracy Improvement in 65 nm CMOS Technology. - Saeed Seyedfaraji; Baset Mesgari; Semeen Rehman (DSD, 2022)

On the Validation of Multi-Level Personalised Health Condition Model. - Najma Taimoor; Semeen Rehman (DSD, 2022)

Towards Multi-Level Modelling and Monitoring of Real-time Personalised Health Conditions. - Najma Taimoor; Semeen Rehman (ETFA, 2022)

Holo-Block Chain: A Hybrid Approach for Secured IoT Healthcare Ecosystem. - Asad Aftab; Chrysostomos Chrysostomou; Hassaan Khaliq Qureshi; Semeen Rehman (WiMob, 2022)

EXTENT: Enabling Approximation-Oriented Energy Efficient STT-RAM Write Circuit. - Saeed Seyedfaraji; Javad Talafy Daryani; Mohamed M. Sabry Aly; Semeen Rehman (IEEE Access, 2022)

Reliable and Resilient AI and IoT-Based Personalised Healthcare Services: A Survey. - Najma Taimoor; Semeen Rehman (IEEE Access, 2022)

EXTENT: Enabling Approximation-Oriented Energy Efficient STT-RAM Write Circuit. - Saeed Seyedfaraji; Javad Talafy; Mohamed M. Sabry; Semeen Rehman (CoRR, 2022)

ForASec: Formal Analysis of Hardware Trojan-Based Security Vulnerabilities in Sequential Circuits. - Faiq Khalid; Imran Hafeez Abbassi; Semeen Rehman; Awais Mehmood Kamboh; Osman Hasan; Muhammad Shafique 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

High-Performance Accurate and Approximate Multipliers for FPGA-Based Hardware Accelerators. - Salim Ullah; Semeen Rehman; Muhammad Shafique 001; Akash Kumar 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

dRG-MEC: Decentralized Reinforced Green Offloading for MEC-enabled Cloud Network. - Asad Aftab; Semeen Rehman (WiMob, 2023)

Improved angelization technique against background knowledge attack for 1:M microdata. - Rabeeha Fazal; Razaullah Khan; Adeel Anjum; Madiha Haider Syed; Abid Khan; Semeen Rehman (PeerJ Comput. Sci., 2023)

OPTIMA: Design-Space Exploration of Discharge-Based In-SRAM Computing: Quantifying Energy-Accuracy Trade-offs. - Saeed Seyedfaraji; Severin Jager; Salar Shakibhamedan; Asad Aftab; Semeen Rehman (DAC, 2024)

Exploring Deep Federated Learning for the Internet of Things: A GDPR-Compliant Architecture. - Zahra Abbas; Sunila Fatima Ahmad; Madiha Haider Syed; Adeel Anjum; Semeen Rehman (IEEE Access, 2024)

HOPE: Holistic STT-RAM Architecture Exploration Framework for Future Cross-Platform Analysis. - Saeed Seyedfaraji; Markus Bichl; Asad Aftab; Semeen Rehman (IEEE Access, 2024)

Optimizing Industrial IoT Data Security Through Blockchain-Enabled Incentive-Driven Game Theoretic Approach for Data Sharing. - Muhammad Noman Sohail; Adeel Anjum; Iftikhar Ahmed Saeed; Madiha Haider Syed; Axel Jantsch; Semeen Rehman (IEEE Access, 2024)

Dynamic Cohort Formation with Hierarchical Blockchain Using GDP for Enhanced FL. - Sunila Fatima Ahmad; Zahra Abbas; Madiha Haider Syed; Adeel Anjum; Semeen Rehman (Comput., 2024)

A Framework for Privacy-Preserving in IoV Using Federated Learning With Differential Privacy. - Muhammad Adnan; Madiha Haider Syed; Adeel Anjum; Semeen Rehman (IEEE Access, 2025)

Efficient Distributed Denial of Service Attack Detection in Internet of Vehicles Using Gini Index Feature Selection and Federated Learning. - Muhammad Dilshad; Madiha Haider Syed; Semeen Rehman (Future Internet, 2025)