{"id":"https://openalex.org/W1576866974","doi":null,"title":"Runtime Assurance Based On Formal Specifications","display_name":"Runtime Assurance Based On Formal Specifications","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W1576866974","mag":"1576866974"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.210.575","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.575","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"volume":null,"type":"article","indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030456600","display_name":"Insup Lee","orcid":"https://orcid.org/0000-0003-2672-1132","observed_orcids":["https://orcid.org/0000-0003-2672-1132","https://orcid.org/0000-0002-9822-9860"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Insup Lee","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-2672-1132","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103555404","display_name":"Sampath Kannan","orcid":"https://orcid.org/0009-0003-3028-4198","observed_orcids":["https://orcid.org/0009-0003-3028-4198"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sampath Kannan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108412168","display_name":"Moonjoo Kim","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Moonjoo Kim","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082105260","display_name":"Oleg V. Sokolsky","orcid":"https://orcid.org/0000-0001-5282-0658","observed_orcids":["https://orcid.org/0000-0001-5282-0658"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Oleg Sokolsky","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-5282-0658","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5076852218","display_name":"Mahesh Viswanathan","orcid":"https://orcid.org/0000-0001-7977-0080","observed_orcids":["https://orcid.org/0000-0001-7977-0080"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mahesh Viswanathan","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-7977-0080","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.9644,"has_fulltext":false,"cited_by_count":163,"citation_normalized_percentile":{"value":0.97697302,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"279","last_page":"287"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.92330002784729,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.92330002784729,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.02969999983906746,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.022299999371170998,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/runtime-assurance","display_name":"runtime assurance","score":0.972000002861023},{"id":"https://openalex.org/keywords/runtime-monitoring","display_name":"runtime monitoring","score":0.7540000081062317},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.8240000009536743},{"id":"https://openalex.org/keywords/mac","display_name":"MAC","score":0.46799999475479126},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.47999998927116394},{"id":"https://openalex.org/keywords/requirements-specification","display_name":"requirements specification","score":0.640999972820282},{"id":"https://openalex.org/keywords/automated-instrumentation","display_name":"automated instrumentation","score":0.6489999890327454},{"id":"https://openalex.org/keywords/separation-of-concerns","display_name":"separation of concerns","score":0.4480000138282776},{"id":"https://openalex.org/keywords/software-correctness","display_name":"software correctness","score":0.4309999942779541}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8684541583061218},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8458001613616943},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8163702487945557},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7120941877365112},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5960435271263123},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5880283713340759},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5741173028945923},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5342333316802979},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.527987539768219}],"mesh":[],"locations_count":6,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.210.575","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.575","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.34.937","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.937","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cis.upenn.edu/~sokolsky/99pdpta.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.95.4985","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.4985","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cs.kaist.ac.kr/~moonzoo/papers/pdpta99_mac.pdf","raw_type":"text"},{"id":"pmh:oai:repository.upenn.edu:20.500.14332/6333","doi":null,"is_oa":false,"landing_page_url":"https://repository.upenn.edu/handle/20.500.14332/6333","pdf_url":null,"source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"published","raw_type":"Presentation"},{"id":"pmh:oai:repository.upenn.edu:cis_papers-1311","doi":null,"is_oa":false,"landing_page_url":"https://repository.upenn.edu/cis_papers/294","pdf_url":null,"source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (CIS)","raw_type":"text"},{"id":"mag:1576866974","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/pdpta/pdpta1999-1.html#LeeKKSV99","pdf_url":null,"source":{"id":"https://openalex.org/S4306420677","display_name":"Parallel and Distributed Processing Techniques and Applications","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Parallel and Distributed Processing Techniques and Applications","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1488694377","https://openalex.org/W1506588809","https://openalex.org/W1515314368","https://openalex.org/W1996839061","https://openalex.org/W2034717157","https://openalex.org/W2056359803","https://openalex.org/W2111964583","https://openalex.org/W2116312276","https://openalex.org/W2124686788","https://openalex.org/W2130516078","https://openalex.org/W2152651705","https://openalex.org/W2157560459","https://openalex.org/W2525216991"],"related_works":["https://openalex.org/W7096625664","https://openalex.org/W2160614176","https://openalex.org/W3027491537","https://openalex.org/W1488694377","https://openalex.org/W7095203382","https://openalex.org/W2047276559","https://openalex.org/W20649036","https://openalex.org/W2977856485","https://openalex.org/W7095962407","https://openalex.org/W7101051888"],"abstract_inverted_index":{"We":[0],"describe":[1],"the":[2,10,13,31,40,60,91,114],"Monitoring":[3,18],"and":[4,36,49,72,93,100,102,123,127],"Checking":[5],"(MaC)":[6],"framework":[7,61,92],"which":[8,38,51],"assures":[9],"correctness":[11,41],"of":[12,26,42,59,69,82,90,125],"current":[14],"execution":[15],"at":[16],"run-time.":[17],"is":[19,62,79],"performed":[20],"based":[21],"on":[22,119],"a":[23,43,63],"formal":[24,34],"specification":[25,35],"system":[27],"requirements.":[28],"MaC":[29],"bridges":[30],"gap":[32],"between":[33,66],"verification,":[37],"ensures":[39],"design":[44],"rather":[45],"than":[46],"an":[47,54,88],"implementation,":[48],"testing,":[50],"partially":[52],"validates":[53],"implementation.":[55,108],"An":[56],"important":[57],"aspect":[58],"clear":[64],"separation":[65],"implementation-dependent":[67],"description":[68],"monitored":[70],"objects":[71],"high-level":[73],"requirements":[74],"specification.":[75],"Another":[76],"salient":[77],"feature":[78],"automatic":[80],"instrumentation":[81],"executable":[83],"code.":[84],"The":[85],"paper":[86],"presents":[87],"overview":[89],"two":[94,116],"languages":[95],"to":[96],"specify":[97],"monitoring":[98],"scripts":[99],"requirements,":[101],"briefly":[103],"explain":[104],"our":[105],"on-going":[106],"prototype":[107],"1":[109],"Introduction":[110],"Much":[111],"research":[112],"in":[113],"past":[115],"decades":[117],"concentrated":[118],"methods":[120],"for":[121],"analysis":[122],"validation":[124],"distributed":[126],"real-time":[128],"systems.":[129],"Important":[130],"results":[131],"have":[132],"been":[133],"achieved,":[134],"in...":[135]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":9}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}