{"id":"https://openalex.org/W4236308467","doi":"https://doi.org/10.1016/s1571-0661(05)80572-9","title":"Preface","display_name":"Preface","publication_year":2001,"publication_date":"2001-08-01","ids":{"openalex":"https://openalex.org/W4236308467","doi":"https://doi.org/10.1016/s1571-0661(05)80572-9"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80572-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80572-9","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)80572-9","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082358544","display_name":"Richard Mayr","orcid":"https://orcid.org/0009-0003-2164-9933"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Richard Mayr","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5082358544"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.44363474,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"50","issue":"4","first_page":"401","last_page":"402"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9965999722480774,"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.9965999722480774,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9778000116348267,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9595000147819519,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8648202419281006},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.8251349925994873},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7596814632415771},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6189059615135193},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.6145437955856323},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5999752879142761},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5836043357849121},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4826129376888275},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.42638644576072693},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4225251078605652},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.41003331542015076},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39212360978126526},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34504902362823486},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08891263604164124}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8648202419281006},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.8251349925994873},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7596814632415771},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6189059615135193},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6145437955856323},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5999752879142761},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5836043357849121},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4826129376888275},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42638644576072693},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4225251078605652},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.41003331542015076},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39212360978126526},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34504902362823486},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08891263604164124},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80572-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80572-9","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)80572-9","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80572-9","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2170721748","https://openalex.org/W2884574904","https://openalex.org/W2130664212","https://openalex.org/W1554767603","https://openalex.org/W2024402979","https://openalex.org/W1565729639","https://openalex.org/W4382045631","https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796"],"abstract_inverted_index":{"Verification":[0,22],"of":[1,9,15,23,87,95,105,122,131,136,146,151,156,165,174,211,225,228,248,257,262,338,342,374,411],"Parameterized":[2,24,148],"Systems":[3,25],"-":[4],"VEPAS":[5,212,253,339],"2001":[6,18,213,254,340,387,425],"This":[7,59],"part":[8],"the":[10,13,16,30,74,102,106,111,120,134,163,215,258,263,290,313,325,332,343,409,412],"volume":[11,286],"contains":[12],"Proceedings":[14],"ICALP":[17],"Satellite":[19,388],"Workshop":[20],"on":[21,39,267],"(VEPAS":[26],"2001),":[27,273],"held":[28,274],"in":[29,47,238,275,284,297,312,317,324],"Aldemar":[31],"Knossos":[32],"Royal":[33],"Village":[34],"Hotel,":[35],"Hersonissos,":[36],"Crete,":[37,276],"Greece":[38],"13":[40],"July":[41,278,424],"2001.":[42,280],"Previously,":[43],"abstract":[44,75],"models":[45,55,76,204,218],"used":[46,182],"formal":[48],"verification":[49,73,149,231],"could":[50],"be":[51,329],"classified":[52],"into":[53],"finite-state":[54],"and":[56,108,193,205,230,235,244,250,270,402,407],"infinite-state":[57],"models.":[58],"distinction":[60],"begins":[61],"to":[62,100,118,161,299,382,399,408],"blur":[63],"as":[64,307,415,417],"a":[65,123,166,169,300],"new":[66],"field":[67],"emerges:":[68],"\u201cparameterized":[69],"verification\u201d.":[70],"In":[71],"parameterized":[72],"can":[77,328],"contain":[78],"parameters.":[79],"Thus,":[80],"they":[81],"do":[82],"not":[83],"represent":[84],"single":[85],"instances":[86],"systems,":[88,157],"but":[89],"actually":[90],"whole":[91,112],"(possibly":[92],"infinite)":[93],"classes":[94],"instances.":[96],"The":[97,208,281,304,322,335],"goal":[98],"is":[99,150],"show":[101,119,162],"correctness":[103,121,135,164],"independently":[104,173],"parameter":[107],"thus":[109],"for":[110,126,141,183,186,219,302,391,420],"class.":[113],"For":[114],"example,":[115],"one":[116,159,256],"wants":[117,160],"communication":[124],"protocol":[125],"an":[127,137,142,222],"arbitrary":[128,143,223],"number":[129,144,224],"n":[130,145],"participants":[132],"or":[133],"elevator":[138],"control":[139],"software":[140],"floors.":[147],"special":[152],"importance":[153],"w.r.t.":[154],"scalability":[155],"i.e.,":[158],"system":[167],"with":[168,221],"certain":[170],"basic":[171],"structure":[172],"its":[175],"size.":[176],"While":[177],"proof":[178,236,251],"techniques":[179,237],"have":[180],"been":[181],"such":[184],"problems":[185],"some":[187],"time,":[188],"more":[189],"recently":[190],"also":[191],"algorithmic":[192],"semi-algorithmic":[194],"approaches":[195],"are":[196,397],"being":[197],"developed.":[198],"These":[199],"often":[200],"use":[201],"automata":[202],"theoretic":[203,241],"acceleration":[206,245],"techniques.":[207,252],"main":[209],"topics":[210],"were":[214,287],"following:":[216],"Abstract":[217],"systems":[220,229],"components.":[226],"Scalability":[227],"methods.":[232,246],"Abstraction":[233],"methods":[234],"verification.":[239],"Automata":[240],"models,":[242],"fixpoints":[243],"Combinations":[247],"algorithms":[249],"was":[255],"four":[259],"satellite":[260],"workshops":[261],"28th":[264],"International":[265],"Colloquium":[266],"Automata,":[268],"Languages":[269],"Programming":[271],"(ICALP":[272,386],"Greece,":[277],"8-12,":[279],"five":[282],"papers":[283],"this":[285],"selected":[288],"by":[289],"Program":[291,413],"Committee":[292,414],"from":[293],"nine":[294],"submissions":[295],"received":[296],"response":[298],"Call":[301],"Papers.":[303],"proceedings":[305],"appear":[306],"Volume":[308],"50":[309],"No.":[310],"4":[311],"series":[314,327],"Electronic":[315],"Notes":[316],"Theoretical":[318],"Computer":[319],"Science":[320],"(ENTCS).":[321],"volumes":[323],"ENTCS":[326],"accessed":[330],"at":[331,376],"URL":[333],"http://www.elsevier.nl/locate/entcs.":[334],"program":[336],"committee":[337],"consisted":[341],"following":[344],"people:":[345],"Ahmed":[346,403],"Bouajjani":[347,404],"(Universit\u00e9":[348],"Paris":[349],"7,":[350],"France)":[351],"Bengt":[352],"Jonsson":[353],"(Uppsala":[354],"University,":[355,360],"Sweden)":[356],"Anton\u00edn":[357],"Kucera":[358],"(Masaryk":[359],"Czech":[361],"Republic)":[362],"Richard":[363,426],"Mayr":[364,427],"(chair)":[365],"(Albert-Ludwigs":[366],"University":[367],"Freiburg,":[368],"Germany)":[369],"A.":[370],"Prasad":[371],"Sistla":[372],"(University":[373],"Illinois":[375],"Chicago,":[377],"USA)":[378],"We":[379],"would":[380],"like":[381],"thank":[383],"Christos":[384],"Zaroliagis":[385],"Workshops":[389],"Coordinator)":[390],"his":[392],"continuous":[393],"support.":[394],"Many":[395],"thanks":[396],"due":[398],"Parosh":[400],"Abdulla":[401],"(Invited":[405],"Speakers)":[406],"members":[410],"well":[416],"their":[418,421],"sub-referees":[419],"accurate":[422],"work.":[423]},"counts_by_year":[],"updated_date":"2026-03-07T13:37:22.277990","created_date":"2022-05-12T00:00:00"}