• Filtres
• Structure : Identifiant HAL de la structure  ×
• Tous  ×

20 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 production : 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 20 documents  Exporter XML-TEI BibTeX EndNote CSV PDF RTF  Export avancé...  Syndication RSS ATOM
	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-00672684v1  Communication dans un congrès Komlan Akpédjé Kedji, Minh Tu Ton That, Bernard Coulette, Redouane Lbath, Hanh Nhi Tran et al.  Towards a tool-supported approach for collaborative process modeling and enactment APSEC 2011, Dec 2011, Vietnam. pp.XX
	hal-00690923v1  Communication dans un congrès Hanh Nhi Tran, Christian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
	hal-00635897v1  Communication dans un congrès Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems IEEE SIES'10 - Symposium on industrial Embedded Systems, Jul 2010, Trento, Italy
	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-01182607v1  Communication dans un congrès Benoît Desrochers, Simon Lacroix, Luc Jaulin. Set-Membership Approach to the Kidnapped Robot Problem IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015), Sep 2015, Hamburg, Germany. 9p
	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-00635533v1  Communication dans un congrès Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. Application of partial-order methods for the verification of closed-loop SDL systems SAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03
	hal-00635653v1  Communication dans un congrès Philippe Dhaussy, Frédéric Boniol, Pierre-Yves Pillain, Xavier Dumas. Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Topcased days, Feb 2011, 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-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-01236504v1  Communication dans un congrès Benoît Desrochers, Simon Lacroix, Luc Jaulin. Set-Membership Approach to the Kidnapped Robot Problem IROS 2015, Sep 2015, Hambourg, Germany
	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-02269799v1  Article dans une revue J. Legendre, R. Créac'Hcadec, A. Tanguy, S. Hallais, Jean-Hubert Schmitt et al.  A unique combination of in-situ and multi-scale methodologies to analyze damage mechanisms of temper rolled zinc coating Materials Science and Engineering: A, Elsevier, 2019, 763, pp.138156. ⟨10.1016/j.msea.2019.138156⟩
	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-00847250v1  Article dans une revue Charles Audet, Pierre Hansen, Frédéric Messine, Jordan Ninin. The Small Octagons of MaximalWidth Discrete and Computational Geometry, Springer Verlag, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩
	inria-00555044v1  Communication dans un congrès Benoit Baudry, Pierre Bazex, Jean-Charles Dalbin, Philippe Dhaussy, Hubert Dubois et al.  Trust in MDE Components: the DOMINO Experiment SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
	hal-01194735v1  Article dans une revue Jordan Ninin, Frédéric Messine, Pierre Hansen. A reliable affine relaxation method for global optimization 4OR: A Quarterly Journal of Operations Research, Springer Verlag, 2015, 13 (3), pp.247-277. ⟨10.1007/s10288-014-0269-0⟩
	hal-00517282v1  Article dans une revue Philippe Dhaussy, Frédéric Boniol. Mise en oeuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2007, 12 (5), pp.133-157. ⟨10.3166/isi.12.5.133-157⟩
	hal-00517281v1  Article dans une revue Theurer Wolfgang, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti. Un cadre conceptuel pour la modélisation multi points de vue de systèmes embarqués Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13, pp.79-110. ⟨10.3166/obj.13.2-3.79-110⟩
		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 20 documents  Exporter XML-TEI BibTeX EndNote CSV PDF RTF  Export avancé...  Syndication RSS ATOM