{"id":"https://openalex.org/W2901400492","doi":"https://doi.org/10.1016/s1571-0661(05)80577-8","title":"Preface","display_name":"Preface","publication_year":2001,"publication_date":"2001-10-01","ids":{"openalex":"https://openalex.org/W2901400492","doi":"https://doi.org/10.1016/s1571-0661(05)80577-8","mag":"2901400492"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80577-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80577-8","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)80577-8","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":["Information Trust Institute"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Trust Institute","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.0562,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.9523574,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"55","issue":"2","first_page":"287","last_page":"288"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9879000186920166,"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.9879000186920166,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9872999787330627,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9869999885559082,"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.8095263838768005},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6581789255142212},{"id":"https://openalex.org/keywords/dynamic-program-analysis","display_name":"Dynamic program analysis","score":0.4833638072013855},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4725843667984009},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.468252032995224},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4599764347076416},{"id":"https://openalex.org/keywords/byte","display_name":"Byte","score":0.4547112286090851},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.433952659368515},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3598381280899048}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8095263838768005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6581789255142212},{"id":"https://openalex.org/C140006998","wikidata":"https://www.wikidata.org/wiki/Q2499307","display_name":"Dynamic program analysis","level":3,"score":0.4833638072013855},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4725843667984009},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.468252032995224},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4599764347076416},{"id":"https://openalex.org/C43364308","wikidata":"https://www.wikidata.org/wiki/Q8799","display_name":"Byte","level":2,"score":0.4547112286090851},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.433952659368515},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3598381280899048},{"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)80577-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80577-8","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)80577-8","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80577-8","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":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2172022734","https://openalex.org/W2248653679","https://openalex.org/W2064613179","https://openalex.org/W3190680636","https://openalex.org/W1547140629","https://openalex.org/W1496697599","https://openalex.org/W2562928796","https://openalex.org/W2207032348","https://openalex.org/W2139436141","https://openalex.org/W2901400492"],"abstract_inverted_index":{"RV'2001":[0,36],"Runtime":[1,13],"Verification":[2,14],"This":[3,235,368,388],"volume":[4,267,369,374,422],"contains":[5],"the":[6,9,56,69,77,86,143,204,225,271,379,394,406,413,420,426,429],"Proceedings":[7],"of":[8,35,58,71,79,227,258,277,289,301,326,352,396,419],"First":[10],"Workshop":[11,17],"on":[12,23,49],"(RV'2001).":[15],"The":[16,33,60,116,263,403],"was":[18,37],"held":[19],"in":[20,149,156,265,378,383,405,431],"Paris,":[21],"France":[22],"23":[24,433],"July":[25,434],"2001,":[26],"as":[27,98,122,160,373],"a":[28,82,228],"satellite":[29],"event":[30],"to":[31,38,47,51,66,85,139,212,216,240,250,425],"CAV'2001.":[32],"objective":[34],"bring":[39],"scientists":[40,172],"from":[41,237],"both":[42],"academia":[43],"and":[44,54,101,107,136,162,168,176,185,255,365,400],"industry":[45],"together":[46],"debate":[48],"how":[50],"monitor,":[52],"analyze":[53],"guide":[55],"execution":[57,78,135,157],"programs.":[59],"ultimate":[61],"longer":[62],"term":[63],"goal":[64],"is":[65,81,233,390,423],"investigate":[67],"whether":[68],"use":[70,137],"lightweight":[72],"formal":[73],"methods":[74,89,171],"applied":[75],"during":[76,111,114,133,146,248],"programs":[80,91],"viable":[83],"complement":[84],"current":[87,421],"heavyweight":[88],"proving":[90],"correct":[92],"always":[93],"before":[94],"their":[95],"execution,":[96],"such":[97,159],"model":[99,183],"checking":[100,184],"theorem":[102,186],"proving.":[103],"Dynamic":[104,126],"program":[105,134,229,272],"monitoring":[106,189,260],"analysis":[108],"can":[109,190,244,409],"occur":[110],"testing":[112,249],"or":[113,148,207],"operation.":[115,150],"subject":[117],"covers":[118],"several":[119],"technical":[120],"fields":[121],"outlined":[123],"below.":[124],"\u2022":[125,165,196,219],"Program":[127,197,220],"Analysis.":[128],"Techniques":[129,199,222],"that":[130,179],"gather":[131],"information":[132],"it":[138],"conclude":[140],"properties":[141],"about":[142],"program,":[144],"either":[145],"test":[147],"Algorithms":[151],"for":[152,182,200,223],"detecting":[153],"multi-threading":[154],"errors":[155],"traces,":[158],"deadlocks":[161],"data":[163],"races.":[164],"Specification":[166],"Languages":[167],"Logics.":[169],"Formal":[170],"have":[173],"investigated":[174],"logics":[175],"developed":[177],"technologies":[178],"are":[180],"suitable":[181],"proving,":[187],"but":[188],"reveal":[191],"new":[192],"observation-based":[193],"foundational":[194,254],"logics.":[195],"Instrumentation.":[198],"instrumenting":[201],"programs,":[202],"at":[203,292,412,428],"source":[205],"code":[206,210],"object":[208],"code/byte":[209],"level,":[211],"emit":[213],"relevant":[214],"events":[215],"an":[217],"observer.":[218],"Guidance.":[221],"guiding":[224],"behavior":[226],"once":[230],"its":[231,401],"specification":[232],"violated.":[234],"ranges":[236],"standard":[238],"exceptions":[239],"advanced":[241],"planning.":[242],"Guidance":[243],"also":[245,355],"be":[246,371,410],"used":[247],"expose":[251],"errors.":[252],"Both":[253],"practical":[256],"aspects":[257],"dynamic":[259],"were":[261,268],"encouraged.":[262],"papers":[264],"this":[266],"reviewed":[269],"by":[270,356],"committee":[273],"consisting,":[274],"besides":[275],"editors,":[276],"Saddek":[278],"Bensalem":[279],"(":[280,286,298,306,312,318,324,331,337,343,350],"VERIMAG":[281,338],"Laboratory":[282,339],")":[283,295,303,309,315,321,328,334,340,347,354],"Rance":[284],"Cleaveland":[285],"State":[287],"University":[288,325,346,351],"New":[290],"York":[291],"Stony":[293],"Brook":[294],"Michael":[296],"Ernst":[297],"Massachusetts":[299],"Institute":[300],"Technology":[302],"Patrice":[304],"Godefroid":[305],"Bell":[307,313],"Laboratories":[308,314],"Gerard":[310],"Holzmann":[311],"Jim":[316],"Larus":[317],"Microsoft":[319],"Research":[320],"Insup":[322],"Lee":[323],"Pennsylvania":[327,353],"John":[329],"Rushby":[330],"SRI":[332],"International":[333],"Joseph":[335],"Sifakis":[336],"Reid":[341],"Simmons":[342],"Carnegie":[344],"Mellon":[345],"Olog":[348],"Sokolsky":[349],"Susanne":[357],"Graf,":[358],"Moonjoo":[359],"Kim,":[360],"Oded":[361],"Maler,":[362],"Laurent":[363],"Mounier,":[364],"Stavros":[366],"Tripakis.":[367],"will":[370],"published":[372,391],"55,":[375],"issue":[376],"2,":[377],"series":[380,389,408],"Electronic":[381],"Notes":[382],"Theoretical":[384],"Computer":[385],"Science":[386,398],"(ENTCS).":[387],"electronically":[392],"through":[393],"facilities":[395],"Elsevier":[397],"B.V.":[399],"auspices.":[402],"volumes":[404],"ENTCS":[407],"accessed":[411],"URL":[414],"http://www.elsevier.nl/locate/entcs":[415],"A":[416],"printed":[417],"version":[418],"distributed":[424],"participants":[427],"workshop":[430],"Berlin.":[432],"2001":[435],"Klaus":[436],"Havelund,":[437],"Grigore":[438],"Rosu":[439]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-21T06:12:48.119943","created_date":"2018-11-29T00:00:00"}