{"id":"https://openalex.org/W1968725487","doi":"https://doi.org/10.1007/s10009-010-0179-1","title":"Formally based tool support for model checking Erlang applications","display_name":"Formally based tool support for model checking Erlang applications","publication_year":2010,"publication_date":"2010-11-02","ids":{"openalex":"https://openalex.org/W1968725487","doi":"https://doi.org/10.1007/s10009-010-0179-1","mag":"1968725487"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-010-0179-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-010-0179-1","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","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":"https://openalex.org/A5088132899","display_name":"Qiang Guo","orcid":"https://orcid.org/0000-0001-8003-3942"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Qiang Guo","raw_affiliation_strings":["Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello, Sheffield, S1 4DP, UK","The University of Sheffield, Department of Computer Science, Regent Court, 211 Portobello, S1 4DP, Sheffield, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello, Sheffield, S1 4DP, UK","institution_ids":["https://openalex.org/I91136226"]},{"raw_affiliation_string":"The University of Sheffield, Department of Computer Science, Regent Court, 211 Portobello, S1 4DP, Sheffield, UK#TAB#","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060549428","display_name":"John Derrick","orcid":"https://orcid.org/0000-0002-6631-8914"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Derrick","raw_affiliation_strings":["Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello, Sheffield, S1 4DP, UK","The University of Sheffield, Department of Computer Science, Regent Court, 211 Portobello, S1 4DP, Sheffield, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Sheffield, Regent Court, 211 Portobello, Sheffield, S1 4DP, UK","institution_ids":["https://openalex.org/I91136226"]},{"raw_affiliation_string":"The University of Sheffield, Department of Computer Science, Regent Court, 211 Portobello, S1 4DP, Sheffield, UK#TAB#","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5088132899"],"corresponding_institution_ids":["https://openalex.org/I91136226"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.3444,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.59447967,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"13","issue":"4","first_page":"355","last_page":"376"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9979000091552734,"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/computer-science","display_name":"Computer science","score":0.8881127238273621},{"id":"https://openalex.org/keywords/erlang","display_name":"Erlang (programming language)","score":0.8296027183532715},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6541727781295776},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.609326183795929},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5990559458732605},{"id":"https://openalex.org/keywords/timeout","display_name":"Timeout","score":0.5736396908760071},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3729594349861145},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.28798389434814453}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8881127238273621},{"id":"https://openalex.org/C82484044","wikidata":"https://www.wikidata.org/wiki/Q334879","display_name":"Erlang (programming language)","level":3,"score":0.8296027183532715},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6541727781295776},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.609326183795929},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5990559458732605},{"id":"https://openalex.org/C31691690","wikidata":"https://www.wikidata.org/wiki/Q1753979","display_name":"Timeout","level":2,"score":0.5736396908760071},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3729594349861145},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.28798389434814453},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10009-010-0179-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-010-0179-1","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W114470091","https://openalex.org/W206028103","https://openalex.org/W1501745438","https://openalex.org/W1519721122","https://openalex.org/W1535261163","https://openalex.org/W1564715825","https://openalex.org/W1584322803","https://openalex.org/W1752114248","https://openalex.org/W1817873823","https://openalex.org/W1909859912","https://openalex.org/W1972404788","https://openalex.org/W1978899117","https://openalex.org/W1993665902","https://openalex.org/W2004320552","https://openalex.org/W2004947025","https://openalex.org/W2015640848","https://openalex.org/W2020435908","https://openalex.org/W2057663649","https://openalex.org/W2126509366","https://openalex.org/W2128804846","https://openalex.org/W2135317805","https://openalex.org/W2164594049","https://openalex.org/W2168615519","https://openalex.org/W2171480813","https://openalex.org/W2235903980","https://openalex.org/W2340102009","https://openalex.org/W2340735175","https://openalex.org/W2899705369","https://openalex.org/W2913459036","https://openalex.org/W2938366666","https://openalex.org/W3215981430","https://openalex.org/W4244719572","https://openalex.org/W6608289140","https://openalex.org/W6684141598"],"related_works":["https://openalex.org/W2001619020","https://openalex.org/W2318163330","https://openalex.org/W2113451084","https://openalex.org/W4362636126","https://openalex.org/W2008788431","https://openalex.org/W2094374755","https://openalex.org/W1740816734","https://openalex.org/W2132325017","https://openalex.org/W2049038689","https://openalex.org/W2462966030"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}