here - Home

Introduction to Formal verification (Information Technology Institute, Cairo, Egypt) (2007-2008-2009). • Masters TIMA Laboratory ... LANGUAGES: French (Fluent), English (Fluent), Arabic (Mother Tongue). REFERENCES. Furnished ... Page 2 ...
70KB taille 13 téléchargements 322 vues
AMR NABIL HELMY ADDRESS: 7 RUE DES ARTS, 38000 GRENOBLE

PHONE: (MOB.) (+33)629573794 (HOME)(+33)954922299 E-MAIL:[email protected]

EDUCATION

2006-current PhD Micro and nano electronics Grenoble INP. (TIMA laboratory) “Formal Verification of the Communications in Networks on Chips” The focal point of the research effort is the presentation of a formal meta-model to reason upon network specifications, from the transport to the data link layer of the OSI architectural model with emphasize on the network on chips. It was the extension of my master’s research. The model presented in this work is a general model enhanced to take into consideration more networks than the initial module.

2005-2006

Masters of Micro and Nano electronics, University Grenoble I, and Grenoble INP, Grenoble, France. “Formal Verification of Networks on Chips Case study: Hermes Network on Chip” The main objective of the master’s research effort was to analyze the HERMES network on chip in order to evaluate an initial formal model developed by a predecessor in the same research group. The aim of which was to evaluate the model and figure out the necessary enhancements.

2000- 2005

B.Sc. Of engineering, Department of Computer Engineering, Cairo University, EGYPT.

Engineering faculty of

PROFESSIONAL EXPERIENCE • • • • • • • •

PhD candidate TIMA Laboratory, Grenoble (September 2006- current) Teaching experience: VHDL classes for masters students (Grenoble INP, Grenoble, France), Introduction to Formal verification (Information Technology Institute, Cairo, Egypt) (2007-2008-2009) Masters TIMA Laboratory, Grenoble (February 2006 – July 2006) Internship at IBM, Cairo , Java development (2004) Internship Allied soft, Cairo (2003) Internship at ENSTINET networks administration, Cairo (2003) Internship at Nile on Line, Cairo ( 2002) Internship at IBM demo center, Cairo (2002)

Skills:

• Altera, Microsoft Office, Xillinx, Modelsim, Latex, Lisp. • Visual Basic, C/C++, Java, VHDL, PLC, C#, embedded C, LISP. • LANGUAGES: French (Fluent), English (Fluent), Arabic (Mother Tongue). REFERENCES Furnished upon request

PUBLICATIONS



“Executable formal specification and validation of NoC communication infrastructure” SBCCI’08, Dominique Borrione, Amr Helmy, Laurence Pierre, and Julien Schmaltz, September 1–4, 2008, Gramado, Brazil.



“Formal Verification of the Communications in Networks on Chips”, Amr Helmy and Laurence Pierre, Colloque National SoC-SiP08.



Chapter "Formal Verification" "Networks-on-Chips: Theory and Practice", Dominique Borrione, Amr Helmy, Laurence Pierre, and Julien Schmaltz, F.Gebali and H.Elmiligi editors, CRC Press (under press).



“A Formal Approach to the Verification of Networks on Chip”, Dominique Borrione, Amr Helmy, Laurence Pierre, and Julien Schmaltz ,Eurasip Journal on Embedded systems. (To appear).



“A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study Networkson-Chip”, Dominique Borrione, Amr Helmy, Laurence Pierre, and Julien Schmaltz, First International Symposium on networks on chip NOCS 2007.



« Vérification formelle des communications dans un réseau sur puce : HERMES à l’aide d’ACL2 », Amr HELMY, 8eme Journées doctorales en informatique et réseaux, JDIR'07.



"ACL2-based Verification of the Communications in the Hermes Network on Chip". Dominique Borrione, Amr Helmy, and Laurence Pierre, Proc. International workshop on Symbolic Methods and Applications to circuit design (SMACD'06)