Navigation

Mohamed Abdel Maksoud

About Me

I was born in Cairo, Egypt in 1983. I received a bachelor degree in the faculty of engineering, Cairo University in 2004. From October 2005 to August 2007 I did a master's program in computer science at Saarland University with a scholarship from the Internation Max-Plank Institute for Computer Science (IMPRS-CS). Currently I am working as research assistant at the chair of Prof. Dr. Wilhelm.

Research Interests

Embedded systems
Code generation from abstract VHDL models
Image processing & computer vision

Projects

Automatic Verification and Analysis of Complex Systems (AVACS)
Embedded Software Product-based Assurance (ES_PASS)

Publications

Conference Papers

An Abstraction-Aware Compiler for VHDL Models
M. A. Maksoud, M. Pister, and M. Schlickling
Proceedings of the International Conference on Computer Engineering and Systems (ICCES '09), 2009. [doi] [bib]

@INPROCEEDINGS{Maksoud09,
   author = {Mohamed Abdel Maksoud and Markus Pister and Marc Schlickling},
   title = {An Abstraction-Aware Compiler for {VHDL} Models},
   booktitle = {Proceedings of the International Conference on Computer Engineering and Systems (ICCES '09)},
   year = {2009},
   pages = {3--9},
   month = {December},
   publisher = {IEEE Computer Society},
   doi = {10.1109/ICCES.2009.5383321},
   isbn = {978-1-4244-5842-4}
 }

MSc Theses

Generating Code from Abstracted VHDL Models
M. A. Maksoud
Universität des Saarlandes, 2007. [bib]

@MASTERSTHESIS{Maksoud07,
   author = {Mohamed Abdel Maksoud},
   title = {Generating Code from Abstracted {VHDL} Models},
   school = {Universit\"at des Saarlandes},
   year = {2007},
   language = {english}
 }

Technical Reports

Semi-Automatic Derivation of Abstract Processor Models
M. Pister, M. Schlickling, and M. A. Maksoud
Technical Report, ES_PASS, 2009. [bib]

@TECHREPORT{Pister09,
   author = {Markus Pister and Marc Schlickling and Mohamed Abdel Maksoud},
   title = {Semi-Automatic Derivation of Abstract Processor Models},
   institution = {ES_PASS},
   year = {2009},
   type = {Reports of {ES_PASS}},
   month = {June},
 }

Teaching

Tutor at the course "Image Processing and Computer Vision", winter semester 2006.

Address

Mohamed Abdel Maksoud
Compiler Research Group
Universität des Saarlandes
Campus E1 3
Postfach 15 11 50
66041 Saarbrücken
Building E1 3, Room 404
Germany

Tel.: +49 - 681 - 302 5573
Fax : +49 - 681 - 302 3065
Mail: mohamed (at) cs (dot) uni-saarland (dot) de

Compiler Design Lab