Fluid Model-Checking in UPPAAL for Covid-19-Reference-Cited by-同舟云学术

Fluid Model-Checking in UPPAAL for Covid-19

Published:2020 Issue: Volume: Page:385-403
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
language:
Short-container-title:

Author:

Jensen Peter G.,Jørgensen Kenneth Y.,Larsen Kim G.,Mikučionis Marius,Muñiz Marco,Poulsen Danny B.

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-61362-4_22

Reference8 articles.

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

2. Lecture Notes in Computer Science;L Bortolussi,2012

3. David, A., Larsen, K.G., Legay, A., Mikučionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397–415 (2015)

4. Jensen, P.G., Jørgensen, K.Y., Larsen, K.G., Mikucionis, M., Muñiz, M., Poulsen, D.B.: Fluid models in uppaal for covid-19 - full models. https://github.com/DEIS-Tools/uppaal-models/tree/master/CaseStudies/Covid-19

5. Kermack, W.O., McKendrick, A.G.: Contributions to the mathematical theory of epidemics–I. Bull. Math. Biol. 53(1), 33–55 (1991)

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

1. Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods;International Journal on Software Tools for Technology Transfer;2022-04-10

2. Importance Splitting in Uppaal;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022

3. Efficient Estimation of Agent Networks;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022

4. SARS-CoV-2 outbreaks on Danish mink farms and mitigating public health interventions;European Journal of Public Health;2021-10-08

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