Recherche - ENSTA Bretagne

	1 2 Suivant Dernière	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 41 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-01708026v1 Communication dans un congrès Yannick Deville, Alain Deville, Simon Rebeyrol, Ali Mansour. Analytical performance analysis for blind quantum source separation with time-varying coupling 23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia
	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-00662030v1 Chapitre d'ouvrage Christian Lexcellent, M. Lamine Boubakar, Christophe Bouvet, Sylvain Calloch. Modelling Shape Memory Alloy Behaviour under Proportional Loading and Anisothermal Conditions Mechanics, Models and Methods in Civil Engineering, Springer, Vol. 61/2012, pp. 163-174, 2012, Lecture Notes in Applied and Computational Mechanics, ⟨10.1007/978-3-642-24638-8⟩
	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-00497879v1 Article dans une revue Mostapha Tarfaoui, Papa-Birame Gning, Francis Collombet. Residual strength of damaged glass/epoxy tubular structures. Journal of Composite Materials, SAGE Publications, 2007, 41 (18), pp.2165-2182. ⟨10.1177/0021998307074144⟩
	hal-00497875v1 Article dans une revue Mostapha Tarfaoui, Papa-Birame Gning, Peter Davies, Francis Collombet. Scale and size Effects on Dynamic Response and Damage of Glass/Epoxy tubular structures Journal of Composite Materials, SAGE Publications, 2007, 41 (5), pp.547-558. ⟨10.1177/0021998306065287⟩
	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
	inria-00545185v1 Communication dans un congrès Vincent Gibiat, Abril Padilla, Valentin Emiya, Lionel Cros. Phase characterization of soundscapes 149th Meeting of the Acoustical Society of America, May 2005, Vancouver, Canada
	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-02280754v1 Communication dans un congrès Ramzi Mhenni, Sébastien Bourguignon, Marcel Mongeau, Jordan Ninin, Hervé Carfantan. Algorithme branch-and-bound pour l’optimisation exacte en norme l0 XXVIIème Colloque francophone de traitement du signal et des images (GRETSI 2019), Aug 2019, Lille, France
	hal-01699460v1 Article dans une revue Benjamin Vales, Steven Marguet, Romain Créac'Hcadec, Laurent Sohier, Jean-François Ferrero et al. Experimental & numerical study of the Tensile/Compression-Shear Arcan test under dynamic loading International Journal of Adhesion and Adhesives, Elsevier, 2017, 78, pp.135 - 147. ⟨10.1016/j.ijadhadh.2017.06.010⟩
	hal-01997557v1 Article dans une revue Benjamin Valès, Steven Marguet, Romain Créac’hcadec, Laurent Sohier, Jean-François Ferrero et al. An Experimental Method Dedicated to the Dynamic Characterization of Structural Adhesives under Drop Weight Conditions International Journal of Adhesion and Adhesives, Elsevier, 2019, 90, pp.106-125. ⟨10.1016/j.ijadhadh.2019.01.031⟩
	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⟩
	hal-01090060v1 Article dans une revue Valerie Garnier, Ivane Pairaud, Amandine Nicolle, Elena Alekseenko, Melika Baklouti et al. MENOR: A HIGH-RESOLUTION (1.2 KM) MODELING OF THE NORTH-WESTERN MEDITERRANEAN SEA ROUTINELY RUN BY THEPREVIMER OPERATIONAL FORECAST SYSTEM Mercator Ocean Quarterly Newsletter, Mercator Ocean, 2014, 49
	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-02052791v2 Article dans une revue Nadia Fourrié, Mathieu Nuret, Pierre Brousseau, Olivier Caumont, Alexis Doerenbecher et al. The AROME-WMED reanalyses of the first special observation period of the Hydrological cycle in the Mediterranean experiment (HyMeX) Geoscientific Model Development, European Geosciences Union, 2019, 12 (7), pp.2657-2678. ⟨10.5194/gmd-12-2657-2019⟩
	hal-02583457v1 Communication dans un congrès Ramzi Ben Mhenni, Sébastien Bourguignon, Jordan Ninin, Marcel Mongeau, Hervé Carfantan. Algorithme branch-and-bound pour l’optimisation exacte en norme L0 GRETSI, XXVIIème Colloque francophone de traitement du signal et des images, Aug 2019, Lille, France
	hal-02564594v1 Communication dans un congrès Ramzi Ben Mhenni, Sébastien Bourguignon, Marcel Mongeau, Jordan Ninin, Hervé Carfantan. Sparse Branch and Bound for Exact Optimization of L0-Norm Penalized Least Squares ICASSP 2020, IEEE International Conference on Acoustics, Speech and Signal Processing, May 2020, Barcelona, Spain. pp.ISBN: 978-1-5090-6632-2, ⟨10.1109/ICASSP40776.2020.9053870⟩
	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⟩
	1 2 Suivant Dernière	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 41 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