{"id":"https://openalex.org/W2042852304","doi":"https://doi.org/10.1109/softcom.2013.6671858","title":"Building a new CTL model checker using Web services","display_name":"Building a new CTL model checker using Web services","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https://openalex.org/W2042852304","doi":"https://doi.org/10.1109/softcom.2013.6671858","mag":"2042852304"},"language":"en","primary_location":{"id":"doi:10.1109/softcom.2013.6671858","is_oa":false,"landing_page_url":"https://doi.org/10.1109/softcom.2013.6671858","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 21st International Conference on Software, Telecommunications and Computer Networks - (SoftCOM 2013)","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/A5029014477","display_name":"Florin Stoica","orcid":"https://orcid.org/0000-0002-9073-0781"},"institutions":[{"id":"https://openalex.org/I124121301","display_name":"Lucian Blaga University of Sibiu","ror":"https://ror.org/026gdz537","country_code":"RO","type":"education","lineage":["https://openalex.org/I124121301"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Florin Stoica","raw_affiliation_strings":["Department of Computer Science, \u201cLucian Blaga\u201d University of Sibiu, Sibiu, Romania","Department of Computer Science, Lucian Blaga University of Sibiu, Sibiu, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, \u201cLucian Blaga\u201d University of Sibiu, Sibiu, Romania","institution_ids":["https://openalex.org/I124121301"]},{"raw_affiliation_string":"Department of Computer Science, Lucian Blaga University of Sibiu, Sibiu, Romania","institution_ids":["https://openalex.org/I124121301"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053411099","display_name":"Laura Florentina Stoica","orcid":"https://orcid.org/0000-0002-4758-6606"},"institutions":[{"id":"https://openalex.org/I124121301","display_name":"Lucian Blaga University of Sibiu","ror":"https://ror.org/026gdz537","country_code":"RO","type":"education","lineage":["https://openalex.org/I124121301"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Laura Florentina Stoica","raw_affiliation_strings":["Department of Computer Science, \u201cLucian Blaga\u201d University of Sibiu, Sibiu, Romania","Department of Computer Science, Lucian Blaga University of Sibiu, Sibiu, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, \u201cLucian Blaga\u201d University of Sibiu, Sibiu, Romania","institution_ids":["https://openalex.org/I124121301"]},{"raw_affiliation_string":"Department of Computer Science, Lucian Blaga University of Sibiu, Sibiu, Romania","institution_ids":["https://openalex.org/I124121301"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I124121301"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10424649,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"90","issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9975000023841858,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9952999949455261,"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/ctl*","display_name":"CTL*","score":0.8775530457496643},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8398586511611938},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.8234370946884155},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7967435121536255},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5542739629745483},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5425891876220703},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5092355012893677},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.45880261063575745},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45281144976615906},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44592300057411194},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.39237892627716064},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3873741328716278},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.328506737947464}],"concepts":[{"id":"https://openalex.org/C147969180","wikidata":"https://www.wikidata.org/wiki/Q5014579","display_name":"CTL*","level":4,"score":0.8775530457496643},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8398586511611938},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.8234370946884155},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7967435121536255},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5542739629745483},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5425891876220703},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5092355012893677},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.45880261063575745},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45281144976615906},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44592300057411194},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.39237892627716064},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3873741328716278},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.328506737947464},{"id":"https://openalex.org/C154317977","wikidata":"https://www.wikidata.org/wiki/Q376266","display_name":"Cytotoxic T cell","level":3,"score":0.0},{"id":"https://openalex.org/C202751555","wikidata":"https://www.wikidata.org/wiki/Q221681","display_name":"In vitro","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/softcom.2013.6671858","is_oa":false,"landing_page_url":"https://doi.org/10.1109/softcom.2013.6671858","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 21st International Conference on Software, Telecommunications and Computer Networks - (SoftCOM 2013)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1485656354","https://openalex.org/W1489095339","https://openalex.org/W1489213368","https://openalex.org/W1548575501","https://openalex.org/W1679534293","https://openalex.org/W1891842933","https://openalex.org/W1965024948","https://openalex.org/W1973954352","https://openalex.org/W1996070410","https://openalex.org/W2001289891","https://openalex.org/W2019881090","https://openalex.org/W2022644374","https://openalex.org/W2080267935","https://openalex.org/W2108213427","https://openalex.org/W2115309705","https://openalex.org/W2158266165","https://openalex.org/W2237372923","https://openalex.org/W2533662917","https://openalex.org/W2592991225","https://openalex.org/W2738757744","https://openalex.org/W2913459036","https://openalex.org/W4240207855","https://openalex.org/W4298844786","https://openalex.org/W6632912903","https://openalex.org/W6650604567","https://openalex.org/W6655221434","https://openalex.org/W6689590506"],"related_works":["https://openalex.org/W146107827","https://openalex.org/W4214723139","https://openalex.org/W2381825341","https://openalex.org/W1551070491","https://openalex.org/W2103740034","https://openalex.org/W1585262231","https://openalex.org/W2203774400","https://openalex.org/W2471765219","https://openalex.org/W2350953867","https://openalex.org/W2166027622"],"abstract_inverted_index":{"This":[0],"Computation":[1],"Tree":[2],"Logic":[3],"(CTL)":[4],"is":[5,16,110],"widely":[6],"used":[7],"to":[8,39,130],"capture":[9],"compositions":[10],"of":[11,23,50,76,92,98,104],"reactive":[12],"systems.":[13],"Model":[14],"checking":[15],"particularly":[17],"well-suited":[18],"for":[19,27,30,89],"the":[20,48,69,77,102,105,136],"automated":[21],"verification":[22],"finite-state":[24],"systems,":[25],"both":[26],"software":[28],"and":[29,84,109,123],"hardware.":[31],"A":[32],"CTL":[33,51,60,67,78,106],"model":[34,61,107],"checker":[35,62,108],"tool":[36,100],"allows":[37,72],"designers":[38],"automatically":[40],"verify":[41],"that":[42],"systems":[43],"satisfy":[44],"specifications":[45],"expressed":[46],"in":[47,64,119,135],"language":[49],"logic.":[52],"In":[53],"this":[54],"paper":[55],"we":[56],"present":[57],"a":[58,113,132],"new":[59],"implemented":[63],"client-server":[65],"paradigm.":[66],"Designer,":[68],"client":[70],"tool,":[71],"an":[73,128],"interactive":[74],"construction":[75,91],"models":[79],"as":[80,112,121],"state-transition":[81],"graphs.":[82],"Java":[83],"C#":[85],"APIs":[86],"are":[87],"provided":[88],"programmatic":[90],"large":[93],"models.":[94],"The":[95,116],"server":[96],"part":[97],"our":[99],"embeds":[101],"core":[103],"published":[111],"Web":[114],"service.":[115],"performance":[117],"evaluation":[118],"terms":[120],"speed":[122],"scalability":[124],"was":[125],"accomplished":[126],"implementing":[127],"algorithm":[129],"find":[131],"winning":[133],"strategy":[134],"Tic-Tac-Toe":[137],"game.":[138]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}