Statistical abstraction and model-checking of large heterogeneous systems-Reference-Cited by-同舟云学术

Statistical abstraction and model-checking of large heterogeneous systems

Published:2011-05-21 Issue:1 Volume:14 Page:53-72
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Basu Ananda,Bensalem Saddek,Bozga Marius,Delahaye Benoît,Legay Axel

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-011-0201-2.pdf

Reference33 articles.

1. ARINC 664, Aircraft Data Network, Part 7: Avionics Full Duplex Switched Ethernet (AFDX) Network (2005)

2. II61588: Precision clock synchronization protocol for networked measurement and control systems (2004)

3. Alur R., Dill D.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)

4. Basu, A., Bensalem, S., Bozga, M., Delahaye, B., Legay, A., Siffakis, E.: Verification of an afdx infrastructure using simulations and probabilities. In: Proceedings of 1st Conference on Runtime Verification (RV), Malta, 2010. Springer, Berlin (2010)

5. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: SEFM06, Pune, India. pp. 3–12 (2006)

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal modeling of industrial wireless applications;Energy Systems;2023-07-01

2. A framework for modeling and analyzing cyber-physical systems using statistical model checking;Internet of Things;2023-07

3. A Secure User-Centred Healthcare System: Design and Verification;From Data to Models and Back;2022

4. C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs;Model Checking Software;2021

5. 30 Years of Statistical Model Checking;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020