18 results  save search

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
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-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-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-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-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-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
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-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-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⟩