{"id":"https://openalex.org/W2133407759","doi":"https://doi.org/10.1145/1103846.1103854","title":"Temporal skeletons for verifying time","display_name":"Temporal skeletons for verifying time","publication_year":2005,"publication_date":"2005-11-13","ids":{"openalex":"https://openalex.org/W2133407759","doi":"https://doi.org/10.1145/1103846.1103854","mag":"2133407759"},"language":"en","primary_location":{"id":"doi:10.1145/1103846.1103854","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1103846.1103854","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies","raw_type":"proceedings-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/A5004152525","display_name":"Gustaf Naeser","orcid":null},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Gustaf Naeser","raw_affiliation_strings":["M\u00e4lardalen University, Sweden","[Malardalen University, Sweden]"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"[Malardalen University, Sweden]","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045641364","display_name":"Kristina Lundqvist","orcid":"https://orcid.org/0000-0003-0904-3712"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kristina Lundqvist","raw_affiliation_strings":["Massachusetts Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109064380","display_name":"Lars Asplund","orcid":null},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Lars Asplund","raw_affiliation_strings":["M\u00e4lardalen University, Sweden","[Malardalen University, Sweden]"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, Sweden","institution_ids":["https://openalex.org/I82509713"]},{"raw_affiliation_string":"[Malardalen University, Sweden]","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004152525"],"corresponding_institution_ids":["https://openalex.org/I82509713"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1906202,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"49","last_page":"56"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9072046279907227},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5855509042739868},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.5203777551651001},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5028852820396423},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.48244601488113403},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4817369282245636},{"id":"https://openalex.org/keywords/skeleton","display_name":"Skeleton (computer programming)","score":0.477802574634552},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.47384482622146606},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4478606879711151},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4349654018878937},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36909055709838867}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9072046279907227},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5855509042739868},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.5203777551651001},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5028852820396423},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.48244601488113403},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4817369282245636},{"id":"https://openalex.org/C18969341","wikidata":"https://www.wikidata.org/wiki/Q1169129","display_name":"Skeleton (computer programming)","level":2,"score":0.477802574634552},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.47384482622146606},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4478606879711151},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4349654018878937},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36909055709838867},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1103846.1103854","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1103846.1103854","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.167.398","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.398","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sigada.org/conf/sigada2005/SIGAda2005-CDROM/SIGAda2005-Proceedings/p49-naeser.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W86516978","https://openalex.org/W164185571","https://openalex.org/W745412059","https://openalex.org/W1480214111","https://openalex.org/W1556201822","https://openalex.org/W1588544700","https://openalex.org/W1604429416","https://openalex.org/W1711245081","https://openalex.org/W1887751578","https://openalex.org/W1941482969","https://openalex.org/W1962072139","https://openalex.org/W1980239290","https://openalex.org/W2000947342","https://openalex.org/W2052173215","https://openalex.org/W2065967552","https://openalex.org/W2077948478","https://openalex.org/W2080035707","https://openalex.org/W2099597746","https://openalex.org/W2113540326","https://openalex.org/W2116093754","https://openalex.org/W2122942375","https://openalex.org/W2123092342","https://openalex.org/W2124066057","https://openalex.org/W2143179554","https://openalex.org/W2144511236","https://openalex.org/W2150220388","https://openalex.org/W2166835405","https://openalex.org/W2214314364","https://openalex.org/W2485919503","https://openalex.org/W2494369893","https://openalex.org/W4245640662","https://openalex.org/W4254254326","https://openalex.org/W6622111565","https://openalex.org/W6636162575","https://openalex.org/W6639499025","https://openalex.org/W6640868803","https://openalex.org/W6650476192","https://openalex.org/W6677215837","https://openalex.org/W6688374453"],"related_works":["https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W2105593427","https://openalex.org/W2108860137","https://openalex.org/W3209085687","https://openalex.org/W2153955347","https://openalex.org/W1928822090","https://openalex.org/W2533078207","https://openalex.org/W2125238773"],"abstract_inverted_index":{"This":[0,89,155],"paper":[1],"presents":[2],"an":[3,59],"intermediate":[4],"notation":[5,150],"used":[6],"in":[7],"a":[8,46,63,79,152,175,181],"framework":[9,16,24,173],"for":[10,22,98,144],"verification":[11,32,37,100,139,153],"of":[12,30,58,92,106,111,151,168],"real-time":[13],"properties.":[14],"The":[15,69,109,131,187],"aims":[17],"at":[18,38],"overcoming":[19],"the":[20,23,31,75,93,99,104,107,112,124,145,149,160,166,169,172,185],"need":[21],"user":[25],"to":[26,43,50,73,122,164],"have":[27],"significant":[28],"knowledge":[29],"specific":[33],"detail":[34],"that":[35,81,116],"formal":[36,61],"some":[39],"level":[40],"is":[41,66,85,115,134,157],"bound":[42],"impose":[44],"on":[45],"model.":[47],"In":[48,162],"order":[49,163],"accomplish":[51],"this,":[52],"model":[53,70,80,171],"extraction":[54],"from":[55,159,184],"source":[56,125],"code":[57,126],"initial":[60],"model,":[62],"timing":[64,113,132],"skeleton,":[65],"made":[67],"automatically.":[68],"refinement":[71],"needed":[72,97],"transform":[74],"temporal":[76],"skeleton":[77,114,133],"into":[78,148],"can":[82,119],"be":[83,120],"verified":[84,177],"not":[86],"done":[87],"immediately.":[88],"allows":[90],"postponement":[91],"abstraction":[94],"and":[95,141,193],"specialisation":[96],"which":[101],"further":[102],"improves":[103],"readability":[105],"skeleton.":[108],"purpose":[110],"it":[117,127],"easily":[118],"validated":[121],"represent":[123],"was":[128],"created":[129],"from.":[130],"then":[135,142],"automatically":[136],"refined":[137],"with":[138,180],"detail,":[140],"hidden":[143,158],"user,":[146],"transformed":[147],"tool.":[154],"transformation":[156],"user.":[161],"reduce":[165],"complexity":[167],"application":[170],"uses":[174],"formally":[176],"run-time":[178],"kernel":[179,188],"clear":[182],"separation":[183],"application.":[186],"supports":[189],"preemption,":[190],"dynamic":[191],"priorities":[192],"multiple":[194],"processors.":[195]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}