MODELLING AND VERIFICATION OF PIPELINED MICRO-ARCHITECTURES: FUNCTIONAL APPROACH
Merniz, S., Benmohammed, M.
Published in International journal of computers & applications (01.01.2010)
Published in International journal of computers & applications (01.01.2010)
Get full text
Journal Article
Modelling and Verification of Pipelined Micro-Architectures: Functional Approach
Merniz, S., Benmohammed, M.
Published in International journal of computers & applications (01.01.2010)
Published in International journal of computers & applications (01.01.2010)
Get full text
Journal Article
ASIC generation from high-level specification
Benmohammed, M., Merniz, S.
Published in 2004 IEEE International Conference on Industrial Technology, 2004. IEEE ICIT '04 (2004)
Published in 2004 IEEE International Conference on Industrial Technology, 2004. IEEE ICIT '04 (2004)
Get full text
Conference Proceeding
S-TDMA: A New MAC Protocol for Wireless Sensor Networks
Boulfekhar, S., Bouallouche, L., Benmohammed, M.
Published in 2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications (01.10.2012)
Published in 2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications (01.10.2012)
Get full text
Conference Proceeding
The application of high-level synthesis techniques for the generation of pipelined reprogrammable microcontrollers
Benmohammed, M., Rahmoune, A., Kission, P.
Published in ICECS 2000. 7th IEEE International Conference on Electronics, Circuits and Systems (Cat. No.00EX445) (2000)
Published in ICECS 2000. 7th IEEE International Conference on Electronics, Circuits and Systems (Cat. No.00EX445) (2000)
Get full text
Conference Proceeding
Reprogrammable Controller Design From High-Level Specification
M. Benmohammed, M. Bourahla, S. Merniz
Published in Journal of systemics, cybernetics and informatics (01.10.2003)
Get full text
Published in Journal of systemics, cybernetics and informatics (01.10.2003)
Journal Article
A Methodology for the Formal Verification of RISC Microprocessors A Functional Approach
Merniz, S., Benmohammed, M.
Published in 2007 IEEE/ACS International Conference on Computer Systems and Applications (01.05.2007)
Published in 2007 IEEE/ACS International Conference on Computer Systems and Applications (01.05.2007)
Get full text
Conference Proceeding
Securing Encryption Key Distribution in WLAN via QKD
Djellab, R., Benmohammed, M.
Published in 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (01.10.2012)
Published in 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (01.10.2012)
Get full text
Conference Proceeding
Vulnerabilities of two recently RFID authentication protocols
Chikouche, N., Cherif, F., Benmohammed, M.
Published in 2012 IEEE International Conference on Complex Systems (ICCS) (01.11.2012)
Published in 2012 IEEE International Conference on Complex Systems (ICCS) (01.11.2012)
Get full text
Conference Proceeding
Optimisation the real time implementation of the Viola & Jones face detection algorithm on RISC processor
Benkiniouar, M, Benmohammed, M
Published in 2010 XIth International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SM2ACD) (01.10.2010)
Published in 2010 XIth International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SM2ACD) (01.10.2010)
Get full text
Conference Proceeding
A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach
Merniz, S., Benmohammed, M.
Published in Fifth International Conference on Information Technology: New Generations (itng 2008) (01.04.2008)
Published in Fifth International Conference on Information Technology: New Generations (itng 2008) (01.04.2008)
Get full text
Conference Proceeding
Discrete Event Simulation of Embedded Systems from Graphical Notations
Boutekkouk, F., Benmohammed, M.
Published in 2010 International Conference on Intelligent Systems, Modelling and Simulation (01.01.2010)
Published in 2010 International Conference on Intelligent Systems, Modelling and Simulation (01.01.2010)
Get full text
Conference Proceeding
UML Modeling and Formal Verification of Control/Data Driven Embedded Systems
Boutekkouk, F., Benmohammed, M.
Published in 2009 14th IEEE International Conference on Engineering of Complex Computer Systems (01.06.2009)
Published in 2009 14th IEEE International Conference on Engineering of Complex Computer Systems (01.06.2009)
Get full text
Conference Proceeding
Maude- based design space exploration of embedded systems
Boutekkouk, F., Benmohammed, M.
Published in 2008 International Conference on Microelectronics (01.12.2008)
Published in 2008 International Conference on Microelectronics (01.12.2008)
Get full text
Conference Proceeding
Hierarchical Evolution of Digital Combinational Circuits
Hadjam, F.Z., Benmohammed, M.
Published in 2006 2nd International Conference on Information & Communication Technologies (2006)
Published in 2006 2nd International Conference on Information & Communication Technologies (2006)
Get full text
Conference Proceeding