Skip to Main content Skip to Navigation

Search by documents



...
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-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⟩
...
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 ZhangZhibin 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-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-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-01153717v1  Journal articles
Zhibin 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-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-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
...
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⟩