Osman Hasan

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2021

An Enhanced Rewriting Logic Based Semantics for High Level Petri nets.

[BibT_eX]

[DOI]

Ammar Boucherit

Kamel Barkaoui

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

2020

Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving.

[BibT_eX]

[DOI]

Sa'ed Abed

J. Aerosp. Inf. Syst., September, 2020

MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Formal Reliability Analysis of an Integrated Power Generation System Using Theorem Proving.

[BibT_eX]

[DOI]

IEEE Syst. J., 2020

SIMCom: Statistical sniffing of inter-module communications for runtime hardware trojan detection.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2020

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2020

PEAL: Probabilistic Error Analysis Methodology for Low-power Approximate Adders.

[BibT_eX]

[DOI]

Muhammad Kamran Ayub

ACM J. Emerg. Technol. Comput. Syst., 2020

Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

Formal Verification of ECCs for Memories Using ACL2.

[BibT_eX]

[DOI]

Mahum Naseer

J. Electron. Test., 2020

MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices.

[BibT_eX]

[DOI]

CoRR, 2020

m2caiSeg: Semantic Segmentation of Laparoscopic Images using Convolutional Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits.

[BibT_eX]

[DOI]

Ayesha Gauhar

CoRR, 2020

Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving.

[BibT_eX]

[DOI]

IEEE Access, 2020

Machine Learning-Based Self-Compensating Approximate Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Systems Conference, 2020

Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Systems Conference, 2020

Proof searching in HOL4 with genetic algorithm.

[BibT_eX]

[DOI]

Muhammad Zohaib Nawaz

M. Saqib Nawaz

Philippe Fournier-Viger

Meng Sun

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Formal analysis of the biological circuits using higher-order-logic theorem proving.

[BibT_eX]

[DOI]

Sa'ed Abed

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Formal Verification of a Fully Automated Out-of-Plane Cell Injection System.

[BibT_eX]

[DOI]

Iram Tariq Bhatti

Proceedings of the 21st International Symposium on Quality Electronic Design, 2020

Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures.

[BibT_eX]

[DOI]

Moeez Akmal

Muhammad Sarmad Saeed

Proceedings of the 21st International Symposium on Quality Electronic Design, 2020

Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Microelectronics, 2020

FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks.

[BibT_eX]

[DOI]

Mahum Naseer

Mishal Fatima Minhas

Faiq Khalid

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

PEMACx: A Probabilistic Error Analysis Methodology for Adders with Cascaded Approximate Units.

[BibT_eX]

[DOI]

Rehan Hafiz

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

Formal Probabilistic Analysis of Low Latency Approximate Adders.

[BibT_eX]

[DOI]

Amina Qureshi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Wearable technologies for hand joints monitoring for rehabilitation: A survey.

[BibT_eX]

[DOI]

Microelectron. J., 2019

Self-compensating accelerators for efficient approximate computing.

[BibT_eX]

[DOI]

Sana Mazahir

Microelectron. J., 2019

Formal analysis of continuous-time systems using Fourier transform.

[BibT_eX]

[DOI]

J. Symb. Comput., 2019

SecureSurgiNET: A framework for ensuring security in telesurgery.

[BibT_eX]

[DOI]

Mian Muhammad Hamayun

Int. J. Distributed Sens. Networks, 2019

Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.

[BibT_eX]

[DOI]

FLAP, 2019

Formal Periodic Steady-state Analysis of Power Converters in Time-domain.

[BibT_eX]

[DOI]

Asad Ahmed

Ammar Hasan

FLAP, 2019

Formal comparison of LEACH and its extensions.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2019

Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving.

[BibT_eX]

[DOI]

CoRR, 2019

Integrating DFT and DRBD Formalizations in HOL4.

[BibT_eX]

[DOI]

CoRR, 2019

A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams.

[BibT_eX]

[DOI]

CoRR, 2019

Error Analysis of Approximate Array Multipliers.

[BibT_eX]

[DOI]

CoRR, 2019

On the Formalization of Importance Measures using HOL Theorem Proving.

[BibT_eX]

[DOI]

CoRR, 2019

SIMCom: Statistical Sniffing of Inter-Module Communications for Run-time Hardware Trojan Detection.

[BibT_eX]

[DOI]

CoRR, 2019

Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency.

[BibT_eX]

[DOI]

IEEE Access, 2019

A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving.

[BibT_eX]

[DOI]

IEEE Access, 2019

Electronic Controller Design of a Semi-Automatic Cell Microinjection System.

[BibT_eX]

[DOI]

Asad Hameed

Proceedings of the 2019 IEEE International Systems Conference, 2019

Formal Verification of Rewriting Rules for Dynamic Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

On the formalization of importance measures using HOL theorem proving.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

Using Machine Learning for Quality Configurable Approximate Computing.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Formalization of Asymptotic Notations in HOL4.

[BibT_eX]

[DOI]

Proceedings of the IEEE 4th International Conference on Computer and Communication Systems, 2019

A Generic Virtual Reality Training Simulator for Intracytoplasmic Sperm Injection.

[BibT_eX]

[DOI]

Rubab Hafeez

Zohaib Amjad Khan

Proceedings of the IEEE 4th International Conference on Computer and Communication Systems, 2019

Probabilistic Error Analysis of Approximate Adders and Multipliers.

[BibT_eX]

[DOI]

Proceedings of the Approximate Circuits, Methodologies and CAD., 2019

2018

A Library for Combinational Circuit Verification Using the HOL Theorem Prover.

[BibT_eX]

[DOI]

Sumayya Shiraz

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

SAT Based Fitness Scoring for Digital Circuit Evolution.

[BibT_eX]

[DOI]

Mumtaz Ali

J. Circuits Syst. Comput., 2018

Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).

[BibT_eX]

[DOI]

Nida Afaq

Khaza Anuarul Hoque

J. Autom. Reason., 2018

Towards the Formal Development of Software Based Systems: Access Control System as a Case Study.

[BibT_eX]

[DOI]

Inf. Technol. Control., 2018

Formal probabilistic analysis of a surgical robot control algorithm with different virtual fixtures.

[BibT_eX]

[DOI]

Muhammad Saad Ayub

Innov. Syst. Softw. Eng., 2018

Runtime hardware Trojan monitors through modeling burst mode communication using formal verification.

[BibT_eX]

[DOI]

Integr., 2018

Formal probabilistic performance verification of randomly-scheduled wireless sensor networks.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2018

Formalization of Lerch's Theorem using HOL Light.

[BibT_eX]

[DOI]

FLAP, 2018

Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid.

[BibT_eX]

[DOI]

FLAP, 2018

Adaptive Approximate Computing in Arithmetic Datapaths.

[BibT_eX]

[DOI]

Sana Mazahir

IEEE Des. Test, 2018

Probabliistic analysis of electrocardiogram (ECG) heart signal.

[BibT_eX]

[DOI]

Amjad Gawanmeh

Usman Pervez

Comput. Syst. Sci. Eng., 2018

ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits.

[BibT_eX]

[DOI]

CoRR, 2018

Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4.

[BibT_eX]

[DOI]

CoRR, 2018

Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic.

[BibT_eX]

[DOI]

CoRR, 2018

McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits.

[BibT_eX]

[DOI]

IEEE Access, 2018

COMFAST: A comparative framework for analysis of scheduling techniques in multi-core systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

Formal verification of a domain specific language for run-time adaptation.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

A modular and generic virtual reality training framework for micro-robotic cell injection systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

Formal Verification and Safety Assessment of a Hemodialysis Machine.

[BibT_eX]

[DOI]

Shahid Khan

Atif Mashkoor

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Formal Verification of Platoon Control Strategies.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Formal Verification of n-bit ALU Using Theorem Proving.

[BibT_eX]

[DOI]

Sumayya Shiraz

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the CME-EI, 2018

Electronic Design of a Semi-Automated Micromanipulator Cell Injection System.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Medical Information and Communication Technology, 2018

Low Power Digital Clock Multipliers for Battery-Operated Internet of Things (IoT) Devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Approximation-Conscious IC Testing.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Microelectronics, 2018

Comparative Study of Approximate Multipliers.

[BibT_eX]

[DOI]

Proceedings of the 2018 on Great Lakes Symposium on VLSI, 2018

Formal Timing Analysis of Digital Circuits.

[BibT_eX]

[DOI]

Qurat Ul Ain

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

Formal Stability Analysis of Control Systems.

[BibT_eX]

[DOI]

Asad Ahmed

Falah Awwad

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

2017

Probabilistic Error Modeling for Approximate Adders.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2017

Probabilistic Error Analysis of Approximate Recursive Multipliers.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2017

FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes.

[BibT_eX]

[DOI]

Jörg Henkel

J. Parallel Distributed Comput., 2017

Reliability modeling and analysis of communication networks.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2017

NoC-Based Implementation of Free Form Deformations in Medical Imaging Registration.

[BibT_eX]

[DOI]

Uzma Mushtaq

Falah R. Awwad

J. Circuits Syst. Comput., 2017

Formally Verifying Transfer Functions of Linear Analog Circuits.

[BibT_eX]

[DOI]

Syeda Hira Taqdees

IEEE Des. Test, 2017

Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking.

[BibT_eX]

[DOI]

CoRR, 2017

Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things.

[BibT_eX]

[DOI]

Mujahid Mohsin

Zahid Anwar

IEEE Access, 2017

Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot.

[BibT_eX]

[DOI]

Muhammad Saad Ayub

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

Formalization of Birth-Death and IID processes in higher-order logic.

[BibT_eX]

[DOI]

Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

Formal Analysis of Information Flow in HOL.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Behavior profiling of power distribution networks for runtime hardware trojan detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE 60th International Midwest Symposium on Circuits and Systems, 2017

Formalization of Transform Methods Using HOL Light.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Formal verification of demand response based home energy management systems in smart grids.

[BibT_eX]

[DOI]

Adnan Yaqoob Salik

Falah Awwad

Proceedings of the 2017 IEEE Innovative Smart Grid Technologies - Asia, 2017

Formal Analysis of Linear Control Systems Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

QuAd: Design and Analysis of Quality-Area Optimal Low-Latency Approximate Adders.

[BibT_eX]

[DOI]

Rehan Hafiz

Proceedings of the 54th Annual Design Automation Conference, 2017

Statistical Error Analysis for Low Power Approximate Adders.

[BibT_eX]

[DOI]

Muhammad Kamran Ayub

Proceedings of the 54th Annual Design Automation Conference, 2017

Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

2016

Al-Zahrawi: A Telesurgical Robotic System for Minimal Invasive Surgery.

[BibT_eX]

[DOI]

IEEE Syst. J., 2016

Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2016

Formalization of Reliability Block Diagrams in Higher-order Logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2016

Clock domain crossing (CDC) in 3D-SICs: Semi QDI asynchronous vs loosely synchronous.

[BibT_eX]

[DOI]

Waqas Gul

Integr., 2016

Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification.

[BibT_eX]

[DOI]

J. Electron. Test., 2016

Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Probabilistic Formal Verification of the SATS Concept of Operation.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Formalization of Normal Random Variables in HOL.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Formal Dependability Modeling and Analysis: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

On the Formalization of Fourier Transform in Higher-order Logic.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

A self-learning framework to detect the intruded integrated circuits.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Synchronously triggered GALS design templates leveraging QDI asynchronous interfaces.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Whole-body motion planning for humanoid robots with heuristic search.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Formal Availability Analysis Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

Formal probabilistic analysis of distributed resource management schemes in on-chip systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

An area-efficient consolidated configurable error correction for approximate hardware accelerators.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual Design Automation Conference, 2016

2015

On the Formalization of Zsyntax with Applications in Molecular Biology.

[BibT_eX]

[DOI]

Sohaib Ahmad

Scalable Comput. Pract. Exp., 2015

Evaluation of anonymity and confidentiality protocols using theorem proving.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2015

Formal probabilistic analysis of detection properties in wireless sensor networks.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

Applying Formal Methods to Networking: Theory, Techniques, and Applications.

[BibT_eX]

[DOI]

Junaid Qadir

IEEE Commun. Surv. Tutorials, 2015

Formal reliability analysis of wireless sensor network data transport protocols using HOL.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Wireless and Mobile Computing, 2015

Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Formal modeling and verification of integrated photonic systems.

[BibT_eX]

[DOI]

Proceedings of the Annual IEEE Systems Conference, 2015

Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection.

[BibT_eX]

[DOI]

Proceedings of the Nordic Circuits and Systems Conference, 2015

Towards the Formalization of Fractional Calculus in Higher-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Towards Formal Fault Tree Analysis Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2015, 2015

Safe-radius based motion planning of hexapod using RRT-connect.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information and Automation, 2015

Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on E-health Networking, 2015

g-HOL: A Graphical User Interface for the HOL Proof Assistant.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Formal probabilistic analysis of distributed dynamic thermal management.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations.

[BibT_eX]

[DOI]

Muhammad Usman Sanwal

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

2014

Formal Analysis of Optical Systems.

[BibT_eX]

[DOI]

Sanaz Khan Afshar

Mohamed Yousri Mahmoud

Math. Comput. Sci., 2014

Towards Formal Linear Cryptanalysis using HOL4.

[BibT_eX]

[DOI]

Syed Ali Khayam

J. Univers. Comput. Sci., 2014

An approach for lifetime reliability analysis using theorem proving.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2014

On the Formalization of Gamma Function in HOL.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

Timing variation aware dynamic digital phase detector for low-latency clock domain crossing.

[BibT_eX]

[DOI]

IET Circuits Devices Syst., 2014

Towards Formal Reasoning about Molecular Pathways in HOL.

[BibT_eX]

[DOI]

Sohaib Ahmad

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Formalization of Zsyntax to Reason About Molecular Pathways in HOL4.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

Clock domain crossing (CDC) for inter-logic-layer communication in 3-D ICs.

[BibT_eX]

[DOI]

Waqas Gul

Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

Towards the formal verification of optical interconnects.

[BibT_eX]

[DOI]

Sanaz Khan Afshar

Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

Hardware Trojan detection in soft error tolerant macro synchronous micro asynchronous (MSMA) pipeline.

[BibT_eX]

[DOI]

Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014

Yield aware inter-logic-layer communication in 3-D ICs: Early design stage recommendations.

[BibT_eX]

[DOI]

Waqas Gul

Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014

Augmenting RRT∗-planner with local trees for motion planning in complex dynamic environments.

[BibT_eX]

[DOI]

Ahmed Hussain Qureshi

Saba Mumtaz

Wajeeha Khan

Abdul Ahad Ashfaq Sheikh

Khawaja Fahad Iqbal

Yasar Ayaz

Proceedings of the 19th International Conference On Methods and Models in Automation and Robotics, 2014

Towards the Formal Reliability Analysis of Oil and Gas Pipelines.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Formalization of Complex Vectors in Higher-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN.

[BibT_eX]

[DOI]

Anam Zaman

Proceedings of the 2014 International Symposium on System-on-Chip, 2014

On the Formal Analysis of HMM Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on e-Health Networking, 2014

Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Formal Verification of Steady-State Errors in Unity-Feedback Control Systems.

[BibT_eX]

[DOI]

Muhammad Ahmad

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

Triangular geometry based optimal motion planning using RRT*-motion planner.

[BibT_eX]

[DOI]

Ahmed Hussain Qureshi

Saba Mumtaz

Khawaja Fahad Iqbal

Yasar Ayaz

Mannan Saeed Muhammad

Whoi-Yul Kim

Moonsoo Ra

Proceedings of the IEEE 13th International Workshop on Advanced Motion Control, 2014

2013

Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2013

Towards the Formal Performance Analysis of Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Formal Analysis of Memory Contention in a Multiprocessor System.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy.

[BibT_eX]

[DOI]

Ghassen Helali

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Adaptive Potential guided directional-RRT.

[BibT_eX]

[DOI]

Ahmed Hussain Qureshi

Saeed Muhammad Mannan

Whoi-Yul Kim

Moonsoo Ra

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2013

Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light.

[BibT_eX]

[DOI]

Syeda Hira Taqdees

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Formal Reasoning about Classified Markov Chains in HOL.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Formal Kinematic Analysis of the Two-Link Planar Manipulator.

[BibT_eX]

[DOI]

Binyameen Farooq

Sohail Iqbal

Proceedings of the Formal Methods and Software Engineering, 2013

Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements.

[BibT_eX]

[DOI]

Muhammad Usman Sanwal

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Formal verification of distributed dynamic thermal management.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Formal Reliability Analysis of Protective Relays in Power Distribution Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

Formal analysis of steady state errors in feedback control systems using HOL-light.

[BibT_eX]

[DOI]

Muhammad Ahmad

Proceedings of the Design, Automation and Test in Europe, 2013

Using Probabilistic Analysis for the Certification of Machine Control Systems.

[BibT_eX]

[DOI]

Atif Mashkoor

Wolfgang Beer

Proceedings of the Security Engineering and Intelligence Informatics, 2013

2012

Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012

Formal Analysis of Soft Errors using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012

Modified null convention logic pipeline to detect soft errors in both null and data phases.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE International Midwest Symposium on Circuits and Systems, 2012

Quantitative Analysis of Information Flow Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2012

Formal Probabilistic Analysis of Cyber-Physical Transportation Systems.

[BibT_eX]

[DOI]

Atif Mashkoor

Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Formal verification of the heavy hitter problem.

[BibT_eX]

[DOI]

Ghassen Helali

Proceedings of the 25th IEEE Canadian Conference on Electrical and Computer Engineering, 2012

2011

Reasoning about conditional probabilities in a higher-order-logic theorem prover.

[BibT_eX]

[DOI]

J. Appl. Log., 2011

Formal reliability analysis of combinational circuits using theorem proving.

[BibT_eX]

[DOI]

Jigar Patel

J. Appl. Log., 2011

Formalization of Entropy Measures in HOL.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

Formal analysis of fractional order systems in HOL.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Formalization of Finite-State Discrete-Time Markov Chains in HOL.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Formal Reliability Analysis Using Theorem Proving.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2010

Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2010

Formal Lifetime Reliability Analysis Using Continuous Random Variables.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2010

On the Formalization of the Lebesgue Integration Theory in HOL.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

Performance analysis of real-time rewriting models.

[BibT_eX]

[DOI]

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL.

[BibT_eX]

[DOI]

J. Autom. Reason., 2009

Formal Analysis of Optical Waveguides in HOL.

[BibT_eX]

[DOI]

Sanaz Khan Afshar

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Formal Reasoning about Expectation Properties for Continuous Random Variables.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

2008

Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

Probabilistic Analysis of Wireless Systems Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Formal Methods for Wireless Systems, 2008

Performance Analysis of ARQ Protocols using a Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2008

2007

Formalization of the Standard Uniform random variable.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Verification of Expectation Properties for Discrete Random Variables in HOL.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Formalization of Continuous Probability Distributions.

[BibT_eX]

[DOI]