{"id":"https://openalex.org/W1998390096","doi":"https://doi.org/10.1016/s1389-1286(99)00007-9","title":"Testing protocols modeled as FSMs with timing parameters","display_name":"Testing protocols modeled as FSMs with timing parameters","publication_year":1999,"publication_date":"1999-08-01","ids":{"openalex":"https://openalex.org/W1998390096","doi":"https://doi.org/10.1016/s1389-1286(99)00007-9","mag":"1998390096"},"language":"en","primary_location":{"id":"doi:10.1016/s1389-1286(99)00007-9","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s1389-1286(99)00007-9","pdf_url":null,"source":{"id":"https://openalex.org/S63392143","display_name":"Computer Networks","issn_l":"1389-1286","issn":["1389-1286","1872-7069"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Networks","raw_type":"journal-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/A5060658112","display_name":"M. \u00dcmit Uyar","orcid":"https://orcid.org/0000-0001-6268-8259"},"institutions":[{"id":"https://openalex.org/I174216632","display_name":"City University of New York","ror":"https://ror.org/00453a208","country_code":"US","type":"education","lineage":["https://openalex.org/I174216632"]},{"id":"https://openalex.org/I125687163","display_name":"City College of New York","ror":"https://ror.org/00wmhkr98","country_code":"US","type":"education","lineage":["https://openalex.org/I125687163"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"M.\u00dcmit Uyar","raw_affiliation_strings":["Department of Electrical Engineering, City College of the City University of New York, New York, NY 10031, USA","Department of Electrical Engineering, City College of the City University of New York, New York, NY 10031 USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, City College of the City University of New York, New York, NY 10031, USA","institution_ids":["https://openalex.org/I125687163"]},{"raw_affiliation_string":"Department of Electrical Engineering, City College of the City University of New York, New York, NY 10031 USA","institution_ids":["https://openalex.org/I174216632"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112015145","display_name":"Mariusz A. Fecko","orcid":null},"institutions":[{"id":"https://openalex.org/I86501945","display_name":"University of Delaware","ror":"https://ror.org/01sbq1a82","country_code":"US","type":"education","lineage":["https://openalex.org/I86501945"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mariusz A. Fecko","raw_affiliation_strings":["Computer and Information Science Department, University of Delaware, Newark, DE, USA","[Computer and Information Science Department, University of Delaware, Newark, DE, USA]"],"affiliations":[{"raw_affiliation_string":"Computer and Information Science Department, University of Delaware, Newark, DE, USA","institution_ids":["https://openalex.org/I86501945"]},{"raw_affiliation_string":"[Computer and Information Science Department, University of Delaware, Newark, DE, USA]","institution_ids":["https://openalex.org/I86501945"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041295292","display_name":"Adarshpal S. Sethi","orcid":"https://orcid.org/0000-0003-1173-4002"},"institutions":[{"id":"https://openalex.org/I86501945","display_name":"University of Delaware","ror":"https://ror.org/01sbq1a82","country_code":"US","type":"education","lineage":["https://openalex.org/I86501945"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adarshpal S. Sethi","raw_affiliation_strings":["Computer and Information Science Department, University of Delaware, Newark, DE, USA","[Computer and Information Science Department, University of Delaware, Newark, DE, USA]"],"affiliations":[{"raw_affiliation_string":"Computer and Information Science Department, University of Delaware, Newark, DE, USA","institution_ids":["https://openalex.org/I86501945"]},{"raw_affiliation_string":"[Computer and Information Science Department, University of Delaware, Newark, DE, USA]","institution_ids":["https://openalex.org/I86501945"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109129918","display_name":"Paul D. Amer","orcid":null},"institutions":[{"id":"https://openalex.org/I86501945","display_name":"University of Delaware","ror":"https://ror.org/01sbq1a82","country_code":"US","type":"education","lineage":["https://openalex.org/I86501945"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paul D. Amer","raw_affiliation_strings":["Computer and Information Science Department, University of Delaware, Newark, DE, USA","[Computer and Information Science Department, University of Delaware, Newark, DE, USA]"],"affiliations":[{"raw_affiliation_string":"Computer and Information Science Department, University of Delaware, Newark, DE, USA","institution_ids":["https://openalex.org/I86501945"]},{"raw_affiliation_string":"[Computer and Information Science Department, University of Delaware, Newark, DE, USA]","institution_ids":["https://openalex.org/I86501945"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5060658112"],"corresponding_institution_ids":["https://openalex.org/I125687163","https://openalex.org/I174216632"],"apc_list":{"value":2370,"currency":"USD","value_usd":2370},"apc_paid":null,"fwci":1.4652,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.80818089,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"31","issue":"18","first_page":"1967","last_page":"1988"},"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.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/timeout","display_name":"Timeout","score":0.9202646017074585},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8649982213973999},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6166089773178101},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5658625364303589},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5558748245239258},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4885807931423187},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.4844086766242981},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4820062220096588},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.47673070430755615},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.47579893469810486},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4566870927810669},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.45527759194374084},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.44146984815597534},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39109453558921814},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.12378764152526855},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0917556881904602},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.08227252960205078}],"concepts":[{"id":"https://openalex.org/C31691690","wikidata":"https://www.wikidata.org/wiki/Q1753979","display_name":"Timeout","level":2,"score":0.9202646017074585},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8649982213973999},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6166089773178101},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5658625364303589},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5558748245239258},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4885807931423187},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.4844086766242981},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4820062220096588},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.47673070430755615},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.47579893469810486},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4566870927810669},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.45527759194374084},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.44146984815597534},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39109453558921814},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.12378764152526855},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0917556881904602},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.08227252960205078},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1016/s1389-1286(99)00007-9","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s1389-1286(99)00007-9","pdf_url":null,"source":{"id":"https://openalex.org/S63392143","display_name":"Computer Networks","issn_l":"1389-1286","issn":["1389-1286","1872-7069"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Networks","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.16.2079","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.2079","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cis.udel.edu/~fecko/PAPERS-PS/UFSA99.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.18.8295","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.8295","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cis.udel.edu/~fecko/PAPERS-PDF/cn99_rev.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.34.9858","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.9858","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cis.udel.edu/~amer/PEL/estelle/postscript/cn-tcp99.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.36.1157","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.1157","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cis.udel.edu/~amer/PEL/estelle/pdf/cn-tcp99.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.44999998807907104,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W106389465","https://openalex.org/W1525200349","https://openalex.org/W1543281322","https://openalex.org/W1543524099","https://openalex.org/W1578586992","https://openalex.org/W1964119857","https://openalex.org/W1965028135","https://openalex.org/W1972839924","https://openalex.org/W2012673496","https://openalex.org/W2016248756","https://openalex.org/W2043158263","https://openalex.org/W2043603923","https://openalex.org/W2058223902","https://openalex.org/W2059261337","https://openalex.org/W2080182237","https://openalex.org/W2090003379","https://openalex.org/W2097543961","https://openalex.org/W2101508170","https://openalex.org/W2102833350","https://openalex.org/W2107580999","https://openalex.org/W2108622312","https://openalex.org/W2126122415","https://openalex.org/W2129214591","https://openalex.org/W2142249507","https://openalex.org/W2143236904","https://openalex.org/W2143578569","https://openalex.org/W2150812397","https://openalex.org/W2151569783","https://openalex.org/W2158769184","https://openalex.org/W2168985013","https://openalex.org/W2248630763","https://openalex.org/W2737433617","https://openalex.org/W4244424643"],"related_works":["https://openalex.org/W2136078392","https://openalex.org/W2387496793","https://openalex.org/W1585812309","https://openalex.org/W2356230132","https://openalex.org/W4312460964","https://openalex.org/W2397298427","https://openalex.org/W2061183036","https://openalex.org/W3110086843","https://openalex.org/W4213176438","https://openalex.org/W927049346"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}