{"id":"https://openalex.org/W1983720914","doi":"https://doi.org/10.1007/s10009-011-0218-6","title":"Introduction to the special section on runtime verification","display_name":"Introduction to the special section on runtime verification","publication_year":2011,"publication_date":"2011-11-28","ids":{"openalex":"https://openalex.org/W1983720914","doi":"https://doi.org/10.1007/s10009-011-0218-6","mag":"1983720914"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-011-0218-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-011-0218-6","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","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/A5082105260","display_name":"Oleg Sokolsky","orcid":"https://orcid.org/0000-0001-5282-0658"},"institutions":[{"id":"https://openalex.org/I110357561","display_name":"University of the Sciences","ror":"https://ror.org/048gmay44","country_code":"US","type":"education","lineage":["https://openalex.org/I110357561"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Oleg Sokolsky","raw_affiliation_strings":["Department of Computer and Info. Science, University of Pennsylvania, Philadelphia, PA, 19041, USA","Department of Computer and Info. Science, University of Pennsylvania, Philadelphia, USA","University of Pennsylvania, Department of Computer and Info. Science, 19041, Philadelphia, PA, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Info. Science, University of Pennsylvania, Philadelphia, PA, 19041, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Department of Computer and Info. Science, University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I110357561","https://openalex.org/I79576946"]},{"raw_affiliation_string":"University of Pennsylvania, Department of Computer and Info. Science, 19041, Philadelphia, PA, USA#TAB#","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040778442","display_name":"Klaus Havelund","orcid":"https://orcid.org/0000-0001-7079-0472"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]},{"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":false,"raw_author_name":"Klaus Havelund","raw_affiliation_strings":["Jet Propulsion Laboratory, California Institute of Technology, California, CA, 91109, USA","Jet Propulsion Laboratory, California Institute of Technology, California, USA","California Institute of Technology, Jet Propulsion Laboratory, 91109, California, CA, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jet Propulsion Laboratory, California Institute of Technology, California, CA, 91109, USA","institution_ids":["https://openalex.org/I1334627681"]},{"raw_affiliation_string":"Jet Propulsion Laboratory, California Institute of Technology, California, USA","institution_ids":["https://openalex.org/I1334627681"]},{"raw_affiliation_string":"California Institute of Technology, Jet Propulsion Laboratory, 91109, California, CA, USA#TAB#","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030456600","display_name":"Insup Lee","orcid":"https://orcid.org/0000-0003-2672-1132"},"institutions":[{"id":"https://openalex.org/I110357561","display_name":"University of the Sciences","ror":"https://ror.org/048gmay44","country_code":"US","type":"education","lineage":["https://openalex.org/I110357561"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Insup Lee","raw_affiliation_strings":["Department of Computer and Info. Science, University of Pennsylvania, Philadelphia, PA, 19041, USA","Department of Computer and Info. Science, University of Pennsylvania, Philadelphia, USA","University of Pennsylvania, Department of Computer and Info. Science, 19041, Philadelphia, PA, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Info. Science, University of Pennsylvania, Philadelphia, PA, 19041, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Department of Computer and Info. Science, University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I110357561","https://openalex.org/I79576946"]},{"raw_affiliation_string":"University of Pennsylvania, Department of Computer and Info. Science, 19041, Philadelphia, PA, USA#TAB#","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5082105260"],"corresponding_institution_ids":["https://openalex.org/I110357561","https://openalex.org/I79576946"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":2.0762,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.86115288,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"14","issue":"3","first_page":"243","last_page":"247"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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.9993000030517578,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.826764702796936},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7257270216941833},{"id":"https://openalex.org/keywords/section","display_name":"Section (typography)","score":0.6138283014297485},{"id":"https://openalex.org/keywords/special-section","display_name":"Special section","score":0.5999894738197327},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5203004479408264},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3355538845062256},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2468353509902954},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.047263145446777344},{"id":"https://openalex.org/keywords/engineering-physics","display_name":"Engineering physics","score":0.04639232158660889}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.826764702796936},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7257270216941833},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.6138283014297485},{"id":"https://openalex.org/C2993458768","wikidata":"https://www.wikidata.org/wiki/Q3477549","display_name":"Special section","level":2,"score":0.5999894738197327},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5203004479408264},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3355538845062256},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2468353509902954},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.047263145446777344},{"id":"https://openalex.org/C61696701","wikidata":"https://www.wikidata.org/wiki/Q770766","display_name":"Engineering physics","level":1,"score":0.04639232158660889}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10009-011-0218-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-011-0218-6","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W133354355","https://openalex.org/W221670187","https://openalex.org/W1494755801","https://openalex.org/W1528748608","https://openalex.org/W1544110301","https://openalex.org/W1567462511","https://openalex.org/W1576866974","https://openalex.org/W1597173694","https://openalex.org/W1740522204","https://openalex.org/W1825341937","https://openalex.org/W1959256509","https://openalex.org/W1964830323","https://openalex.org/W1968932663","https://openalex.org/W1975880855","https://openalex.org/W1985929316","https://openalex.org/W1995350708","https://openalex.org/W1996839061","https://openalex.org/W1998490923","https://openalex.org/W2002032317","https://openalex.org/W2007846881","https://openalex.org/W2029414465","https://openalex.org/W2036910349","https://openalex.org/W2043996829","https://openalex.org/W2047276559","https://openalex.org/W2078356878","https://openalex.org/W2088655521","https://openalex.org/W2099536008","https://openalex.org/W2103910858","https://openalex.org/W2107412422","https://openalex.org/W2111141292","https://openalex.org/W2113335827","https://openalex.org/W2114530298","https://openalex.org/W2115725211","https://openalex.org/W2118962824","https://openalex.org/W2119965246","https://openalex.org/W2120926795","https://openalex.org/W2121215229","https://openalex.org/W2143238865","https://openalex.org/W2145063062","https://openalex.org/W2152476509","https://openalex.org/W2157888439","https://openalex.org/W2160146193","https://openalex.org/W2161825580","https://openalex.org/W2169309022","https://openalex.org/W2169589594","https://openalex.org/W2170541359","https://openalex.org/W2340735175","https://openalex.org/W2488032294","https://openalex.org/W2913459036","https://openalex.org/W4245749384","https://openalex.org/W4254691308","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2560853036","https://openalex.org/W2566696415","https://openalex.org/W1563787543","https://openalex.org/W4239980664","https://openalex.org/W4249026152","https://openalex.org/W4231213805","https://openalex.org/W4244585678","https://openalex.org/W2909241626","https://openalex.org/W2890304493","https://openalex.org/W2889377263"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}