Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Sofiène Tahar
Researcher
PaperOn the Verification of a WiMax Design Using Symbolic SimulationAuthorship / preprint / 2013PaperFormal Safety Guarantees for Autonomous Vehicles using Barrier CertificatesAuthorship / preprint / 2026PaperFormal Analysis of Soft Errors using Theorem ProvingAuthorship / preprint / 2013PaperFormal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire DetectionAuthorship / preprint / 2013PaperTowards the Formalization of Fractional Calculus in Higher-Order LogicAuthorship / preprint / 2015PaperOn the Formalization of the Heat Conduction Problem in HOLAuthorship / preprint / 2022