{"id":"https://openalex.org/W4408103828","doi":"https://doi.org/10.1145/3703357","title":"Introduction to the Special Collection from FACS 2022","display_name":"Introduction to the Special Collection from FACS 2022","publication_year":2025,"publication_date":"2025-03-03","ids":{"openalex":"https://openalex.org/W4408103828","doi":"https://doi.org/10.1145/3703357"},"language":"en","primary_location":{"id":"doi:10.1145/3703357","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3703357","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3703357","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3703357","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007372421","display_name":"Silvia Lizeth Tapia Tarifa","orcid":"https://orcid.org/0000-0001-9948-2748"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Silvia Lizeth Tapia Tarifa","raw_affiliation_strings":["Informatics, University of Oslo, Oslo, Norway"],"raw_orcid":"https://orcid.org/0000-0001-9948-2748","affiliations":[{"raw_affiliation_string":"Informatics, University of Oslo, Oslo, Norway","institution_ids":["https://openalex.org/I184942183"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045860912","display_name":"Jos\u00e9 Proen\u00e7a","orcid":"https://orcid.org/0000-0003-0971-8919"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Proen\u00e7a","raw_affiliation_strings":["CISTER & Faculty of Sciences, University of Porto, Porto, Portugal"],"raw_orcid":"https://orcid.org/0000-0003-0971-8919","affiliations":[{"raw_affiliation_string":"CISTER & Faculty of Sciences, University of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070407243","display_name":"Jos\u00e9 N. Oliveira","orcid":"https://orcid.org/0000-0002-0196-4229"},"institutions":[{"id":"https://openalex.org/I99682543","display_name":"University of Minho","ror":"https://ror.org/037wpkx04","country_code":"PT","type":"education","lineage":["https://openalex.org/I99682543"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jose Oliveira","raw_affiliation_strings":["Informatics, University of Minho - Gualtar Campus, Braga, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-0196-4229","affiliations":[{"raw_affiliation_string":"Informatics, University of Minho - Gualtar Campus, Braga, Portugal","institution_ids":["https://openalex.org/I99682543"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":{"value":2780,"currency":"USD","value_usd":2780},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0444169,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"37","issue":"2","first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11937","display_name":"Research Data Management Practices","score":0.7508999705314636,"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/T11937","display_name":"Research Data Management Practices","score":0.7508999705314636,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6448075771331787},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5177387595176697},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32551220059394836}],"concepts":[{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6448075771331787},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5177387595176697},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32551220059394836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3703357","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3703357","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3703357","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3703357","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3703357","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3703357","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4408103828.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"This":[0],"special":[1,184],"collection":[2],"of":[3,10,16,29,43,75,94,104,113,167,179,194,203,213,244,252,259,332],"the":[4,17,22,44,73,92,102,155,165,195,250,257,260,303],"International":[5,24],"Journal":[6],"on":[7,26,38,138,241,315],"Formal":[8,27],"Aspects":[9,28],"Computing":[11],"(FAC)":[12],"contains":[13],"a":[14,174,186,201,232,245,343],"selection":[15],"best":[18,160],"papers":[19,161,169,199],"accepted":[20,192],"at":[21],"18th":[23],"Conference":[25],"Component":[30],"Software":[31],"(FACS":[32],"2022).This":[33],"conference":[34,45],"was":[35],"held":[36],"online":[37],"November":[39],"10-11,":[40],"2022.The":[41],"aim":[42],"series":[46],"is":[47,247],"to":[48,56,70,117,149,172,182,235,267,296],"study":[49],"how":[50],"formal":[51],"methods":[52,129],"can":[53],"be":[54,297],"applied":[55],"component-based":[57,86,134],"software":[58,62,77,87,135],"and":[59,68,81,90,96,101,115,125,144,146,153,164,176,211,229,278,284,291,306,317,320,340],"system":[60],"development.Component-based":[61],"development":[63,88,263],"proposes":[64],"sound":[65],"engineering":[66],"principles":[67],"techniques":[69],"cope":[71],"with":[72,107,299],"complexity":[74],"modern":[76],"systems.Many":[78],"challenging":[79],"conceptual":[80],"technological":[82],"issues":[83],"remain":[84],"in":[85,293],"theory":[89],"practice.Furthermore,":[91],"advent":[93],"service-oriented":[95],"cloud":[97],"computing,":[98],"cyber-physical":[99],"systems,":[100,207,210,215],"Internet":[103],"Things":[105],"comes":[106],"new":[108,127,233],"challenges,":[109],"such":[110],"as":[111,249],"quality":[112],"service":[114],"robustness":[116],"withstand":[118],"faults,":[119],"which":[120],"require":[121],"revisiting":[122],"established":[123],"concepts":[124],"developing":[126],"ones.Formal":[128],"have":[130],"provided":[131],"foundations":[132],"for":[133,141,205,219,302,327],"through":[136],"research":[137],"mathematical":[139],"models":[140,290],"components,":[142],"composition":[143],"adaptation,":[145],"rigorous":[147],"approaches":[148],"verification,":[150],"deployment,":[151],"testing,":[152],"certification.After":[154],"FACS":[156],"2022":[157],"conference,":[158],"five":[159,196],"were":[162,170],"selected":[163],"authors":[166],"these":[168],"invited":[171,197],"submit":[173],"revised":[175],"extended":[177],"version":[178],"their":[180],"work":[181],"this":[183],"collection.After":[185],"meticulous":[187],"review":[188],"process,":[189],"we":[190],"finally":[191],"three":[193],"papers.These":[198],"cover":[200],"combination":[202],"analysis":[204],"object-oriented":[206,238],"probabilistic":[208,286],"transition":[209],"co-simulation":[212,344],"real":[214],"including":[216,310],"-\"Footprint":[217],"Logic":[218],"Object-oriented":[220],"Components,":[221],"\"":[222,275,336],"by":[223,256,276,337],"de":[224,226],"Boer,":[225],"Gouw,":[227],"Hiep,":[228],"Bian,":[230],"introduces":[231],"technique":[234],"reason":[236],"about":[237],"components":[239],"based":[240],"footprints.The":[242],"footprint":[243],"component":[246],"formalized":[248],"set":[251],"objects":[253],"possibly":[254],"affected":[255],"execution":[258],"component.The":[261],"technical":[262],"extends":[264],"Hoare":[265],"logic":[266],"handle":[268],"footprints.-\"Embeddings":[269],"between":[270,282],"State-and":[271],"Action-based":[272],"Probabilistic":[273],"Logics,":[274],"Das":[277],"Sharma,":[279],"describes":[280],"embeddings":[281],"state-based":[283],"action-based":[285],"logics":[287,305],"that":[288],"allow":[289],"properties":[292],"one":[294],"setting":[295],"verified":[298],"tools":[300],"designed":[301],"other.Different":[304],"operators":[307,314],"are":[308],"considered,":[309],"PCTL,":[311],"APCTL,":[312],"reward":[313],"these,":[316],"PCTL":[318],"*":[319,322],"APCTL":[321],".-\"A":[323],"Compositional":[324],"Simulation":[325],"Framework":[326],"Abstract":[328],"State":[329],"Machine":[330],"Models":[331],"Discrete":[333],"Event":[334],"Systems,":[335],"Gargantini,":[338],"Riccobene,":[339],"Bonfanti,":[341],"presents":[342],"approach":[345]},"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}