{"id":"https://openalex.org/W4246926846","doi":"https://doi.org/10.1145/1081180","title":"Proceedings of the 10th international workshop on Formal methods for industrial critical systems","display_name":"Proceedings of the 10th international workshop on Formal methods for industrial critical systems","publication_year":2005,"publication_date":"2005-09-05","ids":{"openalex":"https://openalex.org/W4246926846","doi":"https://doi.org/10.1145/1081180"},"language":"en","primary_location":{"id":"doi:10.1145/1081180","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1081180","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"},"type":"paratext","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9923999905586243,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9923999905586243,"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.9922999739646912,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9908999800682068,"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/library-science","display_name":"Library science","score":0.5650020241737366},{"id":"https://openalex.org/keywords/working-group","display_name":"Working group","score":0.5181233286857605},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.4111367464065552},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.3750486373901367},{"id":"https://openalex.org/keywords/management","display_name":"Management","score":0.3229270577430725},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.3170230984687805},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2808012366294861}],"concepts":[{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.5650020241737366},{"id":"https://openalex.org/C161936438","wikidata":"https://www.wikidata.org/wiki/Q27493","display_name":"Working group","level":2,"score":0.5181233286857605},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.4111367464065552},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.3750486373901367},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.3229270577430725},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.3170230984687805},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2808012366294861},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1081180","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1081180","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.550000011920929,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4313288672","https://openalex.org/W4206115355","https://openalex.org/W2391645169","https://openalex.org/W2029359613","https://openalex.org/W2375453827","https://openalex.org/W2366365402","https://openalex.org/W2760158997","https://openalex.org/W2370093201","https://openalex.org/W2010066730"],"abstract_inverted_index":{"This":[0,190],"10th":[1],"edition":[2,333],"of":[3,17,34,37,40,71,91,93,108,136,156,212,230,241,250,289,294,309,324,330,334,346,349,359,389,447,451],"the":[4,21,38,53,59,69,89,104,130,143,147,151,192,198,205,210,228,238,287,292,307,316,321,331,335,344,347,350,378,386,394,401,410,422,426,445,448],"International":[5],"Workshop":[6],"on":[7,66,209,286,315,320,385,400],"Formal":[8,360],"Methods":[9],"for":[10,30,52,76,88,111,150,222,343,396,404,407],"Industrial":[11],"Critical":[12],"Systems":[13],"(FMICS),":[14],"a":[15,27,48,85,120,284,313,337,382],"series":[16],"workshops":[18,61,158],"organised":[19],"by":[20,362],"homonimous":[22],"ERCIM":[23,134,148],"Working":[24,116,145,154],"Group,":[25],"is":[26,195,235],"good":[28,252],"occasion":[29,329],"re-examining":[31],"ten":[32,57,372],"years":[33,58,373],"best":[35,435],"practises":[36],"use":[39],"formal":[41,72,109,295,390,405],"methods":[42,73,110,300,391,406],"in":[43,103,161,227,237,243,301,409],"industry":[44,408],"and":[45,67,74,106,124,141,186,204,225,233,296,299,353,366,392,454],"to":[46,63,83,270,380,412,429],"outline":[47],"promising":[49],"way":[50,402],"forward":[51],"next":[54],"decade.":[55],"Since":[56],"FMICS":[60,115,144,193,423],"strive":[62],"promote":[64],"research":[65],"support":[68,446],"improvement":[70],"tools":[75],"industrial":[77,98,112,264,387],"critical":[78],"applications.":[79,113],"They":[80],"are":[81,101,217,267,415],"meant":[82],"provide":[84],"common":[86],"forum":[87,221,427],"exchange":[90],"experiences":[92],"scientists":[94],"as":[95,97,261,263,425],"well":[96,262],"professionals":[99],"that":[100,418],"involved":[102],"development":[105],"application":[107,293,388],"The":[114],"Group":[117,146,155],"has":[118,340],"achieved":[119],"broad":[121],"public":[122],"visibility":[123],"actively":[125],"aims":[126],"at":[127],"interaction":[128],"with":[129,197,291,444],"wider":[131],"scientific":[132],"community.The":[133],"board":[135],"directors":[137],"recognised":[138],"these":[139],"merits":[140],"granted":[142,440],"award":[149,437],"most":[152,317],"successful":[153],"200.Previous":[157],"were":[159],"held":[160,236],"Oxford":[162],"(March":[163],"1996),":[164],"Cesena":[165],"(July":[166,172,178,181,184],"1997),":[167],"Amsterdam":[168],"(May":[169],"1998),":[170],"Trento":[171],"1999),":[173],"Berlin":[174],"(April":[175],"2000),":[176,179],"Paris":[177],"Malaga":[180],"2002),":[182],"Trondheim":[183],"2003)":[185],"Linz":[187],"(September":[188],"2004).":[189],"year":[191,443],"workshop":[194,336,379,424],"co-located":[196],"European":[199,449],"Software":[200,213,279,452],"Engineering":[201,214],"Conference":[202],"(ESEC)":[203],"ACM":[206],"SIGSOFT":[207],"Symposium":[208],"Foundations":[211],"(FSE)":[215],"which":[216,234],"an":[218],"internationally":[219],"renowned":[220],"researchers,":[223],"practitioners":[224],"educators":[226],"field":[229],"software":[231],"engineering":[232],"beautiful":[239],"city":[240],"Lisbon":[242],"Portugal.Fourteen":[244],"contributions":[245],"have":[246],"been":[247,341],"selected,":[248],"out":[249],"27":[251],"quality":[253],"submissions,":[254],"covering":[255],"both":[256,419],"industrially":[257],"relevant":[258],"theoretical":[259],"topics":[260],"case":[265],"studies.We":[266],"also":[268,441],"pleased":[269],"welcome":[271],"two":[272],"invited":[273],"speakers:":[274],"Luis":[275],"Andrade":[276],"from":[277,306],"ATX":[278,290],"SA,":[280],"Lisbon,":[281],"who":[282,311],"gives":[283,312],"presentation":[285,314,345],"experience":[288],"rigorous":[297],"techniques":[298],"real":[302],"projects,":[303],"andChristel":[304],"Baier":[305],"University":[308],"Bonn,":[310],"recent":[318],"developments":[319],"quantitative":[322],"analysis":[323],"distributed":[325],"randomized":[326],"protocols.":[327],"On":[328],"tenth":[332],"special":[338],"session":[339],"arranged":[342],"follow-up":[348],"much":[351],"cited":[352],"widely":[354],"discussed":[355],"article":[356],"\"Ten":[357],"Commandments":[358],"Methods\"":[361],"Jonathan":[363],"P.":[364],"Bowen":[365],"Michael":[367],"G.":[368],"Hincheywhich":[369],"was":[370],"published":[371],"ago.":[374],"Both":[375],"authors":[376,420],"join":[377],"present":[381,430],"ten-year":[383],"perspective":[384],"set":[393],"stage":[395],"another":[397],"lively":[398],"discussion":[399],"ahead":[403],"decade":[411],"come.":[413],"We":[414],"very":[416],"happy":[417],"chose":[421],"where":[428],"their":[431],"new":[432],"ideas.":[433],"A":[434],"paper":[436],"will":[438],"be":[439],"this":[442],"Association":[450],"Science":[453],"Technology":[455],"(EASST).":[456]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}