{"id":"https://openalex.org/W2145631736","doi":"https://doi.org/10.1007/978-3-642-01665-3_51","title":"Agent Verification Design of Short Text Messaging System Using Formal Method","display_name":"Agent Verification Design of Short Text Messaging System Using Formal Method","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2145631736","doi":"https://doi.org/10.1007/978-3-642-01665-3_51","mag":"2145631736"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-01665-3_51","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-01665-3_51","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5089742876","display_name":"Ali Selamat","orcid":"https://orcid.org/0000-0001-9746-8459"},"institutions":[{"id":"https://openalex.org/I4576418","display_name":"University of Technology Malaysia","ror":"https://ror.org/026w31v75","country_code":"MY","type":"education","lineage":["https://openalex.org/I4576418"]}],"countries":["MY"],"is_corresponding":true,"raw_author_name":"Ali Selamat","raw_affiliation_strings":["Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), 81310, Skudai, Johor, Malaysia","Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), Skudai, Johor, Malaysia 81310"],"affiliations":[{"raw_affiliation_string":"Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), 81310, Skudai, Johor, Malaysia","institution_ids":["https://openalex.org/I4576418"]},{"raw_affiliation_string":"Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), Skudai, Johor, Malaysia 81310","institution_ids":["https://openalex.org/I4576418"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020563332","display_name":"Siti Dianah Abdul Bujang","orcid":"https://orcid.org/0000-0003-3306-3246"},"institutions":[{"id":"https://openalex.org/I4576418","display_name":"University of Technology Malaysia","ror":"https://ror.org/026w31v75","country_code":"MY","type":"education","lineage":["https://openalex.org/I4576418"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Siti Dianah Abdul Bujang","raw_affiliation_strings":["Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), 81310, Skudai, Johor, Malaysia","Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), Skudai, Johor, Malaysia 81310"],"affiliations":[{"raw_affiliation_string":"Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), 81310, Skudai, Johor, Malaysia","institution_ids":["https://openalex.org/I4576418"]},{"raw_affiliation_string":"Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), Skudai, Johor, Malaysia 81310","institution_ids":["https://openalex.org/I4576418"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046408720","display_name":"Md. Hafiz Selamat","orcid":null},"institutions":[{"id":"https://openalex.org/I4576418","display_name":"University of Technology Malaysia","ror":"https://ror.org/026w31v75","country_code":"MY","type":"education","lineage":["https://openalex.org/I4576418"]}],"countries":["MY"],"is_corresponding":false,"raw_author_name":"Md. Hafiz Selamat","raw_affiliation_strings":["Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), 81310, Skudai, Johor, Malaysia","Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), Skudai, Johor, Malaysia 81310"],"affiliations":[{"raw_affiliation_string":"Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), 81310, Skudai, Johor, Malaysia","institution_ids":["https://openalex.org/I4576418"]},{"raw_affiliation_string":"Intelligent Software System Research Laboratory, Faculty of Computer Science and Information Systems, Universiti Teknologi Malaysia (UTM), Skudai, Johor, Malaysia 81310","institution_ids":["https://openalex.org/I4576418"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5089742876"],"corresponding_institution_ids":["https://openalex.org/I4576418"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.3288,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.64617289,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"514","last_page":"522"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.9984999895095825,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9983000159263611,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9923999905586243,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8729883432388306},{"id":"https://openalex.org/keywords/short-message-service","display_name":"Short Message Service","score":0.6668453812599182},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6310493350028992},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5612011551856995},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5238663554191589},{"id":"https://openalex.org/keywords/workload","display_name":"Workload","score":0.5143650770187378},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.4567166566848755},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4258309304714203},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4076751172542572},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.33447182178497314},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22996050119400024},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15303930640220642}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8729883432388306},{"id":"https://openalex.org/C74558129","wikidata":"https://www.wikidata.org/wiki/Q43024","display_name":"Short Message Service","level":2,"score":0.6668453812599182},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6310493350028992},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5612011551856995},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5238663554191589},{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.5143650770187378},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.4567166566848755},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4258309304714203},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4076751172542572},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.33447182178497314},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22996050119400024},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15303930640220642},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-01665-3_51","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-01665-3_51","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W198918365","https://openalex.org/W203807396","https://openalex.org/W1559035930","https://openalex.org/W1917641056","https://openalex.org/W1995094751","https://openalex.org/W2013270090","https://openalex.org/W2128675861","https://openalex.org/W2135947211","https://openalex.org/W2149636957","https://openalex.org/W2167728668","https://openalex.org/W2247420405","https://openalex.org/W2340735175","https://openalex.org/W2546200052","https://openalex.org/W2913459036","https://openalex.org/W3126118053","https://openalex.org/W4233673286","https://openalex.org/W4239774812"],"related_works":["https://openalex.org/W4312733571","https://openalex.org/W2006962382","https://openalex.org/W2152752131","https://openalex.org/W2149716943","https://openalex.org/W4315606162","https://openalex.org/W161255303","https://openalex.org/W2037121848","https://openalex.org/W1544097700","https://openalex.org/W2340807904","https://openalex.org/W1488573418"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}