{"id":"https://openalex.org/W1616264825","doi":"https://doi.org/10.1007/978-3-030-89159-6","title":"Leveraging Applications of Formal Methods, Verification and Validation","display_name":"Leveraging Applications of Formal Methods, Verification and Validation","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W1616264825","doi":"https://doi.org/10.1007/978-3-030-89159-6","mag":"1616264825"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-89159-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-89159-6","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://research.tue.nl/en/publications/429faee9-24b8-4680-b51b-2a10ce06fe1d","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Margaria, Tiziana","orcid":null},"institutions":[{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["IE"],"is_corresponding":true,"raw_author_name":"Margaria, Tiziana","raw_affiliation_strings":["University of Limerick, Limerick, Ireland"],"affiliations":[{"raw_affiliation_string":"University of Limerick, Limerick, Ireland","institution_ids":["https://openalex.org/I230495080"]}]},{"author_position":"last","author":{"id":null,"display_name":"Steffen, Bernhard","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Steffen, Bernhard","raw_affiliation_strings":["TU Dortmund, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dortmund, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I230495080"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.9874,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.91331924,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"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/T10142","display_name":"Formal Methods in Verification","score":0.32260000705718994,"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.32260000705718994,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6348084211349487},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5539733171463013},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5508527755737305},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.46109309792518616},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35128653049468994},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31951355934143066},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.051983803510665894},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.04341283440589905}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6348084211349487},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5539733171463013},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5508527755737305},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.46109309792518616},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35128653049468994},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31951355934143066},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.051983803510665894},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.04341283440589905},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-030-89159-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-89159-6","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:pure.tue.nl:openaire/429faee9-24b8-4680-b51b-2a10ce06fe1d","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/429faee9-24b8-4680-b51b-2a10ce06fe1d","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bartholomeus, M, Erkens, R, Luttik, S P & Willemse, T A C 2021, Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17\u201329, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 13036, Theoretical Computer Science and General Issues (LNTCS), Springer, Cham, pp. 498-499, 10th International Symposium on Leveraging Applications of Formal Method, ISoLA 2021, Rhodes, Greece, 17/10/21. < https://link.springer.com/book/10.1007/978-3-030-89159-6 >","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/bbff5f3e-f3b9-4f05-848e-310cee446128","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/bbff5f3e-f3b9-4f05-848e-310cee446128","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bouwman, M S, Luttik, S P, Rensink, A, Stoelinga, M I A & van der Wal, D 2021, Formal Methods in Railway Signalling Infrastructure Standardisation Processes. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17\u201329, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 13036, Theoretical Computer Science and General Issues (LNTCS), vol. 13036, Springer, Cham, pp. 500-501, 10th International Symposium on Leveraging Applications of Formal Method, ISoLA 2021, Rhodes, Greece, 17/10/21. < https://link.springer.com/book/10.1007/978-3-030-89159-6 >","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:elib.dlr.de:148294","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-89159-6>.","pdf_url":null,"source":{"id":"https://openalex.org/S4377196266","display_name":"elib (German Aerospace Center)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2898391981","host_organization_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","host_organization_lineage":["https://openalex.org/I2898391981"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/429faee9-24b8-4680-b51b-2a10ce06fe1d","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/429faee9-24b8-4680-b51b-2a10ce06fe1d","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bartholomeus, M, Erkens, R, Luttik, S P & Willemse, T A C 2021, Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17\u201329, 2021, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 13036, Theoretical Computer Science and General Issues (LNTCS), Springer, Cham, pp. 498-499, 10th International Symposium on Leveraging Applications of Formal Method, ISoLA 2021, Rhodes, Greece, 17/10/21. < https://link.springer.com/book/10.1007/978-3-030-89159-6 >","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2981877881","https://openalex.org/W2152752131","https://openalex.org/W61995002","https://openalex.org/W161255303","https://openalex.org/W2898126919","https://openalex.org/W1573022308","https://openalex.org/W1946493810","https://openalex.org/W2534958226","https://openalex.org/W2899944714","https://openalex.org/W2562928796"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2016-06-24T00:00:00"}