Osman Hasan

According to our database1, Osman Hasan authored at least 171 papers between 2007 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

2019
Formal Probabilistic Analysis of Low Latency Approximate Adders.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2019

Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits.
Sci. Comput. Program., 2019

Wearable technologies for hand joints monitoring for rehabilitation: A survey.
Microelectron. J., 2019

Self-compensating accelerators for efficient approximate computing.
Microelectron. J., 2019

Formal analysis of continuous-time systems using Fourier transform.
J. Symb. Comput., 2019

SecureSurgiNET: A framework for ensuring security in telesurgery.
IJDSN, 2019

Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.
FLAP, 2019

Formal Periodic Steady-State Analysis of Power Converters in Time-Domain.
FLAP, 2019

Formal comparison of LEACH and its extensions.
Comput. Stand. Interfaces, 2019

Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving.
CoRR, 2019

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

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

Integrating DFT and DRBD Formalizations in HOL4.
CoRR, 2019

A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams.
CoRR, 2019

Error Analysis of Approximate Array Multipliers.
CoRR, 2019

On the Formalization of Importance Measures using HOL Theorem Proving.
CoRR, 2019

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

Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency.
IEEE Access, 2019

A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving.
IEEE Access, 2019

Electronic Controller Design of a Semi-Automatic Cell Microinjection System.
Proceedings of the 2019 IEEE International Systems Conference, 2019

Formal Verification of Rewriting Rules for Dynamic Fault Trees.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

On the formalization of importance measures using HOL theorem proving.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams.
Proceedings of the Formal Methods and Software Engineering, 2019

Using Machine Learning for Quality Configurable Approximate Computing.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Probabilistic Error Analysis of Approximate Adders and Multipliers.
Proceedings of the Approximate Circuits, Methodologies and CAD., 2019

2018
A Library for Combinational Circuit Verification Using the HOL Theorem Prover.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

SAT Based Fitness Scoring for Digital Circuit Evolution.
Journal of Circuits, Systems, and Computers, 2018

Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA).
J. Autom. Reasoning, 2018

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

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

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

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

Formalization of Lerch's Theorem using HOL Light.
FLAP, 2018

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

Adaptive Approximate Computing in Arithmetic Datapaths.
IEEE Design & Test, 2018

Probabliistic analysis of electrocardiogram (ECG) heart signal.
Comput. Syst. Sci. Eng., 2018

ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits.
CoRR, 2018

Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4.
CoRR, 2018

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

McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits.
IEEE Access, 2018

COMFAST: A comparative framework for analysis of scheduling techniques in multi-core systems.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

Formal verification of a domain specific language for run-time adaptation.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

A modular and generic virtual reality training framework for micro-robotic cell injection systems.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018

Formal Verification and Safety Assessment of a Hemodialysis Machine.
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.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Formal Verification of n-bit ALU Using Theorem Proving.
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.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper).
Proceedings of the Joint Proceedings of the CME-EI, 2018

Electronic Design of a Semi-Automated Micromanipulator Cell Injection System.
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.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Comparative Study of Approximate Multipliers.
Proceedings of the 2018 on Great Lakes Symposium on VLSI, 2018

Formal Timing Analysis of Digital Circuits.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

Formal Stability Analysis of Control Systems.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

2017
Probabilistic Error Modeling for Approximate Adders.
IEEE Trans. Computers, 2017

Probabilistic Error Analysis of Approximate Recursive Multipliers.
IEEE Trans. Computers, 2017

FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems.
Sci. Comput. Program., 2017

Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes.
J. Parallel Distributed Comput., 2017

Reliability modeling and analysis of communication networks.
J. Netw. Comput. Appl., 2017

NoC-Based Implementation of Free Form Deformations in Medical Imaging Registration.
Journal of Circuits, Systems, and Computers, 2017

Formally Verifying Transfer Functions of Linear Analog Circuits.
IEEE Design & Test, 2017

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

Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems.
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.
IEEE Access, 2017

Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

Formalization of Birth-Death and IID processes in higher-order logic.
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

Formal Analysis of Information Flow in HOL.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Formalization of Transform Methods Using HOL Light.
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Formal Analysis of Linear Control Systems Using Theorem Proving.
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.
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.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

QuAd: Design and Analysis of Quality-Area Optimal Low-Latency Approximate Adders.
Proceedings of the 54th Annual Design Automation Conference, 2017

Statistical Error Analysis for Low Power Approximate Adders.
Proceedings of the 54th Annual Design Automation Conference, 2017

Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

2016
Al-Zahrawi: A Telesurgical Robotic System for Minimal Invasive Surgery.
IEEE Systems Journal, 2016

Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis.
Scalable Computing: Practice and Experience, 2016

Formalization of Reliability Block Diagrams in Higher-order Logic.
J. Appl. Log., 2016

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

Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification.
J. Electronic Testing, 2016

Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application.
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.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Probabilistic Formal Verification of the SATS Concept of Operation.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Formalization of Normal Random Variables in HOL.
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

Formal Dependability Modeling and Analysis: A Survey.
Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

On the Formalization of Fourier Transform in Higher-order Logic.
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

A self-learning framework to detect the intruded integrated circuits.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Synchronously triggered GALS design templates leveraging QDI asynchronous interfaces.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Whole-body motion planning for humanoid robots with heuristic search.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Formal Availability Analysis Using Theorem Proving.
Proceedings of the Formal Methods and Software Engineering, 2016

Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

Formal probabilistic analysis of distributed resource management schemes in on-chip systems.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

An area-efficient consolidated configurable error correction for approximate hardware accelerators.
Proceedings of the 53rd Annual Design Automation Conference, 2016

2015
On the Formalization of Zsyntax with Applications in Molecular Biology.
Scalable Computing: Practice and Experience, 2015

Evaluation of anonymity and confidentiality protocols using theorem proving.
Formal Methods in System Design, 2015

Formal probabilistic analysis of detection properties in wireless sensor networks.
Formal Asp. Comput., 2015

Applying Formal Methods to Networking: Theory, Techniques, and Applications.
IEEE Communications Surveys and Tutorials, 2015

Formal reliability analysis of wireless sensor network data transport protocols using HOL.
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.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Formal modeling and verification of integrated photonic systems.
Proceedings of the Annual IEEE Systems Conference, 2015

Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection.
Proceedings of the Nordic Circuits and Systems Conference, 2015

Towards the Formalization of Fractional Calculus in Higher-Order Logic.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Towards Formal Fault Tree Analysis Using Theorem Proving.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving.
Proceedings of the IWIL@LPAR 2015, 2015

Safe-radius based motion planning of hexapod using RRT-connect.
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.
Proceedings of the 17th International Conference on E-health Networking, 2015

g-HOL: A Graphical User Interface for the HOL Proof Assistant.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Formal probabilistic analysis of distributed dynamic thermal management.
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.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

2014
Formal Analysis of Optical Systems.
Mathematics in Computer Science, 2014

Towards Formal Linear Cryptanalysis using HOL4.
J. UCS, 2014

An approach for lifetime reliability analysis using theorem proving.
J. Comput. Syst. Sci., 2014

On the Formalization of Gamma Function in HOL.
J. Autom. Reasoning, 2014

Timing variation aware dynamic digital phase detector for low-latency clock domain crossing.
IET Circuits, Devices & Systems, 2014

Towards Formal Reasoning about Molecular Pathways in HOL.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Formalization of Zsyntax to Reason About Molecular Pathways in HOL4.
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.
Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

Towards the formal verification of optical interconnects.
Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

Augmenting RRT∗-planner with local trees for motion planning in complex dynamic environments.
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.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Formalization of Complex Vectors in Higher-Order Logic.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN.
Proceedings of the 2014 International Symposium on System-on-Chip, 2014

On the Formal Analysis of HMM Using Theorem Proving.
Proceedings of the Formal Methods and Software Engineering, 2014

Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM.
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.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Formal Verification of Steady-State Errors in Unity-Feedback Control Systems.
Proceedings of the Formal Methods for Industrial Critical Systems, 2014

Triangular geometry based optimal motion planning using RRT*-motion planner.
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.
ACM Trans. Embedded Comput. Syst., 2013

Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL.
J. Comput. Sci. Technol., 2013

Towards the Formal Performance Analysis of Wireless Sensor Networks.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Formal Analysis of Memory Contention in a Multiprocessor System.
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy.
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Adaptive Potential guided directional-RRT.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2013

Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Formal Reasoning about Classified Markov Chains in HOL.
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Formal Kinematic Analysis of the Two-Link Planar Manipulator.
Proceedings of the Formal Methods and Software Engineering, 2013

Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements.
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Formal verification of distributed dynamic thermal management.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Formal Reliability Analysis of Protective Relays in Power Distribution Systems.
Proceedings of the Formal Methods for Industrial Critical Systems, 2013

Formal analysis of steady state errors in feedback control systems using HOL-light.
Proceedings of the Design, Automation and Test in Europe, 2013

Using Probabilistic Analysis for the Certification of Machine Control Systems.
Proceedings of the Security Engineering and Intelligence Informatics, 2013

2012
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection.
Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012

Formal Analysis of Soft Errors using Theorem Proving.
Proceedings of the Proceedings Fourth International Symposium on Symbolic Computation in Software Science, 2012

Quantitative Analysis of Information Flow Using Theorem Proving.
Proceedings of the Formal Methods and Software Engineering, 2012

Formal Probabilistic Analysis of Cyber-Physical Transportation Systems.
Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Formal verification of the heavy hitter problem.
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.
J. Appl. Log., 2011

Formal reliability analysis of combinational circuits using theorem proving.
J. Appl. Log., 2011

Formalization of Entropy Measures in HOL.
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks.
Proceedings of the Formal Methods and Software Engineering, 2011

Formal analysis of fractional order systems in HOL.
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Formalization of Finite-State Discrete-Time Markov Chains in HOL.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Formal Reliability Analysis Using Theorem Proving.
IEEE Trans. Computers, 2010

Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving.
J. Comput. Sci. Technol., 2010

Formal Lifetime Reliability Analysis Using Continuous Random Variables.
Proceedings of the Logic, 2010

On the Formalization of the Lebesgue Integration Theory in HOL.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.
Proceedings of the Abstract State Machines, 2010

Performance analysis of real-time rewriting models.
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.
J. Autom. Reasoning, 2009

Probabilistic Analysis of Wireless Systems Using Theorem Proving.
Electron. Notes Theor. Comput. Sci., 2009

Formal Analysis of Optical Waveguides in HOL.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Formal Reasoning about Expectation Properties for Continuous Random Variables.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables.
J. Autom. Reasoning, 2008

Performance Analysis of ARQ Protocols using a Theorem Prover.
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2008

2007
Formalization of the Standard Uniform random variable.
Theor. Comput. Sci., 2007

Verification of Expectation Properties for Discrete Random Variables in HOL.
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Formalization of Continuous Probability Distributions.
Proceedings of the Automated Deduction, 2007


  Loading...