{"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":true,"raw_author_name":"Oleg Sokolsky","raw_affiliation_strings":[],"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":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082105260"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7091,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.73402466,"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","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":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":{"This":[0,217,256],"volume":[1,218,243],"contains":[2],"the":[3,6,28,91,131,137,144,190,212,223,226,230,248,262,274,281,289,302,306,309,315,333,338,360,364,368],"proceedings":[4],"of":[5,27,31,49,72,75,94,135,139,172,214,225,238,264,308,347,355,366,384,391,403,407,411,417,421,428,446,449],"Third":[7],"International":[8,29],"Workshop":[9],"on":[10,19],"Run-time":[11,105],"Verification":[12,33],"(RV":[13],"'03).":[14,35],"RV":[15,51,61,369],"'03":[16,340],"was":[17,53,63],"held":[18,45,54,64],"July":[20,58,68,374],"13,":[21],"2003,":[22],"as":[23,46,371],"a":[24,110,140,169],"satellite":[25,47],"workshop":[26,167],"Conference":[30],"Computer-Aided":[32],"(CAV":[34],"The":[36,70,161,242,271],"first":[37],"two":[38],"workshops":[39,48,76,370],"in":[40,55,57,65,67,86,155,247,251,273],"this":[41,73,165],"series":[42,74,257,276],"were":[43],"also":[44],"CAV;":[50],"'01":[52],"Paris":[56],"2001,":[59],"and":[60,83,96,120,181,209,222,268,293,304,321,351],"'02":[62],"Copenhagen":[66],"2002.":[69],"purpose":[71],"has":[77],"been":[78],"to":[79,90,100,108,113,130,175,197,287,314,326,331,337,362],"bring":[80],"together":[81],"researchers":[82],"practitioners,":[84],"interested":[85],"various":[87],"aspects":[88],"related":[89,174],"dynamic":[92,206],"analysis":[93],"software":[95],"systems,":[97],"with":[98,128],"respect":[99,129],"formally":[101,210],"specified":[102],"correctness":[103,133,138,213],"requirements.":[104],"verification":[106,115,148,183],"aims":[107],"provide":[109],"\u201clightweight\u201d":[111],"complement":[112],"traditional":[114],"methods":[116],"like":[117,286],"model":[118],"checking":[119],"theorem":[121],"proving,":[122],"by":[123,157,229,233],"analysing":[124],"an":[125,298],"actual":[126],"implementation":[127],"reduced":[132],"obligations":[134],"certifying":[136],"single":[141],"execution.":[142],"Despite":[143],"weaker":[145],"guarantees,":[146],"run-time":[147],"improves":[149],"upon":[150],"other":[151],"more":[152],"ad-hoc":[153],"approaches":[154],"monitoring,":[156],"providing":[158],"formal":[159],"proofs.":[160],"papers":[162,221],"selected":[163],"for":[164,186,204,318,329,359,399],"year's":[166],"cover":[168],"wide":[170],"range":[171],"topics":[173],"runtime":[176],"verification,":[177],"including":[178],"designing":[179],"efficient":[180],"optimal":[182],"algorithms,":[184],"techniques":[185],"instrumenting":[187],"programs":[188],"at":[189,240,280,349,357,387,424,430,451],"source":[191],"or":[192],"object":[193],"code/byte":[194],"code":[195],"level":[196],"observe":[198],"program":[199,207,307],"execution,":[200],"developing":[201],"specification":[202],"languages":[203],"monitors,":[205],"analysis,":[208],"proving":[211],"monitoring":[215],"systems.":[216],"includes":[219],"these":[220],"abstract":[224],"Invited":[227,231,334],"Presentation":[228,232],"Aloysius":[234],"K.":[235,409],"Mok":[236,328],"(University":[237,346,354],"Texas":[239,348],"Austin).":[241],"will":[244],"be":[245,278,332],"published":[246,259],"Electronic":[249],"Notes":[250],"Theoretical":[252],"Computer":[253],"Science":[254,266],"(ENTCS).":[255],"is":[258],"electronically":[260],"through":[261],"facilities":[263],"Elsevier":[265],"B.V.":[267],"its":[269],"auspices.":[270],"volumes":[272],"ENTCS":[275],"can":[277],"accessed":[279],"URL":[282],"http://www.elsevier.nl/locate/entcs.":[283],"We":[284,311],"would":[285],"thank":[288],"Program":[290],"Committee":[291,317],"members":[292],"their":[294],"reviewers,":[295],"who":[296],"did":[297],"excellent":[299],"job":[300],"evaluating":[301],"submissions":[303],"shaping":[305],"workshop.":[310],"are":[312],"grateful":[313],"Steering":[316],"helpful":[319],"guidance":[320],"support.":[322],"Special":[323],"thanks":[324],"go":[325],"Al":[327],"agreeing":[330],"Speaker.":[335],"Thanks":[336],"CAV":[339,372],"co-Chairs:":[341],"Warren":[342],"A.":[343],"Hunt,":[344],"Jr.":[345],"Austin)":[350],"Fabio":[352],"Somenzi":[353],"Colorado":[356],"Boulder)":[358],"opportunity":[361],"continue":[363],"tradition":[365],"having":[367],"satellites.":[373],"1,":[375],"2003Oleg":[376],"SokolskyMahesh":[377],"Viswanathan":[378],"Saddek":[379],"BensalemVERIMAG":[380],"LaboratoryRance":[381],"CleavelandState":[382],"University":[383,420,436],"New":[385,422],"York":[386,423,435],"Stony":[388,425],"BrookAnn":[389],"GatesUniversity":[390],"Texas,":[392,412],"El":[393],"PasoPatrice":[394],"GodefroidBell":[395],"LaboratoriesGerard":[396],"HolzmannNASA/JPL":[397],"Laboratory":[398],"Reliable":[400],"SoftwareSusan":[401],"HorwitzUniversity":[402],"Wisconsin,":[404],"MadisonMichael":[405],"MoellerUniversity":[406],"OldenburgAloysius":[408],"MokUniversity":[410],"AustinHenny":[413],"SipmaStanford":[414],"UniversityOleg":[415],"SokolskyUniversity":[416],"PennsylvaniaScott":[418],"StollerState":[419],"BrookMahesh":[426],"ViswanathanUniversity":[427],"Illinois":[429,450],"Urbana-ChampaignSergio":[431],"YovineVERIMAG":[432],"LaboratoryLenore":[433],"ZuckNew":[434],"Klaus":[437],"HavelundNASA":[438],"Ames":[439],"Research":[440],"Center":[441],"-":[442],"Kestrel":[443],"TechnologyInsup":[444],"LeeUniversity":[445],"PennsylvaniaGrigore":[447],"RosuUniversity":[448],"Urbana-Champaign":[452]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-07-22T00:00:00"}