Welcom

Amine RAJI

PhD Candidate in Software Engineering

lab : LISyC - ENSIETA

2 rue Froncois Vervy
29806 Brest FRANCE

Phone :
+33 - 2 - 98 - 34 - 89 - 26
Fax :
+33 - 2 - 98 - 34 - 87 - 46

Welcom To My Home Page

amine.raji@ensieta.fr

Presentation | Research Interest | Publications | Projects

Presenation

Since 2007, I'm an enginner in software develoment for embedded systems. I graduate from a French ‘Grande Ecole’ (Higher Institute of Education) named ENSIETA.

I had also a Master of Science Degree in "Software and Formal Methods" from Telecom-Bretagne of Brest. A prestigious graduate engineering school and international research centre in the field of information technologies.

Currently, I am a PhD student at the ENSIETA, I work under the responsibility of Dr. Philippe Dhaussy and my director is Dr. Yvon Kermarrec.

Research Interest

I am working on formal verification of software for embedded system. My PhD subject is about the integration formal verification techniques into software development processes. My research work is also related to the specification and formalization of system contexts and requirements for early verifications.

Publications

Publications of Amine Raji [rss]

2011
[9]	Use Cases Modeling for Scalable Model-Checking (Amine Raji, Philippe Dhaussy), In the 18th Asian Pacific Software Engineering Conference (APSEC), University of Science, VNU-HCM, Ho Chi Minh City, Vietnam, IEEE Computer Society, 2011. [bib]
[8]	Improving formal verification practicability through user oriented models and context-awareness (Amine Raji, Philippe Dhaussy), In the 8th International Workshop on Model-Driven Engineering, Verification and Validation (MODEVVA), Wellington, New Zealand, volume 4, 2011. [bib]
[7]	Modèles orientés utilisateurs pour la vérification formelle en contexte industriel (Amine Raji, Philippe Dhaussy), In 7èmes journées sur l'Ingénierie Dirigée par les Modèles (IDM), 2011. [bib]
2010
[6]	Automating Context Description for Software Formal Verification (Amine Raji, Philippe Dhaussy, Bruno Aizier), In MoDEVVa, Oslo Norway, 2010. [bib]
[5]	User Context Models: A framework to ease software formal verifications (Amine Raji, Philippe Dhaussy), In 12th International Conference on Enterprise Information Systems, Funchal Madeira (Portugal), volume 3, 2010. [bib]
[4]	Automatic Formal Model Derivation from Use Cases (Amine Raji, Philippe Dhaussy), In IDM, 2010. [bib]
[3]	Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués (Philippe Dhaussy, P Pillain, S Creff, Amine Raji, Y Le Traon), In 10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels, 2010. [bib]
2009
[2]	From Requirements to Code Revisited (Tewfik ZIADI, Xavier Blanc, Amine Raji), In IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. [bib] [doi]
[1]	Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (Philippe Dhaussy, P Pillain, S Creff, Amine Raji, Y Le Traon), In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, 2009. [bib] [pdf]