{"id":"https://openalex.org/W2037239153","doi":"https://doi.org/10.7148/2011-0525-0533","title":"Modelling And Verification Of Concurrent Programs Using Uppaal","display_name":"Modelling And Verification Of Concurrent Programs Using Uppaal","publication_year":2011,"publication_date":"2011-06-07","ids":{"openalex":"https://openalex.org/W2037239153","doi":"https://doi.org/10.7148/2011-0525-0533","mag":"2037239153"},"language":"en","primary_location":{"id":"doi:10.7148/2011-0525-0533","is_oa":false,"landing_page_url":"https://doi.org/10.7148/2011-0525-0533","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ECMS 2011 Proceedings edited by: T. Burczynski, J. Kolodziej, A. Byrski, M. Carvalho","raw_type":"proceedings-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/A5070083527","display_name":"Franco Cicirelli","orcid":"https://orcid.org/0000-0002-6138-5739"},"institutions":[{"id":"https://openalex.org/I3970730","display_name":"University of Calabar","ror":"https://ror.org/05qderh61","country_code":"NG","type":"education","lineage":["https://openalex.org/I3970730"]}],"countries":["NG"],"is_corresponding":true,"raw_author_name":"Franco Cicirelli","raw_affiliation_strings":["University of Calabar"],"affiliations":[{"raw_affiliation_string":"University of Calabar","institution_ids":["https://openalex.org/I3970730"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037490312","display_name":"Libero Nigro","orcid":"https://orcid.org/0000-0001-6577-4777"},"institutions":[{"id":"https://openalex.org/I3970730","display_name":"University of Calabar","ror":"https://ror.org/05qderh61","country_code":"NG","type":"education","lineage":["https://openalex.org/I3970730"]}],"countries":["NG"],"is_corresponding":false,"raw_author_name":"Libero Nigro","raw_affiliation_strings":["University of Calabar"],"affiliations":[{"raw_affiliation_string":"University of Calabar","institution_ids":["https://openalex.org/I3970730"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035646499","display_name":"Francesco Pupo","orcid":"https://orcid.org/0000-0002-0742-9737"},"institutions":[{"id":"https://openalex.org/I3970730","display_name":"University of Calabar","ror":"https://ror.org/05qderh61","country_code":"NG","type":"education","lineage":["https://openalex.org/I3970730"]}],"countries":["NG"],"is_corresponding":false,"raw_author_name":"Francesco Pupo","raw_affiliation_strings":["University of Calabar"],"affiliations":[{"raw_affiliation_string":"University of Calabar","institution_ids":["https://openalex.org/I3970730"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5070083527"],"corresponding_institution_ids":["https://openalex.org/I3970730"],"apc_list":null,"apc_paid":null,"fwci":0.4481,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.58104738,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"525","last_page":"533"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14082","display_name":"Modeling, Simulation, and Optimization","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T14082","display_name":"Modeling, Simulation, and Optimization","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13286","display_name":"Modeling and Simulation Systems","score":0.9894000291824341,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9760000109672546,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7008328437805176},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.46051469445228577},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.294465571641922}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7008328437805176},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.46051469445228577},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.294465571641922}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.7148/2011-0525-0533","is_oa":false,"landing_page_url":"https://doi.org/10.7148/2011-0525-0533","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ECMS 2011 Proceedings edited by: T. Burczynski, J. Kolodziej, A. Byrski, M. Carvalho","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.590.1831","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.590.1831","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.scs-europe.net/conf/ecms2011/ecms2011 accepted papers/hipmos_ECMS_0020.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.800000011920929}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W125251596","https://openalex.org/W1536832144","https://openalex.org/W1789713128","https://openalex.org/W1962072139","https://openalex.org/W1968375151","https://openalex.org/W2001213910","https://openalex.org/W2027045220","https://openalex.org/W2031373607","https://openalex.org/W2056486266","https://openalex.org/W2060221718","https://openalex.org/W2101508170","https://openalex.org/W2123826923","https://openalex.org/W2134437265","https://openalex.org/W2150220388","https://openalex.org/W2163809172","https://openalex.org/W2166282980","https://openalex.org/W2197661084","https://openalex.org/W2340735175","https://openalex.org/W2490737927","https://openalex.org/W2751601659","https://openalex.org/W2913459036","https://openalex.org/W3152703111"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880"],"abstract_inverted_index":{"synchronizers,":[0],"timed":[1,118],"automata,":[2],"UPPAAL,":[3],"Java.":[4],"This":[5],"paper":[6,82],"describes":[7,83],"the":[8,34,41,44,48,75,84],"design":[9],"and":[10,23,86,92,98,102,112,120,123,138],"implementation":[11,149],"of":[12,15,26,43,50,61,66,77,95,127,141,152],"a":[13,51,110,128],"library":[14,45,85],"reusable":[16],"UPPAAL":[17,104],"template":[18],"processes":[19],"which":[20,69,132],"support":[21],"reasoning":[22],"property":[24,139],"checking":[25,122],"concurrent":[27,67,100,142],"programs,":[28],"e.g.":[29],"to":[30,40,63,73,90],"be":[31,60],"realized":[32],"in":[33,47],"Java":[35,144],"programming":[36,53,68],"language.":[37],"The":[38,56,81],"stimulus":[39],"development":[42],"originated":[46],"context":[49],"systems":[52],"undergraduate":[54],"course.":[55],"library,":[57],"though,":[58],"can":[59],"help":[62],"general":[64],"practitioners":[65],"nowadays":[70],"are":[71],"challenged":[72],"exploiting":[74],"potentials":[76],"modern":[78],"multi-core":[79],"architectures.":[80],"demonstrates":[87],"its":[88,153],"usage":[89],"modelling":[91],"exhaustive":[93],"verification":[94],"mutual":[96],"exclusion":[97],"common":[99],"structures":[101],"synchronizers.":[103],"was":[105,145],"chosen":[106],"because":[107,151],"it":[108,124],"is":[109,125],"popular":[111],"continually":[113],"improved":[114],"toolbox":[115],"based":[116],"on":[117],"automata":[119],"model":[121],"provided":[126],"user-friendly":[129],"graphical":[130],"interface":[131],"proves":[133],"very":[134],"important":[135],"for":[136],"debugging":[137],"assessment":[140],"models.":[143],"considered":[146],"as":[147],"target":[148],"language":[150],"diffusion":[154],"among":[155],"application":[156],"developers.":[157]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}