BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sofiene Tahar
SearchCollections
Map detail
Sofiene Tahar13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSofiene TaharASofiene TaharResearcherFormal FT-based Cause-Consequence Reliability Analysis using Theorem ProvingWFormal FT-based Cause-C...preprint / 2021ETMA: A New Software for Event Tree Analysis with Application to Power ProtectionWETMA: A New Software fo...preprint / 2020A Formally Verified HOL4 Algebra for Event TreesWA Formally Verified HOL...preprint / 2020Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)WFormal Verification of ...preprint / 2020Machine Learning-Based Self-Compensating Approximate ComputingWMachine Learning-Based ...preprint / 2020Towards the Formal Reliability Analysis of Oil and Gas PipelinesWTowards the Formal Reli...preprint / 2014Predicting Scheduling Failures in the CloudWPredicting Scheduling F...preprint / 2015Formal Dependability Modeling and Analysis: A SurveyWFormal Dependability Mo...preprint / 2016ATLAS: An Adaptive Failure-aware Scheduler for HadoopWATLAS: An Adaptive Fail...preprint / 2015Formalization of Complex Vectors in Higher-Order LogicWFormalization of Comple...preprint / 2014Optical Stochastic Computing Architectures Using Photonic Crystal NanocavitiesWOptical Stochastic Comp...preprint / 2021Formal Analysis of Optical SystemsWFormal Analysis of Opti...preprint / 2014
Person12 links

Sofiene Tahar

Researcher

PaperFormal FT-based Cause-Consequence Reliability Analysis using Theorem ProvingAuthorship / preprint / 2021PaperETMA: A New Software for Event Tree Analysis with Application to Power ProtectionAuthorship / preprint / 2020PaperA Formally Verified HOL4 Algebra for Event TreesAuthorship / preprint / 2020PaperFormal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)Authorship / preprint / 2020PaperMachine Learning-Based Self-Compensating Approximate ComputingAuthorship / preprint / 2020PaperTowards the Formal Reliability Analysis of Oil and Gas PipelinesAuthorship / preprint / 2014PaperPredicting Scheduling Failures in the CloudAuthorship / preprint / 2015PaperFormal Dependability Modeling and Analysis: A SurveyAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)