EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth

2014 IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2014

Volumn , Issue , 2014, Pages

  Hussain, Faraz ^a   Ramanathan, Arvind ^b   Pullum, Laura L ^b   Jha, Sumit K ^a  

^a UNIVERSITY OF CENTRAL FLORIDA   (United States)

^b OAK RIDGE NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; COMPUTATIONAL METHODS; DISEASE CONTROL; FORMAL SPECIFICATION; SAFETY ENGINEERING; SIMULATION PLATFORM; SPECIFICATION LANGUAGES;

ALGORITHMIC TECHNIQUES; COMPUTATIONAL MODEL; EPIDEMIOLOGICAL MODELS; MONITORING AND CONTROL; SAFETY CRITICAL APPLICATIONS; SPATIO-TEMPORAL PROPERTIES; STATISTICAL MODEL CHECKING; VERIFICATION-AND-VALIDATION;

MODEL CHECKING;

EID: 84908592876     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCABS.2014.6863924     Document Type: Conference Paper

References (29)

1. H Akaike. An information criterion (aic). Math Sci, 14(153):5-9, 1976.
2. Gary An, Qi Mi, Joyeeta Dutta-Moscato, and Yoram Vodovotz. Agent-based models in translational systems biology. Wiley Interdisciplinary Reviews: Systems Biology and Medicine, 1(2):159-171, 2009.
3. Marco Antoniotti, Alberto Policriti, Nadia Ugel, and Bud Mishra. Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics, 38(3):271-286, 2003.
4. Declan Butler. When google got flu wrong. Nature, 494(7436):155, 2013.
5. Edmund M Clarke, Orna Grumberg, and Doron A Peled. Model checking. MIT press, 1999.
6. Carlo A Furia, Dino Mandrioli, Angelo Morzenti, and Matteo Rossi. Modeling time in computing: a taxonomy and a comparative survey. ACM Computing Surveys (CSUR), 42(2):6, 2010.
7. Arup K Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, and Susmit Jha. Decision procedure based discovery of rare behaviors in stochastic differential equation models of biological systems. In Computational Advances in Bio and Medical Sciences (ICCABS), 2012 IEEE 2nd International Conference on, pages 1-6. IEEE, 2012.
8. Sander Greenland. Modeling and variable selection in epidemiologic analysis. American Journal of Public Health, 79(3):340-349, 1989.
9. Thomas Hérault, Richard Lassaigne, Frédéric Magniette, and Sylvain Peyronnet. Approximate probabilistic model checking. In Verification, Model Checking, and Abstract Interpretation, pages 73-84. Springer, 2004.
10. Tubao Ho, Trongdung Nguyen, DucDung Nguyen, and Saori Kawasaki. Visualization support for user-centered model selection in knowledge discovery and data mining. International Journal on Artificial Intelligence Tools, 10(04):691-713, 2001.
11. Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, and Susmit Jha. Parameter discovery for stochastic biological models against temporal behavioral specifications using an sprt based metric for simulated annealing. In Computational Advances in Bio and Medical Sciences (ICCABS), 2012 IEEE 2nd International Conference on, pages 1-6. IEEE, 2012.
12. Sumit K Jha, Edmund M Clarke, Christopher J Langmead, Axel Legay, André Platzer, and Paolo Zuliani. A bayesian approach to model checking biological systems. In Computational Methods in Systems Biology, pages 218-234. Springer, 2009.
13. Sumit K Jha and Christopher J Langmead. Exploring behaviors of stochastic differential equation models of biological systems using change of measures. BMC bioinformatics, 13(Suppl 5):S8, 2012.
14. Sumit K. Jha and Arvind Ramanathan. Quantifying uncertainty in epidemiological models. ASE/IEEE International Conference on BioMedical Computing (BioMedCom), 0:80-85, 2012.
15. Sumit Kumar Jha. Model validation and discovery for complex stochastic systems. PhD thesis, Carnegie Mellon University, 2010.
16. Susmit Jha, Rhishikesh Limaye, and Sanjit A Seshia. Beaver: Engineering an efficient smt solver for bit-vector arithmetic. In Computer Aided Verification, pages 668-674. Springer, 2009.
17. Kenneth S Kendler, Charles MacLean, Michael Neale, Ronald Kessler, Andrew Heath, and Lindon Eaves. The genetic epidemiology of bulimia nervosa. Am J Psychiatry, 148(12):1627-37, 1991.
18. Marta Kwiatkowska, Gethin Norman, and David Parker. Prism 4.0: Verification of probabilistic real-time systems. In Computer Aided Verification, pages 585-591. Springer, 2011.
19. Madhav Marathe and Anil Kumar S. Vullikanti. Computational epidemiology. Commun. ACM, 56(7):88-96, July 2013.
20. Donald McNeil. First U.S. Case of MERS Virus Is Found in Indiana Man Who Visited Mideast, 02 May, 2014. New York Times.
21. Gregory L Naber. The geometry of Minkowski spacetime: An introduction to the mathematics of the special theory of relativity, volume 92. Springer, 2012.
22. Jon Parker and Joshua M Epstein. A distributed platform for global-scale agent-based models of disease transmission. ACM Transactions on Modeling and Computer Simulation (TOMACS), 22(1):2, 2011.
23. A. Ramanathan, C.A. Steed, and L.L. Pullum. Verification of compartmental epidemiological models using metamorphic testing, model checking and visual analytics. In BioMedical Computing (BioMedCom), 2012 ASE/IEEE International Conference on, pages 68-73, 2012.
24. A Prasad Sistla, Miloy Žefran, Yao Feng, and Yue Ben. Timely monitoring of partially observable stochastic systems. In Proceedings of the 17th international conference on Hybrid systems: computation and control, pages 61-70. ACM, 2014.
25. Sumit Kumar Jha, Narsingh Deo, Justin Oh, Alvaro Velasquez, Faraz Hussain. Extreme-Scale Randomized Algorithms for Approximate Parameter Discovery in High-Dimensional Parameter Spaces. In First SIGPLAN Workshop on Probabilistic and Approximate Computing, Edinburgh, Scotland, 2014 (to appear.).
26. Prasanna Thati and Grigore Roşu. Monitoring algorithms for metric temporal logic specifications. Electronic Notes in Theoretical Computer Science, 113:145-162, 2005.
27. SR Srinivasa Varadhan. Large deviations and applications, volume 46. SIAM, 1984.
28. Abraham Wald. Sequential tests of statistical hypotheses. The Annals of Mathematical Statistics, 16(2):117-186, 1945.
29. Håkan LS Younes and Reid G Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In Computer Aided Verification, pages 223-235. Springer, 2002.