{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:58Z","timestamp":1750306318912,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,2,18]],"date-time":"2016-02-18T00:00:00Z","timestamp":1455753600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,2,18]]},"DOI":"10.1145\/2856636.2856658","type":"proceedings-article","created":{"date-parts":[[2016,2,1]],"date-time":"2016-02-01T20:06:43Z","timestamp":1454357203000},"page":"163-169","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Formal verification of avionics self adaptive software"],"prefix":"10.1145","author":[{"given":"Rajanikanth N.","family":"Kashi","sequence":"first","affiliation":[{"name":"Honeywell Technology Solutions Laboratories, Bangalore, India"}]},{"given":"Meenakshi","family":"D'Souza","sequence":"additional","affiliation":[{"name":"IIIT-Bangalore, Bangalore, India"}]},{"given":"S. Kumar","family":"Baghel","sequence":"additional","affiliation":[{"name":"IIIT-Bangalore, Bangalore, India"}]},{"given":"Nitin","family":"Kulkarni","sequence":"additional","affiliation":[{"name":"IIIT-Bangalore, Bangalore, India"}]}],"member":"320","published-online":{"date-parts":[[2016,2,18]]},"reference":[{"volume-title":"Software Considerations in Airborne Systems and Equipment Certification","year":"1982","key":"e_1_3_2_1_1_1","unstructured":"DO-178B : Software Considerations in Airborne Systems and Equipment Certification , 1982 . DO-178B: Software Considerations in Airborne Systems and Equipment Certification, 1982."},{"key":"e_1_3_2_1_2_1","unstructured":"RNAV-I (GNSS or DME\/DME\/IRU) SIDs and STARs Chennai International India 2009.  RNAV-I (GNSS or DME\/DME\/IRU) SIDs and STARs Chennai International India 2009."},{"volume-title":"Software Considerations in Airborne Systems and Equipment Certification","year":"2011","key":"e_1_3_2_1_3_1","unstructured":"DO-178C : Software Considerations in Airborne Systems and Equipment Certification , 2011 . DO-178C: Software Considerations in Airborne Systems and Equipment Certification, 2011."},{"key":"e_1_3_2_1_4_1","first-page":"268","volume-title":"7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001","author":"Ball Thomas","year":"2001","unstructured":"Thomas Ball , Andreas Podelski , and Sriram K. Rajamani . Boolean and cartesian abstraction for model checking C programs. In Tools and Algorithms for the Construction and Analysis of Systems , 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 , Proceedings , pages 268 -- 283 , 2001 . Thomas Ball, Andreas Podelski, and Sriram K. Rajamani. Boolean and cartesian abstraction for model checking C programs. In Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pages 268--283, 2001."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000040027.28662.a4"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. International Conference on Computer-Aided Verification (CAV 2002","volume":"2404","author":"Cimatti A.","year":"2002","unstructured":"A. Cimatti , E. Clarke , E. Giunchiglia , F. Giunchiglia , M. Pistore , M. Roveri , R. Sebastiani , and A. Tacchella . NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking . In Proc. International Conference on Computer-Aided Verification (CAV 2002 ), volume 2404 of LNCS, Copenhagen, Denmark , July 2002 . Springer. A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking. In Proc. International Conference on Computer-Aided Verification (CAV 2002), volume 2404 of LNCS, Copenhagen, Denmark, July 2002. Springer."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AGNT.0000019688.11109.19"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/648205.749450"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.91.4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2004-5258"},{"key":"e_1_3_2_1_12_1","volume-title":"Meyer and Andreas Herzig. Handbook of Epistemic Logic","author":"John-Jules Ch Jan Broersen","year":"2015","unstructured":"Jan Broersen John-Jules Ch . Meyer and Andreas Herzig. Handbook of Epistemic Logic . College Publications , 35 Ballards Lane, London N3 1XW, 2015 . Jan Broersen John-Jules Ch. Meyer and Andreas Herzig. Handbook of Epistemic Logic. College Publications, 35 Ballards Lane, London N3 1XW, 2015."},{"key":"e_1_3_2_1_13_1","volume-title":"Modeling avionics self-adaptive software as a BDI system","author":"Kashi Rajanikanth","year":"2015","unstructured":"Rajanikanth Kashi and Meenakshi D'Souza . Modeling avionics self-adaptive software as a BDI system , 2015 . Rajanikanth Kashi and Meenakshi D'Souza. Modeling avionics self-adaptive software as a BDI system, 2015."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the First International Conference on Multiagent Systems","author":"Anand","year":"1995","unstructured":"Anand S. Rao and Michael P. Georgeff. BDI agents: From theory to practice . In Proceedings of the First International Conference on Multiagent Systems , June 12-14, 1995 , San Francisco, California, USA, pages 312--319 , 1995. Anand S. Rao and Michael P. Georgeff. BDI agents: From theory to practice. In Proceedings of the First International Conference on Multiagent Systems, June 12-14, 1995, San Francisco, California, USA, pages 312--319, 1995."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"e_1_3_2_1_16_1","volume-title":"An Introduction to agent-based modeling: Modeling natural, social and engineered complex systems with Netlogo","author":"Wilensky Uri","year":"2015","unstructured":"Uri Wilensky and William Rand . An Introduction to agent-based modeling: Modeling natural, social and engineered complex systems with Netlogo . MIT Press , 2015 . Uri Wilensky and William Rand. An Introduction to agent-based modeling: Modeling natural, social and engineered complex systems with Netlogo. MIT Press, 2015."},{"key":"e_1_3_2_1_17_1","volume-title":"An Introduction to MultiAgent Systems","author":"Wooldridge Michael","year":"2009","unstructured":"Michael Wooldridge . An Introduction to MultiAgent Systems . Wiley Publishing , 2 nd edition, 2009 . Michael Wooldridge. An Introduction to MultiAgent Systems. Wiley Publishing, 2nd edition, 2009.","edition":"2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-005-9003-0"},{"key":"e_1_3_2_1_19_1","volume-title":"Feedback systems: an introduction for scientists and engineers","author":"\u00c5str\u00f6m Karl Johan","year":"2008","unstructured":"Karl Johan \u00c5str\u00f6m and Richard M. Murray . Feedback systems: an introduction for scientists and engineers . Princeton university press , Princeton, Oxford , 2008 . Karl Johan \u00c5str\u00f6m and Richard M. Murray. Feedback systems: an introduction for scientists and engineers. Princeton university press, Princeton, Oxford, 2008."}],"event":{"name":"ISEC '16: 9th India Software Engineering Conference","sponsor":["iSOFT iSOFT","ACM India ACM India"],"location":"Goa India","acronym":"ISEC '16"},"container-title":["Proceedings of the 9th India Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2856636.2856658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2856636.2856658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:13Z","timestamp":1750222453000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2856636.2856658"}},"subtitle":["A case study"],"short-title":[],"issued":{"date-parts":[[2016,2,18]]},"references-count":19,"alternative-id":["10.1145\/2856636.2856658","10.1145\/2856636"],"URL":"https:\/\/doi.org\/10.1145\/2856636.2856658","relation":{},"subject":[],"published":{"date-parts":[[2016,2,18]]},"assertion":[{"value":"2016-02-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}