{"id":"https://openalex.org/W4244974423","doi":"https://doi.org/10.1016/s1571-0661(05)80585-7","title":"Preface","display_name":"Preface","publication_year":2002,"publication_date":"2002-12-01","ids":{"openalex":"https://openalex.org/W4244974423","doi":"https://doi.org/10.1016/s1571-0661(05)80585-7"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80585-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80585-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)80585-7","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":[],"countries":[],"is_corresponding":false,"raw_author_name":"Klaus Havelund","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5053878331","display_name":"Grigore Ro\u015fu","orcid":"https://orcid.org/0000-0002-3102-0421"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Grigore Rosu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.1597,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.94907757,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"70","issue":"4","first_page":"201","last_page":"202"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9911999702453613,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9901000261306763,"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.7942509651184082},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6369037628173828},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5395808219909668},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.4940517246723175},{"id":"https://openalex.org/keywords/byte","display_name":"Byte","score":0.4836205542087555},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.47151410579681396},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.4646894931793213},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4159424304962158},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3652713894844055}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7942509651184082},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6369037628173828},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5395808219909668},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4940517246723175},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.4836205542087555},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47151410579681396},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.4646894931793213},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4159424304962158},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3652713894844055},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80585-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80585-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)80585-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80585-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":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2146279349","https://openalex.org/W2406499533","https://openalex.org/W2809618173","https://openalex.org/W3036403349","https://openalex.org/W3111646971","https://openalex.org/W2950360254","https://openalex.org/W1563456403","https://openalex.org/W2006962382","https://openalex.org/W4375857205","https://openalex.org/W2106507440"],"abstract_inverted_index":{"Runtime":[0,13,37],"Verification":[1,14,38],"2002":[2],"This":[3,255],"volume":[4],"contains":[5],"the":[6,9,58,80,93,101,110,166,225,245,289,292],"Proceedings":[7],"of":[8,57,82,95,103,247,278,294,320,331,355,366,400],"Second":[10],"Workshop":[11,17,35],"on":[12,23,36,45,73],"(RV'02).":[15],"The":[16,33,55,84,140],"was":[18,40,285],"held":[19,41],"in":[20,42,172,179],"Copenhagen,":[21],"Denmark,":[22],"26":[24,297],"July":[25,47,298],"2002,":[26,299],"as":[27,49,122,146,183],"a":[28,50,106,248],"satellite":[29,51],"event":[30,52],"to":[31,53,62,71,75,90,109,162,233,237,260,270],"CAV'02.":[32],"First":[34],"(RV'01)":[39],"Paris,":[43],"France,":[44],"23":[46],"2001,":[48],"CAV'01.":[54],"objective":[56],"RV":[59],"workshops":[60],"is":[61,89,105,253],"bring":[63],"scientists":[64,194],"from":[65,257],"both":[66],"academia":[67],"and":[68,78,125,131,159,185,190,198,207,275,302],"industry":[69],"together":[70],"debate":[72],"how":[74],"monitor,":[76],"analyze":[77],"guide":[79],"execution":[81,102,158,180],"programs.":[83],"ultimate":[85],"longer":[86],"term":[87],"goal":[88],"investigate":[91],"whether":[92],"use":[94,160],"lightweight":[96],"formal":[97],"methods":[98,113,193],"applied":[99],"during":[100,135,138,156,169,268],"programs":[104,115],"viable":[107],"complement":[108],"current":[111],"heavyweight":[112],"proving":[114],"correct":[116],"always":[117],"before":[118],"their":[119],"execution,":[120],"such":[121,182],"model":[123,205],"checking":[124,206],"theorem":[126,208],"proving.":[127],"Dynamic":[128,149],"program":[129,157,249],"monitoring":[130,211,280],"analysis":[132],"can":[133,212,264],"occur":[134],"testing":[136,269],"or":[137,171,228],"operation.":[139,173],"subject":[141],"covers":[142],"several":[143],"technical":[144],"fields":[145],"outlined":[147],"below.":[148],"Program":[150,218,240,305],"Analysis.":[151],"Techniques":[152,220,242],"that":[153,201],"gather":[154],"information":[155],"it":[161],"conclude":[163],"properties":[164],"about":[165],"program,":[167],"either":[168],"test":[170],"Algorithms":[174],"for":[175,204,221,243],"detecting":[176],"multi-threading":[177],"errors":[178],"traces,":[181],"deadlocks":[184],"data":[186],"races.":[187],"Specification":[188],"Languages":[189],"Logics.":[191],"Formal":[192],"have":[195],"investigated":[196],"logics":[197],"developed":[199],"technologies":[200],"are":[202],"suitable":[203],"proving,":[209],"but":[210],"reveal":[213],"new":[214],"observation-based":[215],"foundational":[216,274],"logics.":[217],"Instrumentation.":[219],"instrumenting":[222],"programs,":[223],"at":[224,323],"source":[226],"code":[227,231],"object":[229],"code/byte":[230],"level,":[232],"emit":[234],"relevant":[235],"events":[236],"an":[238],"observer.":[239],"Guidance.":[241],"guiding":[244],"behavior":[246],"once":[250],"its":[251],"specification":[252],"violated.":[254],"ranges":[256],"standard":[258],"exceptions":[259],"advanced":[261],"planning.":[262],"Guidance":[263],"also":[265],"be":[266],"used":[267],"expose":[271],"errors.":[272],"Both":[273],"practical":[276],"aspects":[277],"dynamic":[279],"were":[281],"encouraged.":[282],"Invited":[283],"speaker":[284],"Doron":[286],"Peled":[287],"with":[288],"paper":[290],"\u201cTracing":[291],"executions":[293],"concurrent":[295],"programs\u201d.":[296],"Klaus":[300,339,404],"Havelund":[301,340,405],"Grigore":[303,369,412],"Rosu":[304,370,413],"Committee":[306],"Saddek":[307],"Bensalem":[308],"(VERIMAG":[309],"Laboratory,":[310,384],"France)":[311],"Nikolaj":[312],"Bjorner":[313],"XDegrees,":[314],"USA":[315,326,333,338,346,351,357,362,368,375,380,391,396,402,411,418],"Rance":[316],"Cleaveland":[317],"State":[318],"University":[319,354,365,399],"New":[321],"York":[322],"Stony":[324],"Brook,":[325],"Michael":[327],"Ernst":[328],"Massachusetts":[329],"Institute":[330],"Technology,":[332,345,410],"Patrice":[334],"Godefroid":[335],"Bell":[336,349],"Laboratories,":[337,350],"NASA":[341,371,406,414],"Ames":[342,372,407,415],"Research":[343,373,408,416],"Center/Kestrel":[344,409],"Gerard":[347],"Holzmann":[348],"Sampath":[352],"Kannan":[353],"Pennsylvania,":[356,367,401],"Jim":[358],"Larus":[359],"Microsoft":[360],"Research,":[361],"Insup":[363],"Lee":[364],"Center/RIACS,":[374,417],"John":[376],"Rushby":[377],"SRI":[378],"International,":[379],"Joseph":[381],"Sifakis":[382],"VERIMAG":[383],"France":[385],"Reid":[386],"Simmons":[387],"Carnegie":[388],"Mellon":[389],"University,":[390,395],"Henny":[392],"Sipma":[393],"Stanford":[394],"Oleg":[397],"Sokolsky":[398],"Organizers":[403]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-06-20T20:08:15.867695","created_date":"2022-05-12T00:00:00"}