default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSofiène Tahar
Person information
- affiliation: Concordia University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j74]Yassmeen Elderhalli
, Osman Hasan, Sofiène Tahar:
Dynamic dependability analysis of shuffle-exchange networks. Formal Methods Syst. Des. 62(1): 285-325 (2024)- [c201]Kubra Aksoy, Adnan Rashid, Sofiène Tahar:
Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. ICFEM 2024: 162-180 - [c200]Elif Deniz, Sofiène Tahar:
Formalizing Potential Flows Using the HOL Light Theorem Prover. ICFEM 2024: 297-313 - [c199]Mohamed Abdelghany, Adnan Rashid, Sofiène Tahar:
A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving. CICM 2024: 298-314 - [c198]Nour Dekhil, Adnan Rashid, Sofiène Tahar:
HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover. CICM 2024: 352-359 - [c197]Oumaima Barhoumi, Mohamed H. Zaki, Sofiène Tahar:
Formal Analysis of Vehicular Crash Severity Using KeYmaera X. SCSS 2024: 1-19 - [c196]Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar:
Formal Verification of ABCD Parameters Based Models for Transmission Lines. SCSS 2024: 20-37 - 2023
- [c195]Alain Aoun, Mahmoud Masadeh, Sofiène Tahar:
A Machine Learning Based Load Value Approximator Guided by the Tightened Value Locality. ACM Great Lakes Symposium on VLSI 2023: 679-684 - [c194]Maissa Elleuch, Sofiène Tahar:
Formal Analysis of an IoT-Based Healthcare Application. ISCC 2023: 1-5 - [e6]Yi Li, Sofiène Tahar:
Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings. Lecture Notes in Computer Science 14308, Springer 2023, ISBN 978-981-99-7583-9 [contents] - 2022
- [j73]Hassnaa El-Derhalli, Léa Constans, Sébastien Le Beux, Alfredo De Rossi, Fabrice Raineri, Sofiène Tahar:
Towards All-optical Stochastic Computing Using Photonic Crystal Nanocavities. ACM J. Emerg. Technol. Comput. Syst. 18(1): 16:1-16:25 (2022) - [j72]Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar:
Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving. IEEE Syst. J. 16(2): 2899-2910 (2022) - [c193]Mohamed Abdelghany, Sofiène Tahar:
Formal Probabilistic Risk Assessment of a Nuclear Power Plant. FTSCS 2022: 80-87 - [c192]Alain Aoun, Mahmoud Masadeh, Sofiène Tahar:
On the Design of Approximate Sobel Filter. ICM 2022: 102-106 - [c191]Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar:
On the Formalization of the Heat Conduction Problem in HOL. CICM 2022: 21-37 - [c190]Mohamed Abdelghany, Sofiène Tahar:
Formalization of Functional Block Diagrams Using HOL Theorem Proving. SBMF 2022: 22-35 - [i23]Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar:
On the Formalization of the Heat Conduction Problem in HOL. CoRR abs/2208.06642 (2022) - 2021
- [j71]Mohamed Abdelghany, Sofiène Tahar:
Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks. IEEE Access 9: 23929-23943 (2021) - [j70]Mahmoud Masadeh, Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Quality-assured Approximate Hardware Accelerators-based on Machine Learning and Dynamic Partial Reconfiguration. ACM J. Emerg. Technol. Comput. Syst. 17(4): 57:1-57:19 (2021) - [j69]Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar:
Design Space Exploration of Stochastic Computing Architectures Implemented Using Integrated Optics. IEEE Trans. Emerg. Top. Comput. 9(4): 2158-2169 (2021) - [j68]Saif Najmeddin, Sonia Aïssa, Sofiène Tahar:
Energy-Efficient Resource Allocation in Multi-UAV Networks With NOMA. IEEE Trans. Green Commun. Netw. 5(4): 1906-1917 (2021) - [j67]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Machine-Learning-Based Self-Tunable Design of Approximate Computing. IEEE Trans. Very Large Scale Integr. Syst. 29(4): 800-813 (2021) - [c189]Yassmeen Elderhalli, Nahla A. El-Araby, Osman Hasan, Axel Jantsch, Sofiène Tahar:
Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability. ISVLSI 2021: 194-199 - [c188]Mohamed Abdelghany, Sofiène Tahar:
Formalization of RBD-Based Cause Consequence Analysis in HOL. CICM 2021: 47-64 - [c187]Saif Najmeddin, Sonia Aïssa, Sofiène Tahar:
Energy-Efficient Wireless Powered Communications with NOMA in Multi-UAV Aided Networks. VTC Fall 2021: 1-6 - [c186]Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation. SCSS 2021: 114-128 - [i22]Mohamed Abdelghany, Sofiène Tahar:
Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving. CoRR abs/2101.07174 (2021) - [i21]Hassnaa El-Derhalli, Léa Constans, Sébastien Le Beux, Alfredo De Rossi, Fabrice Raineri, Sofiène Tahar:
Optical Stochastic Computing Architectures Using Photonic Crystal Nanocavities. CoRR abs/2102.02064 (2021) - 2020
- [j66]Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. Formal Aspects Comput. 32(1): 71-111 (2020) - [j65]Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
Mating Sensitivity Analysis and Statistical Verification for Efficient Yield Estimation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(2): 294-307 (2020) - [j64]Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
A Dynamic and Failure-Aware Task Scheduling Framework for Hadoop. IEEE Trans. Cloud Comput. 8(2): 553-569 (2020) - [c185]Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar:
OSCAR: An Optical Stochastic Computing AcceleRator for Polynomial Functions. DATE 2020: 1450-1455 - [c184]Saif Najmeddin, Sonia Aïssa, Sofiène Tahar:
Energy-Efficient Resource Allocation for UAV-Enabled Information and Power Transfer with NOMA. GLOBECOM 2020: 1-6 - [c183]Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar:
Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting. ICM 2020: 1-4 - [c182]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. CICM 2020: 105-122 - [c181]Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula:
ETMA: An Efficient Tool for Event Trees Modeling and Analysis. SysCon 2020: 1-8 - [c180]Mahmoud Masadeh, Alain Aoun, Osman Hasan, Sofiène Tahar:
Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality. SysCon 2020: 1-5 - [c179]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Machine Learning-Based Self-Compensating Approximate Computing. SysCon 2020: 1-6 - [i20]Adnan Rashid, Umair Siddique, Sofiène Tahar:
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper). CoRR abs/2003.03729 (2020) - [i19]Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar:
A Formally Verified HOL4 Algebra for Event Trees. CoRR abs/2004.14384 (2020) - [i18]Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula:
ETMA: A New Software for Event Tree Analysis with Application to Power Protection. CoRR abs/2006.12383 (2020)
2010 – 2019
- 2019
- [j63]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving. IEEE Access 7: 136176-136192 (2019) - [j62]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Input-Conscious Approximate Multiply-Accumulate (MAC) Unit for Energy-Efficiency. IEEE Access 7: 147129-147142 (2019) - [j61]Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar:
A modeling and verification framework for optical quantum circuits. Formal Aspects Comput. 31(3): 321-351 (2019) - [j60]Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. FLAP 6(3): 469-512 (2019) - [c178]Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar:
Stochastic Computing with Integrated Optics. DATE 2019: 1355-1360 - [c177]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Using Machine Learning for Quality Configurable Approximate Computing. DATE 2019: 1575-1578 - [c176]Adnan Rashid, Umair Siddique, Sofiène Tahar:
Formal Verification of Cyber-Physical Systems Using Theorem Proving. FTSCS 2019: 3-18 - [c175]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. ICFEM 2019: 253-269 - [c174]Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar:
On the formalization of importance measures using HOL theorem proving. FormaliSE@ICSE 2019: 109-118 - [c173]Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar:
Formal Verification of Rewriting Rules for Dynamic Fault Trees. SEFM 2019: 513-531 - [c172]Saif Najmeddin, Ali Bayat, Sonia Aïssa, Sofiène Tahar:
Energy-Efficient Resource Allocation for DAV-Enabled Wireless Powered Communications. WCNC 2019: 1-6 - [e5]Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács:
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019 [contents] - [i17]Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar:
Stochastic Computing with Integrated Optics. CoRR abs/1903.11060 (2019) - [i16]Waqar Ahmed, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar:
On the Formalization of Importance Measures using HOL Theorem Proving. CoRR abs/1904.01605 (2019) - [i15]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Error Analysis of Approximate Array Multipliers. CoRR abs/1908.01343 (2019) - [i14]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams. CoRR abs/1908.01930 (2019) - [i13]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Integrating DFT and DRBD Formalizations in HOL4. CoRR abs/1910.08875 (2019) - [i12]Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar:
Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving. CoRR abs/1910.11203 (2019) - 2018
- [j59]Umair Siddique, Mohamed Yousri Mahmoud, Sofiène Tahar:
Formal Analysis of Discrete-Time Systems using z-Transform. FLAP 5(4): 875-906 (2018) - [j58]Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal probabilistic performance verification of randomly-scheduled wireless sensor networks. Int. J. Crit. Comput. Based Syst. 8(3/4): 311-339 (2018) - [j57]Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar:
Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(3): 517-530 (2018) - [c171]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Comparative Study of Approximate Multipliers. ACM Great Lakes Symposium on VLSI 2018: 415-418 - [c170]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Approximation-Conscious IC Testing. ICM 2018: 56-59 - [c169]Ibtissem Seghaier, Sofiène Tahar:
Discriminating Chaos from Non-Gaussian Noise on Analog Circuits. NEWCAS 2018: 26-30 - [c168]Ibtissem Seghaier, Sofiène Tahar:
Reliability Analysis of CMOS Rambus Oscillator under Device Mismatch Effects. NEWCAS 2018: 209-212 - [c167]Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar:
Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. NFM 2018: 139-156 - [i11]Mahmoud Masadeh, Osman Hasan, Sofiène Tahar:
Comparative Study of Approximate Multipliers. CoRR abs/1803.06587 (2018) - [i10]Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4. CoRR abs/1807.11576 (2018) - 2017
- [j56]Mohamed Layouni, Mohamed Salah Hamdi, Sofiène Tahar:
Detection and sizing of metal-loss defects in oil and gas pipelines using pattern-adapted wavelets and machine learning. Appl. Soft Comput. 52: 247-261 (2017) - [j55]Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Exploiting bounds optimization for the semi-formal verification of analog circuits. Integr. 59: 135-147 (2017) - [j54]Umair Siddique, Sofiène Tahar:
Formal verification of stability and chaos in periodic optical systems. J. Comput. Syst. Sci. 88: 271-289 (2017) - [j53]Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
Task Scheduling in Big Data Platforms: A Systematic Literature Review. J. Syst. Softw. 134: 170-189 (2017) - [j52]Mathieu Nayrolles, Abdelwahab Hamou-Lhadj, Sofiène Tahar, Alf Larsson:
A bug reproduction approach based on directed model checking and crash traces. J. Softw. Evol. Process. 29(3) (2017) - [c166]Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar:
Enhancing analog yield optimization for variation-aware circuits sizing. DATE 2017: 1273-1276 - [c165]Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev:
Formal Analysis of Information Flow in HOL. SETTA 2017: 283-299 - [c164]Liya Liu, Osman Hasan, Sofiène Tahar:
Formalization of Birth-Death and IID processes in higher-order logic. SysCon 2017: 1-7 - [c163]Ibtissem Seghaier, Sofiène Tahar:
Intertwined Global Optimization Based Reachability Analysis. VECoS 2017: 139-154 - [e4]Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar:
Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. Lecture Notes in Computer Science 10466, Springer 2017, ISBN 978-3-319-66175-9 [contents] - [i9]Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar:
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. CoRR abs/1712.02872 (2017) - 2016
- [j51]Umair Siddique, Sofiène Tahar:
On the formal analysis of Gaussian optical systems in HOL. Formal Aspects Comput. 28(5): 881-907 (2016) - [j50]Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formalization of Reliability Block Diagrams in Higher-order Logic. J. Appl. Log. 18: 19-41 (2016) - [j49]Taieb Lamine Ben Cheikh, Alexandra Aguiar, Sofiène Tahar, Gabriela Nicolescu:
Tuning framework for stencil computation in heterogeneous parallel platforms. J. Supercomput. 72(2): 468-502 (2016) - [j48]Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar:
Enhancing Model Order Reduction for Nonlinear Analog Circuit Simulation. IEEE Trans. Very Large Scale Integr. Syst. 24(3): 1036-1049 (2016) - [c162]Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar:
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. NSV@CAV 2016: 31-46 - [c161]Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. FTSCS 2016: 93-108 - [c160]Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
Cross recurrence verification technique for process variation-resilient analog circuits. ISCAS 2016: 1294-1297 - [c159]Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar:
Formalization of Normal Random Variables in HOL. CICM 2016: 44-59 - [c158]Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal Dependability Modeling and Analysis: A Survey. CICM 2016: 132-147 - [c157]Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar:
Hierarchical Verification of Quantum Circuits. NFM 2016: 344-352 - [c156]Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. VECoS 2016: 43-58 - [i8]Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal Dependability Modeling and Analysis: A Survey. CoRR abs/1606.06877 (2016) - 2015
- [j47]Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal probabilistic analysis of detection properties in wireless sensor networks. Formal Aspects Comput. 27(1): 79-102 (2015) - [j46]Tarek Mhamdi, Osman Hasan, Sofiène Tahar:
Evaluation of anonymity and confidentiality protocols using theorem proving. Formal Methods Syst. Des. 47(3): 265-286 (2015) - [j45]Hicham Chaoui, Navid Golbon, Imad Hmouz, Ridha Souissi, Sofiène Tahar:
Lyapunov-Based Adaptive State of Charge and State of Health Estimation for Lithium-Ion Batteries. IEEE Trans. Ind. Electron. 62(3): 1610-1618 (2015) - [c155]Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar:
Towards enhancing analog circuits sizing using SMT-based techniques. DAC 2015: 171:1-171:6 - [c154]Abduljalil Mohamed, Mohamed Salah Hamdi, Sofiène Tahar:
A Machine Learning Approach for Big Data in Oil and Gas Pipelines. FiCloud 2015: 585-590 - [c153]Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar:
On the Formal Analysis of Photonic Signal Processing Systems. FMICS 2015: 162-177 - [c152]Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar:
On the Formal Verification of Optical Quantum Gates in HOL. FMICS 2015: 198-211 - [c151]Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
Statistically Validating the Impact of Process Variations on Analog and Mixed Signal Designs. ACM Great Lakes Symposium on VLSI 2015: 99-102 - [c150]Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
Predicting Scheduling Failures in the Cloud: A Case Study with Google Clusters and Hadoop on Amazon EMR. HPCC/CSS/ICESS 2015: 58-65 - [c149]Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar:
Formal Analysis of Power Electronic Systems. ICFEM 2015: 270-286 - [c148]Mbarka Soualhia, Foutse Khomh, Sofiène Tahar:
ATLAS: An AdapTive faiLure-Aware Scheduler for Hadoop. IPCCC 2015: 1-8 - [c147]Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
A Statistical Approach to Probe Chaos from Noise in Analog and Mixed Signal Designs. ISVLSI 2015: 237-242 - [c146]Abduljalil Mohamed, Mohamed Salah Hamdi, Sofiène Tahar:
Self-Organizing Map-Based Feature Visualization and Selection for Defect Depth Estimation in Oil and Gas Pipelines. IV 2015: 235-240 - [c145]Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. IWIL@LPAR 2015: 1-14 - [c144]Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar:
Formalizing Physics: Automation, Presentation and Foundation Issues. CICM 2015: 288-295 - [c143]Umair Siddique, Osman Hasan, Sofiène Tahar:
Towards the Formalization of Fractional Calculus in Higher-Order Logic. CICM 2015: 316-324 - [c142]Ons Seddiki, Cvetan Dunchev, Sanaz Khan Afshar, Sofiène Tahar:
Enabling Symbolic and Numerical Computations in HOL Light. CICM 2015: 353-358 - [c141]Valdivino Alexandre de Santiago Jr., Sofiène Tahar:
Time Performance Formal Evaluation of Complex Systems. SBMF 2015: 162-177 - [c140]Umair Siddique, Osman Hasan, Sofiène Tahar:
Formal modeling and verification of integrated photonic systems. SysCon 2015: 562-569 - [c139]Mathieu Nayrolles, Abdelwahab Hamou-Lhadj, Sofiène Tahar, Alf Larsson:
JCHARMING: A bug reproduction approach using crash traces and directed model checking. SANER 2015: 101-110 - [c138]Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal reliability analysis of wireless sensor network data transport protocols using HOL. WiMob 2015: 217-224 - [p1]Umair Siddique, Sofiène Tahar:
On the Formalization of Cardinal Points of Optical Systems. Formalisms for Reuse and Systems Integration 2015: 79-102 - [i7]Umair Siddique, Osman Hasan, Sofiène Tahar:
Towards the Formalization of Fractional Calculus in Higher-Order Logic. CoRR abs/1505.02140 (2015) - [i6]