• Filtres
• Auteur : Nom complet  ×
• Tous  ×

18 résultats  enregistrer la recherche

 Rechercher

 Recherche avancée…  Recherche simple…

 

Champ de recherche par défaut (multicritères) 

• Champ de recherche par défaut (multicritères)
• Champ de recherche par défaut (multicritères) + texte intégral des PDF
• Titres
• Sous-titre
• Titre de l'ouvrage
• Titre du volume (Série)
• Résumé
• Texte intégral indexé des documents PDF
• Mots-clés
• Tous les identifiants du document
• Identifiant HAL du dépôt
• Langue du document (texte)
• Pays (Texte)
• Ville
• À paraître (true ou false)
• Auteur (multicritères)
• Auteur : Nom complet
• Auteur : Nom de famille
• Auteur : Prénom
• Auteur : Complément de nom, deuxième prénom
• Auteur : Organisme payeur
• Auteur : IdHal (chaîne de caractères)
• Auteur : Fonction
• Auteur : idHal numérique
• Auteur : Identifiant
• Auteur : Identifiant de l'organisme payeur
• Auteur : Identifiant de la structure
• Directeur de thèse
• Éditeur
• Éditeur scientifique
• Éditeur de la série
• Revues (multicritères)
• Revue : Éditeur
• Revue : Titre abrégé
• Revue : Titre
• Revue : Identifiant interne
• Revue : Date de début de publication
• Revue : ISSN électronique
• Revue : ISSN
• Revue : Éditeur
• Revue : Couleur dans SHERPA/RoMEO
• Revue : État dans le référentiel
• Colloque (multicritères)
• Colloque : Titre
• Colloque : Organisateur
• Colloque : date de début (Année)
• Colloque : date de fin (Année)
• Conférence invitée (oui/non)
• Projets ANR (multicritères)
• Projet ANR : Acronyme
• Projet ANR : Acronyme de l'appel à projet
• Projet ANR : Nom de l'appel à projet
• Projet ANR : Référence
• Projet ANR : Nom
• Projet ANR : Identifiant interne
• Projet ANR : État dans le référentiel
• Projets européens (multicritères)
• Projet européen : Acronyme
• Projet européen : Identifiant de l'appel à projet
• Projet européen : Référence
• Projet européen : Nom
• Projet européen : Date de fin
• Projet européen : Financement
• Projet européen : Date de début
• Projet européen : État dans le référentiel
• Projet européen : Identifiant interne
• Structure (multicritères)
• Structure : Acronyme
• Structure : Nom
• Structure : Code
• Structure : Pays
• Structure : Type
• Structure : État dans le référentiel
• Structure : Identifiant HAL de la structure
• Structure/équipe de recherche : Pays
• Structure/regroupement d'équipes : Pays
• Structure/laboratoire : Pays
• Structure/regroupement de laboratoires: Pays
• Structure/institution : Pays
• Structure/regroupement d'institutions: Pays
• Date de publication : année
• Date de mise en ligne : année
• Date d'écriture : année
• Date de modification du dépôt : année
• Date de dépôt : année
• Date de publication électronique : année
• Collection HAL (multicritères)
• Collection HAL : catégorie
• Collection HAL : Code
• Collection HAL : Nom
• Collection HAL : Identifiant interne
• Identifiant interne du contributeur/déposant
• Nom complet du contributeur/déposant
• Domaines
• Domaine primaire
• Domaine racine
• Sous-domaine niveau 1
• Sous-domaine niveau 2
• Sous-domaine niveau 3
• Statut du document
• Version du document
• Type de dépôt
• Type de document
• ISBN
• Numéro - référence
• Identifiant DOI
• Classification
• Audience
• Vulgarisation
• Comité de lecture - texte (oui ou non)
• Actes de colloque
• Référence interne
• Financement
• Collaborations

 

		Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page × Merci d'indiquer la raison de votre demande Annuler Envoyer la demande  Outils  Pour les 18 documents  Exporter XML-TEI BibTeX EndNote CSV PDF RTF  Export avancé...  Syndication RSS ATOM
	hal-00517293v1  Communication dans un congrès Philippe Dhaussy, Jean-Charles Roger, Olivier Habart. Mise en oeuvre d'observateurs temporisés pour la validation de logiciels temps réel Neptune'04, 2004, Paris, France
	hal-00517289v1  Communication dans un congrès Philippe Dhaussy, Jean-Charles Roger. Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les Modèles Journée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France
	hal-00517287v1  Communication dans un congrès Philippe Dhaussy, Jean-Charles Roger. Un assistant de preuve basé sur la technique des observateurs AFADL'06, 2006, Paris, France
	hal-00539805v1  Autre publication Jean-Charles Roger. Validation formelle de logiciels embarqués 2002
	hal-00517284v1  Communication dans un congrès Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol. Mise en oeuvre d'unités de preuve pour la vérification formelle de modèles Conf IDM'07, 2007, Toulouse, France. pp.101-116
	hal-00517290v1  Communication dans un congrès Jean-Charles Roger, Philippe Dhaussy. Implementation of testing automata for timed model validation Movep'04, 2004, Brussel, Belgium
	hal-00843139v1  Chapitre d'ouvrage Frederic Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Model-Based Analysis Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
	hal-00676640v1  Communication dans un congrès Philippe Dhaussy, Jean-Charles Roger, Luka Leroux, Frédéric Boniol. Context Aware Model Exploration with OBP tool to Improve Model-Checking ERTS 2012, Feb 2012, Toulouse, France
	hal-00636878v1  Communication dans un congrès Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger. Reducing State Explosion with Context Modeling for Model-Checking HASE'11, Nov 2011, Boca Ranton, United States
	hal-00862488v1  Chapitre d'ouvrage Frédéric Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Analyse à partir du modèle Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
	hal-00738735v1  Article dans une revue Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux. Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
	hal-00517223v1  Communication dans un congrès Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre-Yves Pillain, Jean-Charles Roger. AADL model transformation for formal verification 3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
	hal-00517288v1  Chapitre d'ouvrage Joël Champeau, Philippe Dhaussy, François Mekerke, Jean-Charles Roger. Model Management for Formal Validation Summer School MDD4DRES, Hermes, pp.149-174, 2006
	hal-00517286v1  Communication dans un congrès Philippe Dhaussy, Jean-Charles Roger, Hugue Bonnin, Eric Saves, Julien Honoré et al.  Experimentation of Timed Observers for Validation of an Avionics Software Conference ERTS'06, 2006, Toulouse, France
	hal-00517291v1  Communication dans un congrès Philippe Dhaussy, Jean-Charles Roger. An Experimentation of Real-Time Software Validation Technique With Timed Observers 2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France
	hal-00676423v1  Chapitre d'ouvrage Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol. Context Aware Model-Checking for Embedded Software Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012
	hal-00744434v1  Article dans une revue Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon et al.  Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
	hal-00517283v1  Article dans une revue Philippe Dhaussy, Jean-Charles Roger, Hugue Bonnin, Julien Honoré. Expérimentation de contextes de preuve et d'observateurs temporisés pour la validation d'un protocole avionique REE - Revue de l’électricité électronique, See, 2007, pp.51-59
		Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 18 documents  Exporter XML-TEI BibTeX EndNote CSV PDF RTF  Export avancé...  Syndication RSS ATOM