{"id":"https://openalex.org/W2767710351","doi":"https://doi.org/10.1007/978-3-319-70848-5","title":"Formal Methods: Foundations and Applications","display_name":"Formal Methods: Foundations and Applications","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2767710351","doi":"https://doi.org/10.1007/978-3-319-70848-5","mag":"2767710351"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-70848-5","is_oa":false,"landing_page_url":"http://doi.org/10.1007/978-3-319-70848-5","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"SBMF 2017 Recife","orcid":null},"institutions":[{"id":"https://openalex.org/I169248161","display_name":"Universidade Federal de Pelotas","ror":"https://ror.org/05msy9z54","country_code":"BR","type":"education","lineage":["https://openalex.org/I169248161"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"SBMF 2017 Recife","raw_affiliation_strings":["Universidade Federal de Pelotas, Pelotas, Brazil"],"affiliations":[{"raw_affiliation_string":"Universidade Federal de Pelotas, Pelotas, Brazil","institution_ids":["https://openalex.org/I169248161"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082526740","display_name":"Simone Andr\u00e9 da Costa Cavalheiro","orcid":"https://orcid.org/0000-0002-7442-7379"},"institutions":[{"id":"https://openalex.org/I184558857","display_name":"Royal Holloway University of London","ror":"https://ror.org/04g2vpn86","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I184558857"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Cavalheiro, Simone","raw_affiliation_strings":["Royal Holloway, University of London, Egham, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Royal Holloway, University of London, Egham, United Kingdom","institution_ids":["https://openalex.org/I184558857"]}]},{"author_position":"last","author":{"id":null,"display_name":"Fiadeiro, Jos\u00e9 Luiz 1961-","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fiadeiro, Jos\u00e9 Luiz 1961-","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I169248161"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.1893,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.55284553,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9264000058174133,"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.9264000058174133,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8002656698226929},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5837732553482056},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5197174549102783},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.48882099986076355},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4106415808200836},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3272073268890381}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8002656698226929},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5837732553482056},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5197174549102783},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.48882099986076355},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4106415808200836},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3272073268890381},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-319-70848-5","is_oa":false,"landing_page_url":"http://doi.org/10.1007/978-3-319-70848-5","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:aleph.bib-bvb.de:BVB01-030057888","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-70848-5","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software, multimedia"},{"id":"pmh:oai:dial.uclouvain.be:ebook:108631","is_oa":false,"landing_page_url":"http://hdl.handle.net/2078/ebook:108631","pdf_url":null,"source":{"id":"https://openalex.org/S4306401974","display_name":"DIAL (Catholic University of Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"pmh:oai:discovery.dundee.ac.uk:openaire_cris_publications/10ee9a2e-db63-4e16-a9e1-8692c35be926","is_oa":false,"landing_page_url":"https://discovery.dundee.ac.uk/en/publications/10ee9a2e-db63-4e16-a9e1-8692c35be926","pdf_url":null,"source":{"id":"https://openalex.org/S4306400523","display_name":"Discovery Research Portal (University of Dundee)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177639307","host_organization_name":"University of Dundee","host_organization_lineage":["https://openalex.org/I177639307"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cavalheiro, S & Fiadeiro, J 2017, Preface. in S Cavalheiro & J Fiadeiro (eds), Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 \u2014 December 1, 2017, Proceedings. vol. 10623, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer , 20th Brazilian Symposium on Formal Methods, SBMF 2017, Recife, Brazil, 29/11/17. https://doi.org/10.1007/978-3-319-70848-5","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W2767230972","https://openalex.org/W2767241839","https://openalex.org/W2767243782","https://openalex.org/W2767285307","https://openalex.org/W2767406903","https://openalex.org/W2767451711","https://openalex.org/W2767453498","https://openalex.org/W2767624226","https://openalex.org/W2767756511","https://openalex.org/W2767837353","https://openalex.org/W2767904835","https://openalex.org/W2767986153"],"related_works":["https://openalex.org/W323219885","https://openalex.org/W4292559016","https://openalex.org/W4231937131","https://openalex.org/W1589342014","https://openalex.org/W598950423","https://openalex.org/W1591622305","https://openalex.org/W2488581006","https://openalex.org/W1587246512","https://openalex.org/W2913714777","https://openalex.org/W61995002"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2017-11-17T00:00:00"}