المؤتمرات الأكاديمية


الأوراق العلميةالسنةإسم المؤتمرالرابط الالكتروني
FPGA Hardware of the LSB Steganography Method2012the IEEE International Conference on Computer, Information and Telecommunication Systems (CITS 2012) زيارة الرابط
Relational Database Approach for Execution Trace Analysis2012the IEEE International Conference on Computer, Information and Telecommunication Systems (CITS 2012) زيارة الرابط
A Methodology for Distributed Virtual Memory Improvement2011The Informatics Engineering and Information Science (ICIEIS 2011) زيارة الرابط
Image Steganography Optimization Technique 2011Springer LNICST, First International Joint Conference, SPIT 2011 and IPC 2011, Signal Processing and Information Technology زيارة الرابط
An Automated SAT Encoding-Verification Approach for Efficient Model Checking2010in Proc. of the 22nd International Conference on Microelectronics (ICM 2010) زيارة الرابط
Fault Tolerance and Security Issues in MPLS Networks2010IProceedings of the 10th WSEAS international conference on Applied computer science زيارة الرابط
MDGs Reduction Technique Based on the HOL Theorem Prover2010The 40th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2010) زيارة الرابط
SAT Based Model Checking for MDG Models2010The 8th IEEE International NEWCAS Conference زيارة الرابط
LCF-style for Secure Verification Platform based on Multiway Decision Graphs2009In Proceedings of the 2nd Conference Internationale sur linformatique et ses Applications (CIIA 2009) زيارة الرابط
Processing APL Properties to Generate Verification-Ready MDG Model2009IEEE International Conference on Microelectronics (ICM’09) زيارة الرابط
Reliability of Recursive Concentrator Structure2009IEEE Symposium on Industrial Electronics & Applications Languages (IEEE ISIEA 2009) زيارة الرابط
The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover2009Languages for Formal Specification and Verification, Forum on Specification & Design Languages (IEEE FDL 2008) زيارة الرابط
A New Approach for the Construction of Multiway Decision Graphs20085th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), Lecture Notes in Computer Science زيارة الرابط
LCF-style Platform based on Multiway Decision Graphs200817th Workshop on Functional and (Constraint) Logic Programming (WFLP 2008) زيارة الرابط
Multiway Decision Graphs Reduction Approach based on the HOL Theorem Prover2008Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008), The British Computer Society زيارة الرابط
Reachability Analysis using Multiway Decision Graph in the HOL Theorem Prover2008ACM Symposium on Applied Computing (ACM SAC 2008) زيارة الرابط
The MDG-HOL Platform for Automatic Verification200810th Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI 2008) زيارة الرابط
A High Level Reachability Analysis using Multiway Decision Graph in the HOL Theorem Prover2007International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007): B-Track Proceedings زيارة الرابط
High Level Reduction Technique for Multiway Decision Graphs Based Model Checking2007First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007) زيارة الرابط
Integrating SAT with Multiway Decision Graphs for Efficient Model Checking2007IEEE International Conference on Microelectronics (ICM 2007) زيارة الرابط
Towards First-Order Symbolic Trajectory Evaluation2007The 37th International Symposium on Multiple-Valued Logic (ISMVL 2007) زيارة الرابط
Embedding of MDG Directed Formulae in HOL Theorem Prover20069th Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI 2006) زيارة الرابط