{"id":"https://openalex.org/W2465205274","doi":"https://doi.org/10.1016/s1571-0661(05)81052-7","title":"Preface","display_name":"Preface","publication_year":2003,"publication_date":"2003-10-01","ids":{"openalex":"https://openalex.org/W2465205274","doi":"https://doi.org/10.1016/s1571-0661(05)81052-7","mag":"2465205274"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)81052-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)81052-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)81052-7","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":[],"countries":[],"is_corresponding":false,"raw_author_name":"Oleg Sokolsky","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5076852218","display_name":"Mahesh Viswanathan","orcid":"https://orcid.org/0000-0001-7977-0080"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mahesh Viswanathan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7279,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.74279462,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"89","issue":"2","first_page":"246","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.9726999998092651,"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.9726999998092651,"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.9377999901771545,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9334999918937683,"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/correctness","display_name":"Correctness","score":0.8458919525146484},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7929155826568604},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5795960426330566},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.5623583793640137},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5608873963356018},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5059830546379089},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.49976110458374023},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.497623473405838},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4735614061355591},{"id":"https://openalex.org/keywords/byte","display_name":"Byte","score":0.47269606590270996},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.439823716878891},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.4252399504184723},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.42007794976234436},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.37049761414527893},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.267473042011261},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.1108938455581665}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8458919525146484},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7929155826568604},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5795960426330566},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.5623583793640137},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5608873963356018},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5059830546379089},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.49976110458374023},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.497623473405838},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4735614061355591},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.47269606590270996},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.439823716878891},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4252399504184723},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.42007794976234436},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.37049761414527893},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.267473042011261},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.1108938455581665},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)81052-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)81052-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)81052-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)81052-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2809618173","https://openalex.org/W1563456403","https://openalex.org/W2115240397","https://openalex.org/W2162615969","https://openalex.org/W1573022308","https://openalex.org/W2386892903","https://openalex.org/W623076767","https://openalex.org/W3190680636","https://openalex.org/W1980237913","https://openalex.org/W2028104839"],"abstract_inverted_index":{"Foreword":[0],"This":[1,218,257],"volume":[2,219,244],"contains":[3],"the":[4,7,29,92,132,138,145,191,213,224,227,231,249,263,275,282,291,304,308,311,317,335,340,362,366,370],"proceedings":[5],"of":[6,28,32,50,73,76,95,136,140,173,215,226,239,265,310,349,357,368,393,402,420,426,432,442,448,457,484,489],"Third":[8],"International":[9,30],"Workshop":[10],"on":[11,20],"Run-time":[12,106],"Verification":[13,34],"(RV":[14],"'03).":[15,36],"RV":[16,52,62,371],"'03":[17,342],"was":[18,54,64],"held":[19,46,55,65],"July":[21,59,69,376],"13,":[22],"2003,":[23],"as":[24,47,373],"a":[25,111,141,170],"satellite":[26,48],"workshop":[27,168],"Conference":[31],"Computer-Aided":[33],"(CAV":[35],"The":[37,71,162,243,272],"first":[38],"two":[39],"workshops":[40,49,77,372],"in":[41,56,58,66,68,87,156,248,252,274],"this":[42,74,166],"series":[43,75,258,277],"were":[44],"also":[45],"CAV;":[51],"'01":[53],"Paris":[57],"2001,":[60],"and":[61,84,97,121,182,210,223,269,295,306,323,353],"'02":[63],"Copenhagen":[67],"2002.":[70],"purpose":[72],"has":[78],"been":[79],"to":[80,91,101,109,114,131,176,198,289,316,328,333,339,364],"bring":[81],"together":[82],"researchers":[83],"practitioners,":[85],"interested":[86],"various":[88],"aspects":[89],"related":[90,175],"dynamic":[93,207],"analysis":[94],"software":[96],"systems,":[98],"with":[99,129],"respect":[100,130],"formally":[102,211],"specified":[103],"correctness":[104,134,139,214],"requirements.":[105],"verification":[107,116,149,184],"aims":[108],"provide":[110],"\u201clightweight\u201d":[112],"complement":[113],"traditional":[115],"methods":[117],"like":[118,288],"model":[119],"checking":[120],"theorem":[122],"proving,":[123],"by":[124,158,230,234],"analysing":[125],"an":[126,300],"actual":[127],"implementation":[128],"reduced":[133],"obligations":[135],"certifying":[137],"single":[142],"execution.":[143],"Despite":[144],"weaker":[146],"guarantees,":[147],"run-time":[148],"improves":[150],"upon":[151],"other":[152],"more":[153],"ad-hoc":[154],"approaches":[155],"monitoring,":[157],"providing":[159],"formal":[160],"proofs.":[161],"papers":[163,222],"selected":[164],"for":[165,187,205,320,331,361,414],"year's":[167],"cover":[169],"wide":[171],"range":[172],"topics":[174],"runtime":[177],"verification,":[178],"including":[179],"designing":[180],"efficient":[181],"optimal":[183],"algorithms,":[185],"techniques":[186],"instrumenting":[188],"programs":[189],"at":[190,241,281,351,359,396,451,459,491],"source":[192],"or":[193],"object":[194],"code/byte":[195],"code":[196],"level":[197],"observe":[199],"program":[200,208,309],"execution,":[201],"developing":[202],"specification":[203],"languages":[204],"monitors,":[206],"analysis,":[209],"proving":[212],"monitoring":[216],"systems.":[217],"includes":[220],"these":[221],"abstract":[225],"Invited":[228,232,336],"Presentation":[229,233],"Aloysius":[235,428],"K.":[236,429],"Mok":[237,330,430],"(University":[238,348,356],"Texas":[240,350],"Austin).":[242],"will":[245],"be":[246,279,334],"published":[247,260],"Electronic":[250],"Notes":[251],"Theoretical":[253],"Computer":[254],"Science":[255,267],"(ENTCS).":[256],"is":[259],"electronically":[261],"through":[262],"facilities":[264],"Elsevier":[266],"B.V.":[268],"its":[270],"auspices.":[271],"volumes":[273],"ENTCS":[276],"can":[278],"accessed":[280],"URL":[283],"http://www.elsevier.nl/locate/entcs":[284],".":[285],"We":[286,313],"would":[287],"thank":[290],"Program":[292,383],"Committee":[293,319,384,471],"members":[294],"their":[296],"reviewers,":[297],"who":[298],"did":[299],"excellent":[301],"job":[302],"evaluating":[303],"submissions":[305],"shaping":[307],"workshop.":[312],"are":[314],"grateful":[315],"Steering":[318,470],"helpful":[321],"guidance":[322],"support.":[324],"Special":[325],"thanks":[326],"go":[327],"Al":[329],"agreeing":[332],"Speaker.":[337],"Thanks":[338],"CAV":[341,374],"co-Chairs:":[343],"Warren":[344],"A.":[345],"Hunt,":[346],"Jr.":[347],"Austin)":[352],"Fabio":[354],"Somenzi":[355],"Colorado":[358],"Boulder)":[360],"opportunity":[363],"continue":[365],"tradition":[367],"having":[369],"satellites.":[375],"1,":[377],"2003":[378],"Oleg":[379,439],"Sokolsky":[380,440],"Mahesh":[381,454],"Viswanathan":[382,455],"Saddek":[385],"Bensalem":[386],"VERIMAG":[387,463],"Laboratory":[388,413,464],"Rance":[389],"Cleaveland":[390],"State":[391,446],"University":[392,401,419,425,431,438,441,447,456,469,483,488],"New":[394,449,467],"York":[395,450,468],"Stony":[397,452],"Brook":[398,453],"Ann":[399],"Gates":[400],"Texas,":[403,433],"El":[404],"Paso":[405],"Patrice":[406],"Godefroid":[407],"Bell":[408],"Laboratories":[409],"Gerard":[410],"Holzmann":[411],"NASA/JPL":[412],"Reliable":[415],"Software":[416],"Susan":[417],"Horwitz":[418],"Wisconsin,":[421],"Madison":[422],"Michael":[423],"Moeller":[424],"Oldenburg":[427],"Austin":[434],"Henny":[435],"Sipma":[436],"Stanford":[437],"Pennsylvania":[443,485],"Scott":[444],"Stoller":[445],"Illinois":[458,490],"Urbana-Champaign":[460,492],"Sergio":[461],"Yovine":[462],"Lenore":[465],"Zuck":[466],"Klaus":[472],"Havelund":[473],"NASA":[474],"Ames":[475],"Research":[476],"Center":[477],"-":[478],"Kestrel":[479],"Technology":[480],"Insup":[481],"Lee":[482],"Grigore":[486],"Rosu":[487]},"counts_by_year":[],"updated_date":"2026-06-21T06:12:48.119943","created_date":"2016-07-22T00:00:00"}