Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

12 Résultats
authFullName_s : Amine Raji
Page :
triés par

User context models : a framework to ease software formal verifications

 Amine Raji , Philippe Dhaussy
ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
Communication dans un congrès hal-00635904v1

Modèles orientés utilisateurs pour la vérification formelle en contexte industriel

 Amine Raji , Philippe Dhaussy
IDM'11, Jun 2011, Lille, France
Communication dans un congrès hal-00635763v1
Image document

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

 Philippe Dhaussy , Pierre-Yves Pillain , Stephen Creff , Amine Raji , Yves Le Traon et al.
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
Communication dans un congrès hal-00470523v1

Use Cases Modeling for Scalable Model-Checking

 Amine Raji , Philippe Dhaussy
APSEC'11, Dec 2011, Minh City, Vietnam
Communication dans un congrès hal-00636875v1

Automating Context Description for Software Formal Verification

 Amine Raji , Philippe Dhaussy , Bruno Aizier
Workshop MoDVVa, Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway
Communication dans un congrès hal-00569028v1

Automatic Formal Model Derivation from Use Cases

 Amine Raji , Philippe Dhaussy
6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau, 2010, France. pp.Non renseigne
Communication dans un congrès hal-00517270v1
Image document

From Requirements to Code Revisited

 Tewfik Ziadi , Xavier Blanc , Amine Raji
12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.228 - 235, ⟨10.1109/ISORC.2009.29⟩
Communication dans un congrès hal-00470512v1

Formal Extension of Use Cases for Context-Aware Verification

 Amine Raji , Philippe Dhaussy , Benoît Baudry
MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand
Communication dans un congrès hal-00635555v1
Image document

Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués

 Amine Raji
Génie logiciel [cs.SE]. Télécom Bretagne, Université de Bretagne-Sud, 2012. Français. ⟨NNT : ⟩
Thèse tel-00728431v1

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués

 Philippe Dhaussy , Frédéric Boniol , Jean-Charles Roger , Amine Raji , Yves Le Traon et al.
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
Article dans une revue hal-00744434v1

Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués

 Philippe Dhaussy , Pierre-Yves Pillain , Stephen Creff , Amine Raji , Yves Le Traon et al.
Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne
Communication dans un congrès hal-00517222v1
Image document

USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS

 Amine Raji , Philippe Dhaussy
12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
Communication dans un congrès hal-00471931v1
Page :