{"id":"https://openalex.org/W198252660","doi":"https://doi.org/10.1016/s1571-0661(05)80832-1","title":"Preface","display_name":"Preface","publication_year":2003,"publication_date":"2003-08-01","ids":{"openalex":"https://openalex.org/W198252660","doi":"https://doi.org/10.1016/s1571-0661(05)80832-1","mag":"198252660"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80832-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80832-1","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)80832-1","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075791951","display_name":"Thomas Arts","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Thomas Arts","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5078610814","display_name":"Wan Fokkink","orcid":"https://orcid.org/0000-0001-7443-8978"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wan Fokkink","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5075791951"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06532508,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"80","issue":null,"first_page":"310","last_page":"311"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6119595766067505},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.5024185180664062},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4467844069004059},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.41539785265922546},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.41426998376846313},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.37127822637557983},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3427296280860901},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2719765901565552},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10908165574073792}],"concepts":[{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6119595766067505},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.5024185180664062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4467844069004059},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.41539785265922546},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.41426998376846313},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.37127822637557983},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3427296280860901},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2719765901565552},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10908165574073792},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80832-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80832-1","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)80832-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80832-1","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":"Sustainable cities and communities","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1589297475","https://openalex.org/W2330706584","https://openalex.org/W2903497870","https://openalex.org/W2164976164","https://openalex.org/W1591622305","https://openalex.org/W2488581006","https://openalex.org/W1587246512","https://openalex.org/W2913714777","https://openalex.org/W61995002"],"abstract_inverted_index":{"The":[0,158,244,329,406,410],"workshops":[1,56],"of":[2,24,45,123,148,154,166,173,184,206,211,232,263,289,313,325,336,356,372,399,430,471],"the":[3,22,87,106,131,146,151,182,208,230,241,264,267,281,311,314,318,326,333,346,357],"ERCIM":[4,88,268,275,349],"working":[5,283],"group":[6,284],"on":[7,19,292],"Formal":[8],"Methods":[9],"for":[10,29,40,176,234,254,321,352],"Industrial":[11],"Critical":[12],"Systems":[13],"(FMICS)":[14],"strive":[15],"to":[16,48,105,113,223,246,285],"promote":[17],"research":[18,291,297],"and":[20,27,42,78,137,142,175,200,214,226,249,317,338,363,374,473],"support":[21,355],"improvement":[23],"formal":[25,46,136,185,293],"methods":[26,139,186,294],"tools":[28],"industrial":[30,43,188],"applications.":[31],"In":[32],"particular,":[33],"they":[34],"are":[35,111,140,195,300],"intended":[36],"as":[37],"a":[38,92,127,170,177,204],"platform":[39],"scientists":[41],"users":[44],"methods,":[47],"exchange":[49],"their":[50,235,255,296,322],"experiences":[51],"with":[52,86,98,130,181,240,266],"these":[53,305],"methods.":[54],"Previous":[55],"were":[57,163,307],"held":[58],"in":[59,90,134,187,280,295,340,378],"Oxford":[60],"(March":[61],"1996),":[62],"Cesena":[63],"(July":[64,70,76,80],"1997),":[65],"Amsterdam":[66],"(May":[67],"1998),":[68],"Trento":[69],"1999),":[71],"Berlin":[72],"(April":[73],"2000),":[74],"Paris":[75],"2001),":[77],"M\u00e1laga":[79],"2002).This":[81],"year's":[82],"workshop":[83,347],"is":[84,350],"co-located":[85],"meeting":[89],"R\u00f8ros,":[91],"small":[93],"town":[94],"near":[95],"Trondheim":[96,341],"that":[97,303],"its":[99,353],"rich":[100],"history":[101],"has":[102],"been":[103],"added":[104],"Unesco":[107],"cultural":[108],"heritage.":[109],"We":[110,299,309],"pleased":[112],"welcome":[114],"two":[115,218],"invited":[116,271],"presentations:":[117],"Reiner":[118],"H\u00e4hnle":[119],"from":[120,145,229,252,274],"Chalmers":[121],"University":[122,147,231,335,371,429,470],"Technology":[124,215,339,474],"talks":[125],"about":[126],"case":[128,189],"study":[129],"KeY":[132],"tool":[133],"which":[135,162,277],"informal":[138],"integrated,":[141],"Werner":[143],"Damm":[144],"Oldenburg":[149],"discusses":[150],"ESACS":[152],"approach":[153],"model-based":[155],"safety":[156],"analysis.":[157],"14":[159],"regular":[160],"contributions,":[161],"selected":[164],"out":[165,217],"25":[167],"submissions,":[168],"cover":[169],"wide":[171],"range":[172],"topics,":[174],"large":[178],"part":[179],"deal":[180],"application":[183,193],"studies.":[190],"Some":[191],"notable":[192],"areas":[194],"smart":[196],"cards,":[197],"Java,":[198],"MPEG,":[199],"avionic":[201],"systems.":[202],"As":[203],"gesture":[205],"involvement,":[207],"European":[209],"Association":[210],"Software":[212],"Science":[213,337,373,472],"(EASST)handed":[216],"best":[219],"paper":[220,236,256],"awards.":[221],"One":[222],"Paul":[224],"Ziemann":[225],"Martin":[227],"Gogolla":[228],"Bremen":[233],"Validating":[237],"OCL":[238],"Specifications":[239],"USE":[242],"Tool.":[243],"other":[245],"Stefan":[247],"Blom":[248],"Simona":[250],"Orzan":[251],"CWI":[253],"Distributed":[257],"State":[258],"Space":[259],"Minimization.":[260],"On":[261],"occasion":[262],"co-location":[265],"meeting,":[269],"we":[270],"10":[272],"representatives":[273],"sites":[276],"actively":[278],"participate":[279],"FMICS":[282],"present":[286],"an":[287],"overview":[288],"current":[290],"groups.":[298],"very":[301],"happy":[302],"all":[304],"invitations":[306],"accepted.":[308],"thank":[310],"members":[312],"programme":[315],"committee":[316],"additional":[319],"referees":[320],"careful":[323],"evaluation":[324],"submitted":[327],"papers.":[328],"local":[330],"organisers":[331],"at":[332],"Norwegian":[334,469],"provided":[342],"excellent":[343],"assistance":[344],"during":[345],"preparation.":[348],"thanked":[351],"financial":[354],"workshop.":[358],"May":[359],"2003,":[360],"Thomas":[361],"Arts":[362],"Wan":[364],"Fokkink":[365],"(program":[366],"chairs)":[367],"Finn":[368,475],"Arve":[369,476],"Aagesen(Norwegian":[370],"Technology,":[375,431],"Norway)Thomas":[376],"Arts(IT-University":[377],"Gothenburg,":[379],"Sweden)Gilles":[380],"Barthe(INRIA":[381],"Sophia-Antipolis,":[382],"France)Armin":[383],"Biere(ETH":[384],"Z\u00fcrich,":[385],"Switzerland)Jonathan":[386],"Bowen(South":[387],"Bank":[388],"University,":[389,392,396,416,423],"UK)Lubos":[390],"Brim(Masaryk":[391],"Czech":[393],"Republic)Andrew":[394],"Butterfield(Dublin":[395],"Ireland)Muffy":[397],"Calder(University":[398],"Glasgow,":[400],"UK)Dennis":[401],"Dams(Bell":[402],"Labs,":[403],"USA)Wan":[404],"Fokkink(CWI,":[405],"Netherlands)Leszek":[407],"Holenderski(Philips":[408],"Research,":[409],"Netherlands)Diego":[411],"Latella(CNRA/ISTI":[412],"Pisa,":[413],"Italy)Martin":[414],"Leucker(Uppsala":[415],"Sweden)Radu":[417],"Mateescu(INRIA":[418],"Rh\u00f4ne-Alpes,":[419],"France)Pedro":[420],"Merino":[421],"G\u00f3mez(M\u00e1laga":[422],"Spain)Ina":[424],"Schieferdecker(Fraunhofer":[425],"FOKUS,":[426],"Germany)Antti":[427],"Valmari(Tampere":[428],"Finland)":[432],"Chutiporn":[433],"AnutariyaElena":[434],"FersmanJan":[435],"ObdrzalekCyrille":[436],"ArthoMaria-del-Mar":[437],"GallardoJan":[438],"PeleskaThomas":[439],"BaarHubert":[440],"GaravelLeif":[441],"Arne":[442],"RoeningenHubert":[443],"BaumeisterPaul":[444],"GorissenSteffen":[445],"SchlagerAndrea":[446],"CoccoliHenri":[447],"HansenViktor":[448],"SchuppanAurore":[449],"CollombKalpesh":[450],"KapoorMazen":[451],"Malek":[452],"ShiaaAguido":[453],"Horatio":[454],"DavisFrank":[455],"KraemerChengzheng":[456],"SunManuel":[457],"D\u00edazFrederic":[458],"LangSergiy":[459],"VilkomirDarius":[460],"DlugoszPablo":[461],"LopezMichael":[462],"WeberMarc":[463],"DurantonWillem":[464],"MallonVilas":[465],"WuwongseGiorgio":[466],"FacontiKedar":[467],"Namjoshi":[468],"Aagesen":[477],"Jarle":[478],"Kotsbak":[479],"Gudrun":[480],"Kulbotten":[481],"Sj\u00f8vol":[482],"Frank":[483],"Lie":[484]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}