• Filters
• Structure: Internal structure identifier  ×
• All  ×

18 results  save search

 Search

 Advanced Search…  Simple search…

 

Default search field (multi-criteria) 

• Default search field (multi-criteria)
• Default search field (multi-criteria) + PDF full text
• Titles
• Subtitle
• Work title
• hal_serie_t
• Abstract
• Full text of PDF document
• Keywords
• All document identifiers
• HAL submission identifier
• Language of document (text)
• Country (Text)
• City
• hal_inPress_bool
• Author (multi-criteria)
• Author: Full name
• Author: Last name
• Author: First name
• Author: middle name
• Author: funding institution
• Author: IdHal (string)
• Author: function
• Author: idHal (integer)
• Author: Identifier
• Author: funding institution identifier
• Author: Structure identifier
• Thesis director
• Publisher
• Scientific editor
• Series editor
• Journals (multi-criteria)
• Journal: Publisher
• Journal: Abbreviated title
• Journal: Title
• Journal: Internal identifier
• Journal: beginning publication date
• Journal: online ISSN
• Journal: ISSN
• Journal: Publisher
• Journal: SHERPA/RoMEO color
• Journal: referential status
• Conference (multi-criteria)
• Conference: Title
• Conference: Organiser
• Conference: beginning date (Year)
• Conference: end date (Year)
• Invited communication (yes/no)
• ANR project (multi-criteria)
• ANR project: Acronym
• ANR project: Call Acronym
• ANR project: Project call name
• ANR project: Reference
• ANR project: Name
• ANR project: Internal identifier
• ANR project: Referential Status
• European project (multi-criteria)
• European project: Acronym
• European project: Call identifier
• European project: Reference
• European project: Name
• European project: end date
• European project: Funding
• European project: beginning date
• European project: Referential status
• European project: Internal identifier
• Structure (multi-criteria)
• Structure: Acronym
• Structure: Name
• Structure: Code
• Structure: Country
• Structure: Type
• Structure: Referential status
• Structure: Internal structure identifier
• Structure/research team: Country
• Structure/department: Country
• Structure/laboratory: Country
• Structure/group of departments: State
• Structure/institution: Country
• Structure/group of institutions: Country
• Publication date: year
• Release date: year
• Writing date: year
• Date modified: year
• Submission Date: year
• Online Publication date: year
• HAL Collection (multi-criteria)
• HAL Collection: category
• HAL Collection: Code
• HAL Collection: Name
• HAL Collection: Internal identifier
• Contributor/author Internal identifier
• Contributor/author Full name
• Domains
• Primary domain
• Root domain
• Sub-domain level 1
• Sub-domain level 2
• Sub-domain level 3
• Status of document
• Document version
• Submission type
• Document type
• ISBN
• Number - reference
• Identifier: DOI
• Classification
• Audience
• Vulgarization
• Peer reviewing - text (yes or no)
• Conference proceedings
• Internal reference
• Funding
• Collaborations

 

		Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page × Merci d'indiquer la raison de votre demande Annuler Envoyer la demande  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM
	hal-01740640v1  Conference papers Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït-Ameur. Formal development process of safety critical embedded human machine interface systems TASE (11th International Symposium on Theoretical Aspects of Software Engineering), Sep 2017, Sophia Antipolis, France. pp. 1-8
	hal-02046029v1  Conference papers Jian Fu, Jean-Charles Maré, Yongling Fu. Incremental Modeling and Simulation of Mechanical Power Transmission for More Electric Aircraft Flight Control Electromechanical Actuation System Application ASME 2016 International Mechanical Engineering Congress and Exposition, Nov 2016, Phoenix, United States. ⟨10.1115/IMECE2016-66436⟩
	hal-01095002v1  Journal articles Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi et al.  From AADL to timed abstract state machine: a certified model transformation Journal of Systems and Software, Elsevier, 2014, Journal of Systems and Software, pp.20
	hal-01153717v1  Journal articles Zhi-Bin Yang, Kai Hu, Yong-Wang Zhao, Dian-Fu Ma, Jean-Paul Bodeveix. Verification of AADL Models with Timed Abstract State Machines Journal of Software, Science in China Press, 2015, vol. 26 (n° 2), pp. 202-222
	hal-02056584v1  Journal articles Jian Fu, Jean-Charles Maré, Yongling Fu. Modelling and simulation of flight control electromechanical actuators with special focus on model architecting, multidisciplinary effects and power flows Chinese Journal of Aeronautics, Elsevier, 2017, 30 (1), pp.47-65. ⟨10.1016/j.cja.2016.07.006⟩
	hal-02046031v1  Journal articles Jian Fu, Jean-Charles Maré, Liming Yu, Yongling Fu. Multi-level virtual prototyping of electromechanical actuation system for more electric aircraft Chinese Journal of Aeronautics, Elsevier, 2018, 31 (5), pp.892-913
	hal-02005843v1  Journal articles Yiwei Wang, Christian Gogu, Nicolas Binaud, Christian Bes, Jian Fu. A cost driven predictive maintenance policy for structural airframe maintenance Chinese Journal of Aeronautics, Elsevier, 2019, 33 (3), pp.1242-1257
	hal-01153777v1  Journal articles Kai Hu, Teng Zhang, Zhi-Bin Yang, Wai-Tek Tsai. Simulation of real-time systems with clock calculus Simulation Modelling Practice and Theory, Elsevier, 2015, vol. 51, pp. 69-86. ⟨10.1016/j.simpat.2014.10.010⟩
	hal-01841904v1  Journal articles Xinwei Zhang, Hakki Eres, Claude Baron, Guillaume Auriol, Mario Kossmann. Replacing target setting by value models in the ‘house of quality’ for value-based requirements specifications Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture, SAGE Publications, 2015, 229 (11), pp.2035 - 2046. ⟨10.1177/0954405414540296⟩
	hal-01589479v1  Conference papers Ning Ge, Marc Pantel, Silvano Dal Zilio. Formal Verification of User-Level Real-Time Property Patterns 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia Antipolis, France. 8p
	hal-01691014v1  Journal articles Li Jiang, Luca Giuggioli, Andrea Perna, Ramon Escobedo, Valentin Lecheval et al.  Identifying influential neighbors in animal flocking PLoS Computational Biology, Public Library of Science, 2017, 13 (12), pp.e1005822. ⟨10.1371/journal.pcbi.1005822⟩
	hal-01285662v1  Journal articles Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai. Exploring AADL verification tool through model transformation Journal of Systems Architecture, Elsevier, 2015, 61 (3-4), pp.141-156. ⟨10.1016/j.sysarc.2015.02.003⟩
	hal-02350616v1  Journal articles Ming-Hua Song, Ning Zong, Jing Jiang, Pei-Li Shi, Xian-Zhou Zhang et al.  Nutrient-induced shifts of dominant species reduce ecosystem stability via increases in species synchrony and population variability Science of the Total Environment, Elsevier, 2019, 692, pp.441-449. ⟨10.1016/j.scitotenv.2019.07.266⟩
	hal-01998150v1  Journal articles Dongmei Dong, Wenwen Wang, Aline Rougier, Antoine Barnabé, Guobo Dong et al.  Lithium trapping as a degradation mechanism of the electrochromic properties of all-solid-state WO3//NiO devices Journal of Materials Chemistry C, Royal Society of Chemistry, 2018, 6 (37), pp.9875-9889. ⟨10.1039/c8tc01372a⟩
	hal-02393390v1  Preprints, Working Papers, ... Carine Babusiaux, Maria Bergemann, Adam Burgasser, Sara Ellison, Daryl Haggard et al.  The Detailed Science Case for the Maunakea Spectroscopic Explorer, 2019 edition 2019
	hal-01364792v1  Journal articles Liu Yang, Xuejun Zhang, Xiangmin Guan, Daniel Delahaye. Adaptive sensitivity decision based path planning algorithm for unmanned aerial vehicle with improved particle swarm optimization Aerospace Science and Technology, Elsevier, 2016, 58, pp. 92-102. ⟨10.1016/j.ast.2016.08.017⟩
	hal-01366808v1  Journal articles Yang Liu, Xuejun Zhang, Xiangmin Guan, Daniel Delahaye. Potential Odor Intensity Grid Based UAV Path Planning Algorithm with Particle Swarm Optimization Approach Mathematical Problems in Engineering, Hindawi Publishing Corporation, 2016, 2016, ⟨10.1155/2016/7802798⟩
	hal-01976910v1  Journal articles B. Fu, Daniel Popa, Z. Zhao, Syed Asad Hussain, Emmanuel Flahaut et al.  Wavelength tunable soliton rains in a nanotube-mode locked Tm-doped fiber laser Applied Physics Letters, American Institute of Physics, 2018, 113 (19), pp.193102. ⟨10.1063/1.5047492⟩
		Sort  Relevance  Author A→Z  Author Z→A  Title A→Z  Title Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Number 30 results per page 50 results per page 100 results per page  Tools  o  Export XML-TEI BibTeX EndNote CSV PDF RTF  Advanced export...  Syndicated feeds RSS ATOM