{"id":"https://openalex.org/W1975831434","doi":"https://doi.org/10.1145/2824815.2824819","title":"Jacco: more efficient model checking toolset for Java actor programs","display_name":"Jacco: more efficient model checking toolset for Java actor programs","publication_year":2015,"publication_date":"2015-10-26","ids":{"openalex":"https://openalex.org/W1975831434","doi":"https://doi.org/10.1145/2824815.2824819","mag":"1975831434"},"language":"en","primary_location":{"id":"doi:10.1145/2824815.2824819","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2824815.2824819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control","raw_type":"proceedings-article"},"type":"conference-paper","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/A5014557342","display_name":"Arvin Zakeriyan","orcid":"https://orcid.org/0000-0003-3522-0786"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Arvin Zakeriyan","raw_affiliation_strings":["University of Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038059275","display_name":"Ehsan Khamespanah","orcid":"https://orcid.org/0000-0001-5278-5442"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]},{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR","IS"],"is_corresponding":false,"raw_author_name":"Ehsan Khamespanah","raw_affiliation_strings":["University of Tehran, Iran / Reykjavik University, Iceland","University of Tehran, Iran / Reykjavik University, Iceland#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tehran, Iran / Reykjavik University, Iceland","institution_ids":["https://openalex.org/I123185442","https://openalex.org/I23946033"]},{"raw_affiliation_string":"University of Tehran, Iran / Reykjavik University, Iceland#TAB#","institution_ids":["https://openalex.org/I23946033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078919695","display_name":"Marjan Sirjani","orcid":"https://orcid.org/0000-0001-5478-0987"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]}],"countries":["IS"],"is_corresponding":false,"raw_author_name":"Marjan Sirjani","raw_affiliation_strings":["Reykjavik University, Iceland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Reykjavik University, Iceland","institution_ids":["https://openalex.org/I123185442"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079537045","display_name":"Ramtin Khosravi","orcid":"https://orcid.org/0000-0001-6393-0959"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Ramtin Khosravi","raw_affiliation_strings":["University of Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3327,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.4845325,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"37","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8834481835365295},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.8348378539085388},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.782781720161438},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7314296364784241},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6386352181434631},{"id":"https://openalex.org/keywords/pathfinder","display_name":"Pathfinder","score":0.6014159321784973},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5406830310821533},{"id":"https://openalex.org/keywords/java-concurrency","display_name":"Java concurrency","score":0.5285372138023376},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48395851254463196},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4746972918510437},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.43323129415512085},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.38698989152908325},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.24796465039253235},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.07459068298339844}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8834481835365295},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.8348378539085388},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.782781720161438},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7314296364784241},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6386352181434631},{"id":"https://openalex.org/C2778940482","wikidata":"https://www.wikidata.org/wiki/Q7144753","display_name":"Pathfinder","level":2,"score":0.6014159321784973},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5406830310821533},{"id":"https://openalex.org/C181907185","wikidata":"https://www.wikidata.org/wiki/Q1100098","display_name":"Java concurrency","level":4,"score":0.5285372138023376},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48395851254463196},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4746972918510437},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.43323129415512085},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.38698989152908325},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.24796465039253235},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.07459068298339844},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2824815.2824819","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2824815.2824819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W147489498","https://openalex.org/W1493542872","https://openalex.org/W1541540802","https://openalex.org/W1566086941","https://openalex.org/W1976507378","https://openalex.org/W1978899117","https://openalex.org/W2072794470","https://openalex.org/W2098830227","https://openalex.org/W2107412422","https://openalex.org/W2135274583","https://openalex.org/W2171480813","https://openalex.org/W2172013287","https://openalex.org/W4248950571"],"related_works":["https://openalex.org/W2462966030","https://openalex.org/W2582080837","https://openalex.org/W2170470279","https://openalex.org/W2145676264","https://openalex.org/W3172992491","https://openalex.org/W412736943","https://openalex.org/W2186199411","https://openalex.org/W1780290295","https://openalex.org/W2096065891","https://openalex.org/W2360912707"],"abstract_inverted_index":{"Actors":[0],"provide":[1],"concurrent,":[2],"distributed,":[3],"and":[4,19,41,91,135,147],"event-driven":[5],"autonomous":[6],"objects":[7],"which":[8],"communicate":[9],"asynchronously.":[10],"Actor":[11],"model":[12,57,71,104,121,149,166],"benefits":[13],"from":[14],"higher":[15],"level":[16],"of":[17,49,73,81,157,168],"scalability":[18],"actor":[20,52,75,126],"programs":[21,28],"are":[22,59,152],"less":[23],"error-prone":[24],"in":[25,30,138,172],"comparison":[26],"to":[27,45],"developed":[29,65,116],"other":[31],"concurrent":[32],"models.":[33],"However,":[34],"it":[35,137],"does":[36],"not":[37],"prevent":[38],"the":[39,47,102,107,119,165],"racing":[40],"concurrency":[42],"errors.":[43],"So,":[44],"guarantee":[46],"correctness":[48],"mission":[50],"critical":[51],"programs,":[53],"verification":[54],"techniques":[55],"like":[56],"checking":[58,72,122,150,167],"needed.":[60],"Previously,":[61],"Basset":[62,82,146],"has":[63],"been":[64],"based":[66],"on":[67],"Java":[68,74,99,125],"PathFinder,":[69],"for":[70,124,154,164],"programs.":[76,127],"The":[77],"message":[78,132],"scheduling":[79,133],"approach":[80,134],"can":[83],"cause":[84],"false":[85],"negative":[86],"results":[87,151],"as":[88,90,101,118],"well":[89],"early":[92],"state":[93],"space":[94],"exploration.":[95],"In":[96],"addition,":[97],"using":[98],"PathFinder":[100],"back-end":[103],"checker":[105],"imposes":[106],"execution":[108],"time":[109],"inefficiencies.":[110],"To":[111,140],"resolve":[112],"these":[113],"issues,":[114],"we":[115],"Jacco":[117,144,148,163],"direct":[120],"toolset":[123],"We":[128,160],"provided":[129],"a":[130,155,169],"new":[131],"implemented":[136],"Java.":[139],"illustrate":[141],"how":[142],"efficiently":[143],"works,":[145],"compared":[153],"number":[156],"case":[158],"studies.":[159],"also":[161],"used":[162],"real-world":[170],"program":[171],"robotics":[173],"systems.":[174]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}