Filtrer vos résultats
- 36
- 1
- 31
- 4
- 2
- 37
- 1
- 6
- 2
- 8
- 6
- 4
- 1
- 4
- 1
- 1
- 3
- 24
- 13
- 35
- 1
- 1
- 1
- 1
- 1
- 37
- 11
- 10
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
triés par
|
Implementation of testing automata for timed model validationMovep'04, 2004, Brussel, Belgium
Communication dans un congrès
hal-00517290v1
|
|||
Vers la génération de modèles de sûreté de fonctionnementconférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne
Communication dans un congrès
hal-00517274v1
|
|||
|
|
Experimentation of Timed Observers for Avionics Models ValidationConference ERTS'06, Jan 2006, Toulouse, France
Communication dans un congrès
hal-02270437v1
|
||
Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les ModèlesJournée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France
Communication dans un congrès
hal-00517289v1
|
|||
Vers la gestion de la cohérence dans les processus multi-modèles métierCongrès francophone du management de projet, 2004, France
Communication dans un congrès
hal-00517292v1
|
|||
Automatic Formal Model Derivation from Use Cases6è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
|
|||
Model Management for Formal ValidationSummer School MDD4DRES, Hermes, pp.149-174, 2006
Chapitre d'ouvrage
hal-00517288v1
|
|||
Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logicielsSéminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France
Communication dans un congrès
hal-00517273v1
|
|||
Systèmes Informatiques de Confince, Objectifs Zéro-DéfautSystèmes Informatiques de Confince, Objectifs Zéro-Défaut, 2002, France. pp./
Communication dans un congrès
hal-00540746v1
|
|||
Extending translation from SDL to PromelaAtelier SéMo'07, 2001, Grenoble, France
Communication dans un congrès
hal-00517295v1
|
|||
Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiquesJournée ADA-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique, 2007, Brest, France
Communication dans un congrès
hal-00517224v1
|
|||
Partial Order Application for Software Formal VerificationConférence Embedded Real Time Software and Systems (ERTS'10), May 2010, Toulouse, France. pp.Non renseigne
Communication dans un congrès
hal-00517269v1
|
|||
Un langage de contexte de preuve pour la validation formelle de modèles logicielsconférences LMO'08 et CAL'08, Mar 2008, Montréal, Canada. pp.Non renseigne
Communication dans un congrès
hal-00517275v1
|
|||
Context Constraints Method for Software Formal VerificationESA Workshop on Avionics Data, Control and Software Systems (ADCSS), Nov 2009, Noordwijk, Netherlands
Communication dans un congrès
hal-00517272v1
|
|||
Description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèlesRevue Génie logiciel, 2008, France
Communication dans un congrès
hal-00517278v1
|
|||
AADL model transformation for formal verification3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
Communication dans un congrès
hal-00517223v1
|
|||
Un assistant de preuve basé sur la technique des observateursAFADL'06, 2006, Paris, France
Communication dans un congrès
hal-00517287v1
|
|||
Mise en oeuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarquésRevue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2007, 12 (5), pp.133-157. ⟨10.3166/isi.12.5.133-157⟩
Article dans une revue
istex
hal-00517282v1
|
|||
Un cadre conceptuel pour la modélisation multi points de vue de systèmes embarquésRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13, pp.79-110. ⟨10.3166/obj.13.2-3.79-110⟩
Article dans une revue
hal-00517281v1
|
|||
Experimentation of Timed Observers for Validation of an Avionics SoftwareConference ERTS'06, 2006, Toulouse, France
Communication dans un congrès
hal-00517286v1
|
|||
Modélisation de Contextes et Réduction d'Ordres-Partiel pour la Vérification Efficace de Systèmes SDLConfé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-00517271v1
|
|||
Using context descriptions and property definition patterns for software formal verificationICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France
Communication dans un congrès
hal-00517276v1
|
|||
Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avioniqueLa Revue de l'électricité et de l'électronique, 2007, pp.51-59
Article dans une revue
hal-00517283v1
|
|||
Mise en oeuvre d'observateurs temporisés pour la validation de logiciels temps réelNeptune'04, 2004, Paris, France
Communication dans un congrès
hal-00517293v1
|
|||
Mise en oeuvre d'unités de preuve pour la vérification formelle de modèlesConf IDM'07, 2007, Toulouse, France. pp.101-116
Communication dans un congrès
hal-00517284v1
|
|||
Réflexion pour un processus de validation de modèles logiciels6è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-00517267v1
|
|||
Trace Transformation Reuse to Guide Co-evolution of Models5th Int. Conference on Software and Data Technologies (ICSOFT'10), Jul 2010, Athens, Greece. pp.Non renseigne
Communication dans un congrès
hal-00517268v1
|
|||
Experience of an efficient and actual MDE process : design and verification of ATC onboard systemConférences on UML&FORMAL METHODS, Oct 2008, Kitakyushu-city, Japan
Communication dans un congrès
hal-00517277v1
|
|||
Points de vue et sémantiques ad hocAtelier SéMo'07, 2007, France. pp.Non renseigne
Communication dans un congrès
hal-00517285v1
|
|||
Object Framework for Mission Control5th World Multi-conference on Systemics, Cybernetics and Informatics, Jul 2001, United States
Communication dans un congrès
hal-00517297v1
|
- 1
- 2