Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings von Li, Yi, Tahar, Sofiène

Volltext

Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings von Barkaoui, Kamel, Boucheneb, Hanifa, Mili, Ali, Tahar, Sofiène

Volltext

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings von Carreno, Victor A, Munoz, Cesar A, Tahar, Sofiene

Volltext

Detection and sizing of metal-loss defects in oil and gas pipelines using pattern-adapted wavelets and machine learning von Layouni, Mohamed, Hamdi, Mohamed Salah, Tahar, Sofiène

Volltext

Dynamic dependability analysis of shuffle-exchange networks von Elderhalli, Yassmeen, Hasan, Osman, Tahar, Sofiène

Volltext

Task Scheduling in Big Data Platforms: A Systematic Literature Review von Soualhia, Mbarka, Khomh, Foutse, Tahar, Sofiène

Volltext

Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Volltext

Design space exploration for energy-efficient approximate Sobel filter von Aoun, Alain, Masadeh, Mahmoud, Tahar, Sofiène

Volltext

Formal reasoning about systems biology using theorem proving von Rashid, Adnan, Hasan, Osman, Siddique, Umair, Tahar, Sofiène

Volltext

On the Formalization of the Lebesgue Integration Theory in HOL von Mhamdi, Tarek, Hasan, Osman, Tahar, Sofiène

Volltext

Statistical Run-Time Verification of Analog Circuits in Presence of Noise and Process Variation von Narayanan, Rajeev, Seghaier, Ibtissem, Zaki, Mohamed H., Tahar, Sofiene

Volltext

Formal verification of stability and chaos in periodic optical systems von Siddique, Umair, Tahar, Sofiène

Volltext

Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation von Ahmad, Waqar, Hasan, Osman, Tahar, Sofiène

Volltext

A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design von Aijiao Cui, Chip-Hong Chang, Tahar, Sofiéne, Abdel-Hamid, Amr T

Volltext

A Formal Approach to Road Safety Assessment Using Traffic Conflict Techniques von Barhoumi, Oumaima, Zaki, Mohamed H., Tahar, Sofiene

Volltext

Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques von Lahiouel, Ons, Zaki, Mohamed H., Tahar, Sofiene

Volltext

A modeling and verification framework for optical quantum circuits von Beillahi, Sidi Mohamed, Mahmoud, Mohamed Yousri, Tahar, Sofiène

Volltext

Formalization of Reliability Block Diagrams in Higher-order Logic von Ahmed, Waqar, Hasan, Osman, Tahar, Sofiène

Volltext

Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation von Soualhia, Mbarka, Khomh, Foutse, Tahar, Sofiene

Volltext

Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks von Abdelghany, Mohamed, Tahar, Sofiene

Volltext