{"id":"https://openalex.org/W2547161582","doi":"https://doi.org/10.5220/0005324203630369","title":"The Effect of Concurrent Programming Idioms on Verification - A Position Paper","display_name":"The Effect of Concurrent Programming Idioms on Verification - A Position Paper","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2547161582","doi":"https://doi.org/10.5220/0005324203630369","mag":"2547161582"},"language":"en","primary_location":{"id":"doi:10.5220/0005324203630369","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005324203630369","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0005324203630369","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088778612","display_name":"David Harel","orcid":"https://orcid.org/0000-0001-7240-3931"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"David Harel","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044509944","display_name":"Guy Katz","orcid":"https://orcid.org/0000-0001-5292-801X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guy Katz","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068704563","display_name":"Assaf Marron","orcid":"https://orcid.org/0000-0001-5904-5105"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Assaf Marron","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5026812393","display_name":"Gera Weiss","orcid":"https://orcid.org/0000-0002-5832-8768"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gera Weiss","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5088778612"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1031,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.88526427,"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":"363","last_page":"369"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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.9991000294685364,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9958999752998352,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7831718921661377},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6176300048828125},{"id":"https://openalex.org/keywords/position-paper","display_name":"Position paper","score":0.5699505805969238},{"id":"https://openalex.org/keywords/position","display_name":"Position (finance)","score":0.5077977776527405},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.052267372608184814}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7831718921661377},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6176300048828125},{"id":"https://openalex.org/C78780964","wikidata":"https://www.wikidata.org/wiki/Q7233193","display_name":"Position paper","level":2,"score":0.5699505805969238},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.5077977776527405},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.052267372608184814},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0005324203630369","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005324203630369","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0005324203630369","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005324203630369","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2911039683","https://openalex.org/W2382416307","https://openalex.org/W2169127058","https://openalex.org/W3112644326","https://openalex.org/W2187575493","https://openalex.org/W2203842767","https://openalex.org/W2389520089","https://openalex.org/W4313200715"],"abstract_inverted_index":{"In":[0,18,45],"recent":[1,110],"years":[2],"formal":[3],"verification":[4,43,105],"techniques":[5],"have":[6],"become":[7],"an":[8,54],"important":[9,143],"part":[10],"of":[11,15,33,42,89],"the":[12,22,40,65,67,93,99,135],"development":[13],"cycle":[14],"concurrent":[16,68],"software.":[17],"order":[19],"to":[20,50,53,57,76,92,104],"tackle":[21],"state":[23],"explosion":[24],"problem":[25,94],"and":[26,111,125],"verify":[27,77],"larger":[28],"systems,":[29,124],"a":[30,86],"great":[31],"deal":[32],"work":[34,83],"has":[35,72],"been":[36],"put":[37],"into":[38],"improving":[39,58],"scalability":[41],"tools.":[44],"this":[46,115,142],"work,":[47],"we":[48],"seek":[49],"draw":[51],"attention":[52],"alternative/complementary":[55],"approach":[56],"scalability,":[59],"which":[60],"sometimes":[61],"receives":[62],"less":[63],"notice:":[64],"effect":[66,116],"programming":[69,118],"model":[70],"itself":[71],"on":[73,141],"one\u00e2\u0080\u0099s":[74],"ability":[75],"programs":[78],"encoded":[79],"within":[80],"it.":[81],"Recent":[82],"suggests":[84],"that":[85,134],"suitable":[87],"choice":[88],"model,":[90],"tailored":[91],"at":[95],"hand,":[96],"may":[97],"render":[98],"produced":[100],"software":[101],"more":[102],"amenable":[103],"techniques.":[106],"We":[107,132],"recapitulate":[108],"some":[109,127],"new":[112],"results":[113],"demonstrating":[114],"in":[117],"models":[119],"for":[120,129],"discrete,":[121],"synchronous":[122],"reactive":[123],"outline":[126],"directions":[128],"future":[130],"work.":[131],"hope":[133],"paper":[136],"will":[137],"trigger":[138],"additional":[139],"research":[140],"topic.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-11-11T00:00:00"}