| [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] |
| [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] |
| [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] |