{"id":"https://openalex.org/W4294768182","doi":"https://doi.org/10.1007/978-3-031-15008-1","title":"Formal Methods for Industrial Critical Systems","display_name":"Formal Methods for Industrial Critical Systems","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4294768182","doi":"https://doi.org/10.1007/978-3-031-15008-1"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-15008-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-15008-1","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},"type":"book","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ris.utwente.nl/ws/files/483404482/1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"FMICS 2022 Warschau","orcid":null},"institutions":[{"id":"https://openalex.org/I36343934","display_name":"Concurrent Technologies Corporation","ror":"https://ror.org/00sgv1989","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I36343934"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"FMICS 2022 Warschau","raw_affiliation_strings":["Construction of verified concurrent systems"],"affiliations":[{"raw_affiliation_string":"Construction of verified concurrent systems","institution_ids":["https://openalex.org/I36343934"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Groote, Jan Friso 1965-","orcid":null},"institutions":[{"id":"https://openalex.org/I2801958098","display_name":"Ansaldo (Italy)","ror":"https://ror.org/03ynt1573","country_code":"IT","type":"company","lineage":["https://openalex.org/I2801958098"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Groote, Jan Friso 1965-","raw_affiliation_strings":["Ansaldo STS\u00b7"],"affiliations":[{"raw_affiliation_string":"Ansaldo STS\u00b7","institution_ids":["https://openalex.org/I2801958098"]}]},{"author_position":"last","author":{"id":null,"display_name":"Huisman, Marieke","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huisman, Marieke","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I36343934"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.1627,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.46094946,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9327999949455261,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11159","display_name":"Manufacturing Process and Optimization","score":0.9327999949455261,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9261000156402588,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9107000231742859,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"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/computer-science","display_name":"Computer science","score":0.5007457733154297},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4324856102466583},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.19638729095458984}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5007457733154297},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4324856102466583},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.19638729095458984}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-031-15008-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-15008-1","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},{"id":"pmh:oai:ris.utwente.nl:openaire/d7423f4d-5e88-4457-aa02-aacfd7021b96","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/d7423f4d-5e88-4457-aa02-aacfd7021b96","pdf_url":"https://ris.utwente.nl/ws/files/483404482/1.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Groote, J F & Huisman, M 2022, Preface. in Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14\u201315, 2022, Proceedings., 13487, Lecture Notes in Computer Science, vol. 13487, Springer, pp. vi-vi, 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, Warsaw, Poland, 14/09/22. < https://link.springer.com/book/10.1007/978-3-031-15008-1 >","raw_type":"info:eu-repo/semantics/annotation"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/3b3436e7-82ad-4e85-afe0-3dd8161e90a8","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/3b3436e7-82ad-4e85-afe0-3dd8161e90a8","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Groote , J F & Huisman , M (eds) 2022 , Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings . Lecture Notes in Computer Science , vol. 13487 , Springer . https://doi.org/10.1007/978-3-031-15008-1","raw_type":"book"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/b77537d9-e335-40c2-9055-fd82dbc19405","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/b77537d9-e335-40c2-9055-fd82dbc19405","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Groote, J F & Huisman, M 2022, Preface. in J F Groote & M Huisman (eds), Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14\u201315, 2022, Proceedings. Lecture Notes in Computer Science, vol. 13487, Springer, pp. v, 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, Warsaw, Poland, 14/09/22. https://doi.org/10.1007/978-3-031-15008-1","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire/d7423f4d-5e88-4457-aa02-aacfd7021b96","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/d7423f4d-5e88-4457-aa02-aacfd7021b96","pdf_url":"https://ris.utwente.nl/ws/files/483404482/1.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Groote, J F & Huisman, M 2022, Preface. in Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14\u201315, 2022, Proceedings., 13487, Lecture Notes in Computer Science, vol. 13487, Springer, pp. vi-vi, 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, Warsaw, Poland, 14/09/22. < https://link.springer.com/book/10.1007/978-3-031-15008-1 >","raw_type":"info:eu-repo/semantics/annotation"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4294768182.pdf","grobid_xml":"https://content.openalex.org/works/W4294768182.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2022-09-06T00:00:00"}