{"id":"https://openalex.org/W4254075662","doi":"https://doi.org/10.1016/s1571-0661(05)80413-x","title":"Preface","display_name":"Preface","publication_year":2002,"publication_date":"2002-12-01","ids":{"openalex":"https://openalex.org/W4254075662","doi":"https://doi.org/10.1016/s1571-0661(05)80413-x"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80413-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80413-x","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)80413-x","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016408902","display_name":"Rance Cleaveland","orcid":"https://orcid.org/0000-0002-4952-5380"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rance Cleaveland","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5022400989","display_name":"Hubert Garavel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hubert Garavel","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5016408902"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.41983079,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"66","issue":"2","first_page":"211","last_page":"213"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9948999881744385,"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.9948999881744385,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9890999794006348,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9872999787330627,"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/formal-methods","display_name":"Formal methods","score":0.7744498252868652},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.656761884689331},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.5884768962860107},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.58732008934021},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5507572293281555},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5281800031661987},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.4417828321456909},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.20156505703926086},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19053849577903748},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15912064909934998}],"concepts":[{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.7744498252868652},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.656761884689331},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.5884768962860107},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.58732008934021},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5507572293281555},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5281800031661987},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.4417828321456909},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.20156505703926086},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19053849577903748},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15912064909934998},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80413-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80413-x","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)80413-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80413-x","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.5799999833106995,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1981576886","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2145025660","https://openalex.org/W2981877881","https://openalex.org/W1994222400"],"abstract_inverted_index":{"The":[0,263],"aim":[1,110],"of":[2,21,42,55,70,91,97,114,154,164,206,218,257,265,276,279,299,311,321,335,364,378,421,480,486,500,507,567],"the":[3,17,40,52,68,87,165,204,210,255,277,284,297,300,304,312,329,333,346,372,396,407],"FMICS":[4,266,365,408],"workshops":[5,29,59,163],"is":[6,201],"to":[7,32,62,119,225,295,328,353,385],"provide":[8],"a":[9,273],"forum":[10],"for":[11,67,75,86,172,235,247,307,341,358,388],"researchers":[12],"who":[13,36,232,242,253],"are":[14,30,37,81,222,268,325],"interested":[15,46],"in":[16,24,39,47,51,117,157,178,244,283,289,392],"development":[18,66,90],"and":[19,45,65,73,89,95,102,106,128,133,159,194,250,281,303,337,356,361,394,428],"application":[20],"formal":[22,43,71,92,137,155],"methods":[23,44,72,108,116,124,138,156],"industry.":[25],"In":[26],"particular,":[27],"these":[28,56],"intended":[31],"bring":[33],"together":[34],"scientists":[35],"active":[38],"area":[41],"exchanging":[48],"their":[49,120,308,342,359,389],"experiences":[50],"industrial":[53,76,121,142,160],"usage":[54],"methods.":[57],"These":[58],"also":[60,223,387],"strive":[61],"promote":[63],"research":[64],"improvement":[69],"tools":[74],"applications.":[77],"Topics":[78],"include,":[79],"but":[80],"not":[82],"restricted":[83],"to:":[84],"Tools":[85],"design":[88],"descriptions":[93],"Verification":[94,105],"validation":[96,107],"complex,":[98],"distributed,":[99],"real-time":[100],"systems":[101,104],"embedded":[103],"that":[109],"at":[111,203,332],"circumventing":[112],"shortcomings":[113],"existing":[115],"respect":[118],"applicability":[122],"Formal":[123,170],"based":[125],"conformance,":[126],"interoperability":[127],"performance":[129],"testing":[130],"Case":[131],"studies":[132],"project":[134],"reports":[135],"on":[136,169],"related":[139],"projects":[140],"with":[141],"participation":[143],"(e.g.":[144],"safety":[145],"critical":[146],"systems,":[147,149],"mobile":[148],"object-based":[150],"distributed":[151],"systems)":[152],"Application":[153],"standardization":[158],"forums":[161],"Previous":[162],"ERCIM":[166,355],"working":[167,409],"group":[168],"Methods":[171],"Industrial":[173],"Critical":[174],"Systems":[175],"were":[176],"held":[177],"Oxford":[179],"(March":[180],"1996),":[181],"Cesena":[182],"(July":[183,189,196],"1997),":[184],"Amsterdam":[185],"(May":[186],"1998),":[187],"Trento":[188],"1999),":[190],"Berlin":[191],"(April":[192],"2000),":[193],"Paris":[195],"2001).":[197],"This":[198],"year's":[199],"workshop":[200,347],"organized":[202],"University":[205,278,334,479,506,566],"M\u00e1laga,":[207,280,336,468],"immediately":[208],"after":[209],"ICALP":[211,357],"2002":[212,403],"conference.":[213],"It":[214],"includes":[215],"five":[216],"sessions":[217],"regular":[219],"contributions.":[220],"We":[221,293,324],"pleased":[224],"welcome":[226],"three":[227],"invited":[228],"presentations:":[229],"Andreas":[230],"Podelski,":[231],"discusses":[233],"abstraction":[234],"software":[236],"model":[237],"checking,":[238],"Andrew":[239],"D.":[240],"Gordon,":[241],"investigates":[243],"authenticity":[245],"types":[246],"cryptographic":[248],"protocols":[249],"Wang":[251],"Yi,":[252],"addresses":[254],"issue":[256],"synthetizing":[258],"verified":[259],"real":[260],"time":[261],"software.":[262],"proceedings":[264],"02":[267],"published":[269],"both":[270],"physically,":[271],"as":[272],"technical":[274,390],"report":[275],"electronically,":[282],"ENTCS":[285],"series":[286],"(Electronic":[287],"Notes":[288],"Theoretical":[290],"Computer":[291],"Science).":[292],"wish":[294],"thank":[296,354,386],"members":[298],"programme":[301],"committee":[302],"additional":[305],"reviewers":[306],"careful":[309],"evaluation":[310],"submitted":[313],"papers":[314,316],"(13":[315],"have":[317],"been":[318],"selected":[319],"out":[320],"22":[322],"submitted).":[323],"very":[326],"grateful":[327],"local":[330,464,579],"organizers":[331],"especially":[338],"Pedro":[339],"Merino,":[340,578],"excellent":[343],"assistance":[344],"during":[345],"preparation.":[348],"Finally,":[349],"we":[350,382],"would":[351,383],"like":[352,384],"financial":[360],"organizational":[362],"support":[363,391],"02.":[366],"Our":[367],"reviewing":[368],"process":[369],"benefited":[370],"from":[371],"METAFrame":[373,379],"Online":[374],"Conference":[375],"Service":[376],"(courtesy":[377],"Technologies,":[380,459],"which":[381],"setting":[393],"running":[395],"service).":[397],"Rance":[398],"Cleaveland,":[399,425],"Hubert":[400],"Garavel":[401],"June":[402],"Further":[404],"information":[405],"about":[406],"group:":[410],"http://www.inrialpes.fr/vasy/fmics":[411],"Programme":[412],"Committee":[413,562],"T.":[414,456],"Arts":[415],"(Ericsson,":[416],"S)":[417],"M.":[418,483,569],"Bernardo":[419],"(Univ.":[420,453,467],"Urbino,":[422],"I)":[423,445],"R.":[424,490],"co-chair":[426,437],"(SUNY":[427],"Reactive":[429],"Systems,":[430],"USA)":[431,450,514],"W.J.":[432],"Fokkink(CWI,":[433],"NL)":[434,455],"H.":[435,451],"Garavel,":[436],"(INRIA":[438,493],"Rhone-Alpes,":[439],"F)":[440,489,496],"S.":[441,475],"Gnesi":[442],"(CNR/IEI":[443],"Pisa,":[444],"P.":[446,461,573,577],"Godefroid":[447],"(Bell":[448],"Labs,":[449],"Hermanns":[452],"Twente,":[454],"Margaria":[457],"(METAFrame":[458],"D)":[460,474],"Merino":[462],"G\u00f3mez,":[463],"organization":[465,580],"chair":[466,581],"E)":[469],"I.":[470],"Schieferdecker":[471],"(GMD":[472],"Berlin,":[473],"Schneider":[476],"(Royal":[477],"Holloway,":[478],"London,":[481],"UK)":[482,502],"Sighireanu":[484],"(University":[485,499],"Paris-7":[487],"Jussieu,":[488],"de":[491],"Simone":[492],"Sophia":[494],"Antipolis,":[495],"U.":[497],"Ultes-Nitsche":[498],"Southampton,":[501],"A.":[503],"Valmari":[504],"(Tampere":[505],"Technology,":[508],"Fi)":[509],"W.":[510],"Visser":[511],"(RIACS/NASA":[512],"Ames,":[513],"Additional":[515],"Reviewers":[516],"Bahareh":[517],"Badban":[518],"Clara":[519],"Benac":[520],"Earle":[521],"Tommaso":[522],"Bolognesi":[523],"Antonio":[524],"Cerone":[525],"Kousha":[526],"Etessami":[527],"Alessandro":[528],"Fantechi":[529],"Natalia":[530],"Ioustinova":[531],"Frederic":[532],"Lang":[533],"Izak":[534],"van":[535],"Langevelde":[536],"Michael":[537],"Leuschel":[538],"Pablo":[539],"Lopez":[540],"Cecilia":[541],"Mascolo":[542],"Mieke":[543],"Massink":[544],"Radu":[545],"Mateescu":[546],"Simona":[547],"Orzan":[548],"Jun":[549],"Pang":[550],"Laurence":[551],"Pierre":[552],"Simon":[553],"St":[554],"James":[555],"Laurent":[556],"Thery":[557],"Mikko":[558],"Tiusanen":[559],"Local":[560],"Organizing":[561],"Software":[563],"Engineering":[564],"Group,":[565],"M\u00e1laga":[568],"del":[570],"Mar":[571],"Gallardo":[572],"L\u00f3pez":[574],"J.":[575],"Mart\u00ednez":[576]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}