Skip to Main content Skip to Navigation
  1. Search


...
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
...
insu-02612469v1  Journal articles
L. Y. Li, S. P. Zhou, S. H. Wei, J. Y. Yang, J. A. Sauvaud et al.  The Day‐night Difference and Geomagnetic Activity Variation of Energetic Electron Fluxes in Region of South Atlantic Anomaly
Space Weather: The International Journal of Research and Applications, American Geophysical Union (AGU), 2020, 18 (9), pp.e2020SW002479. ⟨10.1029/2020SW002479⟩
...
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⟩
...
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-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-02955653v1  Conference papers
Zetao Li, Boutaib Dahhou, Gilles Roux, Jing Yang, Cuixia Zhang. Sensor and Actuator Fault Isolation Using Parameter Interval based Method for Nonlinear Dynamic Systems
International Workshop on Principles of Diagnosis ( DX ) 2010, Oct 2010, Portland, United States. 7p
...
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-02485780v1  Journal articles
Rongfei Xu, Li Zhang, Ning Ge, Xavier Blanc. Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints
International Journal of Software Engineering and Knowledge Engineering, World Scientific Publishing, 2018, 28 (11n12), pp.1575-1595. ⟨10.1142/S0218194018400181⟩
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-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-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-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-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-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-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-02924040v1  Journal articles
Jian Zhou, Lian-Yu Zheng, Yiwei Wang, Christian Gogu. A Multistage Deep Transfer Learning Method for Machinery Fault Diagnostics Across Diverse Working Conditions and Devices
IEEE Access, IEEE, 2020, 8, pp.80879-80898. ⟨10.1109/ACCESS.2020.2990739⟩
...
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-02495500v1  Journal articles
W.Y. Li, D. Graham, Yu Khotyaintsev, A. Vaivads, M. André et al.  Electron Bernstein waves driven by electron crescents near the electron diffusion region
Nature Communications, Nature Publishing Group, 2020, 11 (1), ⟨10.1038/s41467-019-13920-w⟩

CONTACT

scd.ao@univ-tlse3.fr