Skip to Main content Skip to Navigation

hal-01589479v1  Conference papers
Ning GeMarc PantelSilvano 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. LiS. P. ZhouS. H. WeiJ. Y. YangJ. 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. FuDaniel PopaZ. ZhaoSyed Asad HussainEmmanuel 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-02005843v1  Journal articles
Yiwei WangChristian GoguNicolas BinaudChristian BesJian 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 LiBoutaib DahhouGilles RouxJing YangCuixia 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 HuTeng ZhangZhi-Bin YangWai-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 XuLi ZhangNing GeXavier 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 ZhangHakki EresClaude BaronGuillaume AuriolMario 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-01285662v1  Journal articles
Kai HuTeng ZhangZhibin YangWei-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 YangKai HuDianfu MaJean-Paul BodeveixLei 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 JiangLuca GiuggioliAndrea PernaRamon EscobedoValentin 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 YangKai HuYong-Wang ZhaoDian-Fu MaJean-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-01740640v1  Conference papers
Ning GeArnaud DieumegardEric JennBruno d'AusbourgYamine 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