{"id":"https://openalex.org/W1566786581","doi":"https://doi.org/10.1007/978-3-642-16561-0_20","title":"UPPAAL in Practice: Quantitative Verification of a RapidIO Network","display_name":"UPPAAL in Practice: Quantitative Verification of a RapidIO Network","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1566786581","doi":"https://doi.org/10.1007/978-3-642-16561-0_20","mag":"1566786581"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-16561-0_20","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-16561-0_20","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":true,"oa_status":"green","oa_url":"https://research.utwente.nl/en/publications/ace02c8e-676b-45a8-a408-0b3049965d0b","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076467147","display_name":"Jiansheng Xing","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jiansheng Xing","raw_affiliation_strings":["Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Faculty of EEMCS, Formal Methods and Tools, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands","University of Twente, Faculty of EEMCS, Formal Methods and Tools, Enschede, The Netherlands and Embedded Systems Institute, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Faculty of EEMCS, Formal Methods and Tools, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"University of Twente, Faculty of EEMCS, Formal Methods and Tools, Enschede, The Netherlands and Embedded Systems Institute, Eindhoven, The Netherlands#TAB#","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058818257","display_name":"B.D. Theelen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bart D. Theelen","raw_affiliation_strings":["Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Embedded Systems Institute, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Embedded Systems Institute, Eindhoven, The Netherlands#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014945719","display_name":"Rom Langerak","orcid":"https://orcid.org/0000-0002-1955-5183"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Rom Langerak","raw_affiliation_strings":["Faculty of EEMCS, Formal Methods and Tools, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands","University of Twente, Faculty of EEMCS, Formal Methods and Tools, Enschede, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of EEMCS, Formal Methods and Tools, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"University of Twente, Faculty of EEMCS, Formal Methods and Tools, Enschede, The Netherlands#TAB#","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012697499","display_name":"Jaco van de Pol","orcid":"https://orcid.org/0000-0003-4305-0625"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jaco van de Pol","raw_affiliation_strings":["Faculty of EEMCS, Formal Methods and Tools, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands","University of Twente, Faculty of EEMCS, Formal Methods and Tools, Enschede, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of EEMCS, Formal Methods and Tools, University of Twente, P.O. Box 217, 7500 AE, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"University of Twente, Faculty of EEMCS, Formal Methods and Tools, Enschede, The Netherlands#TAB#","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038404202","display_name":"Jan Tretmans","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jan Tretmans","raw_affiliation_strings":["Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Embedded Systems Institute, Eindhoven, The Netherlands#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Embedded Systems Institute, Eindhoven, The Netherlands#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088330531","display_name":"Jeroen Voeten","orcid":"https://orcid.org/0000-0002-9981-8392"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J. P. M. Voeten","raw_affiliation_strings":["Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","Faculty of Electrical Engineering Information and Communication Systems group, Eindhoven University of Technology, 5600 MB, Eindhoven, The Netherlands","Embedded Systems Institute, Eindhoven, The Netherlands and Eindhoven University of Technology, Faculty of Electrical Engineering, Information and Communication Systems group, Eindhoven, The Nether ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Embedded Systems Institute, P.O. Box 513, 5600 MB, Eindhoven, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Faculty of Electrical Engineering Information and Communication Systems group, Eindhoven University of Technology, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Embedded Systems Institute, Eindhoven, The Netherlands and Eindhoven University of Technology, Faculty of Electrical Engineering, Information and Communication Systems group, Eindhoven, The Nether ...#TAB#","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.14719931,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"160","last_page":"174"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.9994000196456909,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9991000294685364,"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/computer-science","display_name":"Computer science","score":0.8781256675720215},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7346974611282349},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.6003400683403015},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5474666953086853},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.5202587842941284},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4763384461402893},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.454177588224411},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.39612361788749695},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3845037817955017},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.20452600717544556},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.19070738554000854}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8781256675720215},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7346974611282349},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.6003400683403015},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5474666953086853},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.5202587842941284},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4763384461402893},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.454177588224411},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.39612361788749695},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3845037817955017},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.20452600717544556},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.19070738554000854},{"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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-642-16561-0_20","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-16561-0_20","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"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/ace02c8e-676b-45a8-a408-0b3049965d0b","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/ace02c8e-676b-45a8-a408-0b3049965d0b","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Xing, J, Theelen, B D, Langerak, R, van de Pol, J, Tretmans, J & Voeten, J P M 2010, UPPAAL in Practice : Quantitative Verication of a RapidIO Network. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Lecture Notes in Computer Science, vol. 6416, Springer, Berlin, pp. 160-174, 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, Heraklion, Greece, 18/10/10. https://doi.org/10.1007/978-3-642-16561-0_20","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.tue.nl:openaire/01452b25-049e-4a1e-8f13-4149d8c1a712","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/01452b25-049e-4a1e-8f13-4149d8c1a712","pdf_url":"https://pure.tue.nl/ws/files/3287545/Metis245593.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Xing, J, Theelen, B D, Langerak, R, Pol, van de, J C, Tretmans, J & Voeten, J P M 2010, UPPAAL in practice : quantitative verification of a RapidIO network. in T Margaria & B Steffen (eds), Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, October 18-21, 2010, Heraklion, Greece. Springer, Berlin, pp. 160-174. https://doi.org/10.1007/978-3-642-16561-0_20","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/ace02c8e-676b-45a8-a408-0b3049965d0b","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:tue:oai:pure.tue.nl:publications/01452b25-049e-4a1e-8f13-4149d8c1a712","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/01452b25-049e-4a1e-8f13-4149d8c1a712","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, October 18-21, 2010, Heraklion, Greece, 160 - 174","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/ace02c8e-676b-45a8-a408-0b3049965d0b","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/ace02c8e-676b-45a8-a408-0b3049965d0b","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Xing, J, Theelen, B D, Langerak, R, van de Pol, J, Tretmans, J & Voeten, J P M 2010, UPPAAL in Practice : Quantitative Verication of a RapidIO Network. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Lecture Notes in Computer Science, vol. 6416, Springer, Berlin, pp. 160-174, 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, Heraklion, Greece, 18/10/10. https://doi.org/10.1007/978-3-642-16561-0_20","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5400000214576721,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W36240330","https://openalex.org/W59365162","https://openalex.org/W99531190","https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1589421353","https://openalex.org/W1593428110","https://openalex.org/W1962072139","https://openalex.org/W2079680418","https://openalex.org/W2095788213","https://openalex.org/W2098871589","https://openalex.org/W2113088395","https://openalex.org/W2148441944","https://openalex.org/W2167386883","https://openalex.org/W2476374105","https://openalex.org/W4247647340"],"related_works":["https://openalex.org/W2280422768","https://openalex.org/W3143197806","https://openalex.org/W4252555497","https://openalex.org/W3121175838","https://openalex.org/W3016293053","https://openalex.org/W2401723157","https://openalex.org/W2952904874","https://openalex.org/W4297690216","https://openalex.org/W4389302559","https://openalex.org/W1690653314"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}