Recherche - ENSTA Bretagne

		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 30 résultats par page 50 résultats par page 100 résultats par page Merci d'indiquer la raison de votre demande Pour les 21 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	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⟩
	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-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-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-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-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-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-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-02924428v1 Chapitre d'ouvrage Didier Dubois, Luc Jaulin, Henri Prade. Thick sets, multiple-valued mappings, and possibility theory Vladik Kreinovich. Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas, 892, Springer, pp.101-109, 2021, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩
	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-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-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-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-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-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-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⟩
	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-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⟩
	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-02437410v1 Communication dans un congrès Didier Dubois, Luc Jaulin, Henri Prade. Ensembles épais, fonctions multivoques, et théorie des possibilités 28e Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2019), Nov 2019, Alès, France
	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⟩
		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 30 résultats par page 50 résultats par page 100 résultats par page Pour les 21 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

Type de document Réduire

Auteur Réduire

Domaine Réduire

Laboratoire Réduire

Langue Réduire

Type de dépôt Réduire

Année Réduire