{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T04:35:09Z","timestamp":1781238909912,"version":"3.54.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319111636","type":"print"},{"value":"9783319111643","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11164-3_18","type":"book-chapter","created":{"date-parts":[[2014,9,12]],"date-time":"2014-09-12T07:49:11Z","timestamp":1410508151000},"page":"215-230","source":"Crossref","is-referenced-by-count":47,"title":["Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Geist","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kristin Y.","family":"Rozier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Johann","family":"Schumann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: Real-time Logics: Complexity and Expressiveness. In: LICS, pp. 390\u2013401. IEEE Computer Society Press (1990)","DOI":"10.21236\/ADA323441"},{"key":"18_CR2","unstructured":"Chavira, M., Darwiche, A.: Compiling Bayesian networks with local structure. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI), pp. 1306\u20131312 (2005)"},{"issue":"3","key":"18_CR3","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/765568.765570","volume":"50","author":"A. Darwiche","year":"2003","unstructured":"Darwiche, A.: A differential approach to inference in Bayesian networks. Journal of the ACM\u00a050(3), 280\u2013305 (2003)","journal-title":"Journal of the ACM"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Darwiche, A.: Modeling and reasoning with Bayesian networks. In: Modeling and Reasoning with Bayesian Networks (2009)","DOI":"10.1017\/CBO9780511811357"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/10722468_19","volume-title":"SPIN Model Checking and Software Verification","author":"D. Drusinsky","year":"2000","unstructured":"Drusinsky, D.: The temporal rover and the ATG rover. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 323\u2013330. Springer, Heidelberg (2000)"},{"key":"18_CR6","unstructured":"Ippolito, C., Espinosa, P., Weston, A.: Swift UAS: An electric UAS research platform for green aviation at NASA Ames Research Center. In: CAFE EAS IV (April 2010)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Johnson, S., Gormley, T., Kessler, S., Mott, C., Patterson-Hine, A., Reichard, K., Philip Scandura, J.: System Health Management: with Aerospace Applications. Wiley & Sons (2011)","DOI":"10.1002\/9781119994053"},{"key":"18_CR8","unstructured":"Majzoobi, M., Pittman, R.N., Forin, A.: gNOSIS: Mining FPGAs for verification (2011)"},{"issue":"5","key":"18_CR9","doi-asserted-by":"publisher","first-page":"874","DOI":"10.1109\/TSMCA.2010.2052037","volume":"40","author":"O.J. Mengshoel","year":"2010","unstructured":"Mengshoel, O.J., Chavira, M., Cascio, K., Poll, S., Darwiche, A., Uckun, S.: Probabilistic model-based diagnosis: An electrical power system case study. IEEE Trans. on Systems, Man and Cybernetics, Part A: Systems and Humans\u00a040(5), 874\u2013885 (2010)","journal-title":"IEEE Trans. on Systems, Man and Cybernetics, Part A: Systems and Humans"},{"issue":"3","key":"18_CR10","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10009-011-0198-6","volume":"14","author":"P.O. Meredith","year":"2012","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Ro\u015fu, G.: An overview of the mop runtime verification framework. International Journal on Software Tools for Technology Transfer\u00a014(3), 249\u2013289 (2012)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/2.362628","volume":"28","author":"D. Musliner","year":"1995","unstructured":"Musliner, D., Hendler, J., Agrawala, A.K., Durfee, E., Strosnider, J.K., Paul, C.J.: The challenges of real-time AI. IEEE Computer\u00a028, 58\u201366 (1995), citeseer.comp.nus.edu.sg\/article\/musliner95challenges.html","journal-title":"IEEE Computer"},{"key":"18_CR12","unstructured":"Pearl, J.: A constraint propagation approach to probabilistic reasoning. In: UAI, pp. 31\u201342. AUAI Press (1985)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Pellizzoni, R., Meredith, P., Caccamo, M., Rosu, G.: Hardware runtime monitoring for dependable COTS-based real-time embedded systems. In: RTSS, pp. 481\u2013491 (2008)","DOI":"10.1109\/RTSS.2008.43"},{"issue":"4","key":"18_CR14","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s11334-013-0223-x","volume":"9","author":"L. Pike","year":"2013","unstructured":"Pike, L., Wegmann, N., Niller, S., Goodloe, A.: Copilot: monitoring embedded systems. Innovations in Systems and Software Engineering\u00a09(4), 235\u2013255 (2013)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Reinbacher, T., Rozier, K.Y., Schumann, J.: Temporal-logic based runtime observer pairs for system health management of real-time systems. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol.\u00a08413, pp. 357\u2013372. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-642-54862-8_24"},{"issue":"2","key":"18_CR16","first-page":"1","volume":"9","author":"J. Schumann","year":"2013","unstructured":"Schumann, J., Mbaya, T., Mengshoel, O.J., Pipatsrisawat, K., Srivastava, A., Choi, A., Darwiche, A.: Software health management with Bayesian networks. Innovations in Systems and Software Engineering\u00a09(2), 1\u201322 (2013)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Schumann, J., Rozier, K.Y., Reinbacher, T., Mengshoel, O.J., Mbaya, T., Ippolito, C.: Towards real-time, on-board, hardware-supported sensor and software health management for unmanned aerial systems. In: Proceedings of the 2013 Annual Conference of the Prognostics and Health Management Society (PHM 2013), pp. 381\u2013401 (October 2013)","DOI":"10.36001\/phmconf.2013.v5i1.2275"},{"issue":"4","key":"18_CR18","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s11334-013-0212-0","volume":"9","author":"A.N. Srivastava","year":"2013","unstructured":"Srivastava, A.N., Schumann, J.: Software health management: a necessity for safety critical systems. Innovations in Systems and Software Engineering\u00a09(4), 219\u2013233 (2013)","journal-title":"Innovations in Systems and Software Engineering"},{"issue":"3","key":"18_CR19","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/s10703-011-0139-8","volume":"41","author":"D. Tabakov","year":"2012","unstructured":"Tabakov, D., Rozier, K.Y., Vardi, M.Y.: Optimized temporal monitors for SystemC. Formal Methods in System Design\u00a041(3), 236\u2013268 (2012)","journal-title":"Formal Methods in System Design"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11164-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T12:29:44Z","timestamp":1717331384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11164-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111636","9783319111643"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11164-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}