Philippe Dhaussy

Discipline

Sciences de l'information et de la communication (8)

Type de document

Colloques et conférences (8) Livres et chapitres d'ouvrages (1)

Co-auteur

Date

Source

Mot-clé

Science (9) Engineering (9) Science (9) science (8) information (8) ingéniérie (8) simulation (7) Language (7) modèle (6) Context (6) Example (6) papier (5) environnement (5) Description and travel (5) Paper (5) Nature and nurture (5) Modeling (5) Euthenics (5) Ecology (5) Adaptation (Biology) (5) Use (5) logiciel (4) abords (agglomération) (4) Software (4) Cases (4) Work (4) Robots (4) Property (4) Machine theory (4) Language and languages (4)

Documents écrit par Philippe Dhaussy (9) | parle de Philippe Dhaussy (0)

Use Cases Modeling for Scalable Model-Checking
Amine Raji et al. (5 déc. 2011)
Reducing State Explosion with Context Modeling for Model-Checking
Philippe Dhaussy et al. (10 nov. 2011)
Formal Extension of Use Cases for Context-Aware Verification
Amine Raji et al. (17 oct. 2011)
Modèles orientés utilisateurs pour la vérification formelle en contexte industriel
Amine Raji et al. (7 juin 2011)
Application of partial-order methods for the verification of closed-loop SDL systems
Xavier Dumas et al. (21 mars 2011)
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
Philippe Dhaussy et al. (8 févr. 2011)
Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems
Xavier Dumas et al. (7 juil. 2010)
User context models : a framework to ease software formal verifications
Amine Raji et al. (8 juin 2010)
Model integration for formal qualification of timing-aware software data acquisition components
Jean-Philippe Babau et al. (2010)