{"id":"https://openalex.org/W2738184854","doi":"https://doi.org/10.1007/978-3-319-63121-9_16","title":"Runtime Verification Logics A Language Design Perspective","display_name":"Runtime Verification Logics A Language Design Perspective","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2738184854","doi":"https://doi.org/10.1007/978-3-319-63121-9_16","mag":"2738184854"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-63121-9_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-63121-9_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"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/A5040778442","display_name":"Klaus Havelund","orcid":"https://orcid.org/0000-0001-7079-0472"},"institutions":[{"id":"https://openalex.org/I1334627681","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916","country_code":"US","type":"facility","lineage":["https://openalex.org/I122411786","https://openalex.org/I1334627681","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Klaus Havelund","raw_affiliation_strings":["Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA","institution_ids":["https://openalex.org/I1334627681"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052066515","display_name":"Giles Reger","orcid":"https://orcid.org/0000-0001-6353-952X"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Giles Reger","raw_affiliation_strings":["University of Manchester, Manchester, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5040778442"],"corresponding_institution_ids":["https://openalex.org/I1334627681"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"310","last_page":"338"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9990000128746033,"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/computer-science","display_name":"Computer science","score":0.8877080678939819},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.8025646209716797},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7065397500991821},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.590920090675354},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.5731124877929688},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5615691542625427},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.559980571269989},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.5109668970108032},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.47965314984321594},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.47644856572151184},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44165468215942383},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.44092386960983276},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.41066259145736694},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.18930217623710632},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12619319558143616},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09014284610748291}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8877080678939819},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.8025646209716797},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7065397500991821},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.590920090675354},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.5731124877929688},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5615691542625427},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.559980571269989},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.5109668970108032},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.47965314984321594},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.47644856572151184},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44165468215942383},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.44092386960983276},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.41066259145736694},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.18930217623710632},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12619319558143616},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09014284610748291},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-63121-9_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-63121-9_16","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/644fec62-1031-44f6-aca4-6f4a358efdd7","is_oa":false,"landing_page_url":"https://research.manchester.ac.uk/en/publications/644fec62-1031-44f6-aca4-6f4a358efdd7","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Havelund, K & Reger, G 2017, Runtime verification logics a language design perspective. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10460, Springer Nature, pp. 310-338. https://doi.org/10.1007/978-3-319-63121-9_16","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:pure.atira.dk:publications/644fec62-1031-44f6-aca4-6f4a358efdd7","is_oa":false,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/runtime-verification-logics-a-language-design-perspective(644fec62-1031-44f6-aca4-6f4a358efdd7).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Havelund, K & Reger, G 2017, Runtime verification logics a language design perspective. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10460, Springer Nature, pp. 310-338. https://doi.org/10.1007/978-3-319-63121-9_16","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W43031245","https://openalex.org/W64407196","https://openalex.org/W120333500","https://openalex.org/W178360550","https://openalex.org/W763797034","https://openalex.org/W855521917","https://openalex.org/W1482613269","https://openalex.org/W1539432158","https://openalex.org/W1540883472","https://openalex.org/W1544441750","https://openalex.org/W1578302512","https://openalex.org/W1590315663","https://openalex.org/W1610570299","https://openalex.org/W1612453857","https://openalex.org/W1631091010","https://openalex.org/W1734269280","https://openalex.org/W1790612874","https://openalex.org/W1795569145","https://openalex.org/W1825341937","https://openalex.org/W1965740447","https://openalex.org/W1987764656","https://openalex.org/W1988961870","https://openalex.org/W1994584977","https://openalex.org/W1998490923","https://openalex.org/W2005062077","https://openalex.org/W2015640848","https://openalex.org/W2023808162","https://openalex.org/W2027769154","https://openalex.org/W2029138738","https://openalex.org/W2044590882","https://openalex.org/W2047276559","https://openalex.org/W2054655669","https://openalex.org/W2069709605","https://openalex.org/W2078356878","https://openalex.org/W2081396910","https://openalex.org/W2087492381","https://openalex.org/W2101623441","https://openalex.org/W2103146530","https://openalex.org/W2103910858","https://openalex.org/W2107552180","https://openalex.org/W2111141292","https://openalex.org/W2113012730","https://openalex.org/W2115051564","https://openalex.org/W2118962824","https://openalex.org/W2128475506","https://openalex.org/W2132281483","https://openalex.org/W2137591753","https://openalex.org/W2145063062","https://openalex.org/W2150593762","https://openalex.org/W2160767434","https://openalex.org/W2176100176","https://openalex.org/W2177814128","https://openalex.org/W2281584718","https://openalex.org/W2339388938","https://openalex.org/W2405916544","https://openalex.org/W2407790672","https://openalex.org/W2418938958","https://openalex.org/W2604968291","https://openalex.org/W3200493159","https://openalex.org/W4238275896","https://openalex.org/W4250131223"],"related_works":["https://openalex.org/W3120172095","https://openalex.org/W2108860137","https://openalex.org/W2106507440","https://openalex.org/W1563456403","https://openalex.org/W2406499533","https://openalex.org/W2162615969","https://openalex.org/W3209085687","https://openalex.org/W2148966220","https://openalex.org/W2167857956","https://openalex.org/W2248653679"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":10}],"updated_date":"2026-07-17T09:13:05.818461","created_date":"2025-10-10T00:00:00"}