{"id":"https://openalex.org/W2530971000","doi":"https://doi.org/10.1145/2968478.2968489","title":"A refinement theory for timed-dataflow analysis with support for reordering","display_name":"A refinement theory for timed-dataflow analysis with support for reordering","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W2530971000","doi":"https://doi.org/10.1145/2968478.2968489","mag":"2530971000"},"language":"en","primary_location":{"id":"doi:10.1145/2968478.2968489","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2968478.2968489","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th International Conference on Embedded Software","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.utwente.nl/en/publications/c3b783f3-accb-4677-b046-4362ea51354a","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020564301","display_name":"Joost P.H.M. Hausmans","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":true,"raw_author_name":"Joost P. H. M. Hausmans","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111443523","display_name":"Marco J.G. Bekooij","orcid":null},"institutions":[{"id":"https://openalex.org/I109147379","display_name":"NXP (Netherlands)","ror":"https://ror.org/059be4e97","country_code":"NL","type":"company","lineage":["https://openalex.org/I109147379"]},{"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":"Marco J. G. Bekooij","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands and NXP Semiconductors, Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands and NXP Semiconductors, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I109147379","https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5020564301"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":null,"apc_paid":null,"fwci":2.2529,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.87723973,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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/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/T10829","display_name":"Interconnection Networks and Systems","score":0.9987000226974487,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.9366545677185059},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8759704828262329},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.6588613390922546},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.6167830228805542},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6117754578590393},{"id":"https://openalex.org/keywords/stream-processing","display_name":"Stream processing","score":0.5425965189933777},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.44146960973739624},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41615164279937744},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36861899495124817},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3308418393135071},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17845630645751953}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.9366545677185059},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8759704828262329},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.6588613390922546},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.6167830228805542},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6117754578590393},{"id":"https://openalex.org/C107027933","wikidata":"https://www.wikidata.org/wiki/Q2006448","display_name":"Stream processing","level":2,"score":0.5425965189933777},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.44146960973739624},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41615164279937744},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36861899495124817},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3308418393135071},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17845630645751953},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2968478.2968489","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2968478.2968489","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th International Conference on Embedded Software","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:openaire/c3b783f3-accb-4677-b046-4362ea51354a","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/c3b783f3-accb-4677-b046-4362ea51354a","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":"Hausmans, J P H M & Bekooij, M J G 2016, A Refinement Theory for Timed-Dataflow Analysis with Support for Reordering. in Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016. Association for Computing Machinery, pp. -. https://doi.org/10.1145/2968478.2968489","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/c3b783f3-accb-4677-b046-4362ea51354a","is_oa":false,"landing_page_url":"http://eprints.eemcs.utwente.nl/secure2/27320/01/paper_final_camera_ready_8_7_2016.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire/c3b783f3-accb-4677-b046-4362ea51354a","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/c3b783f3-accb-4677-b046-4362ea51354a","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":"Hausmans, J P H M & Bekooij, M J G 2016, A Refinement Theory for Timed-Dataflow Analysis with Support for Reordering. in Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016. Association for Computing Machinery, pp. -. https://doi.org/10.1145/2968478.2968489","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1537951533","https://openalex.org/W1561555726","https://openalex.org/W1597755753","https://openalex.org/W1603513077","https://openalex.org/W1756169151","https://openalex.org/W1974073846","https://openalex.org/W1983093080","https://openalex.org/W1983657887","https://openalex.org/W1988840789","https://openalex.org/W1991466857","https://openalex.org/W2033872646","https://openalex.org/W2060033172","https://openalex.org/W2070385897","https://openalex.org/W2074119802","https://openalex.org/W2081590538","https://openalex.org/W2118635884","https://openalex.org/W2119355229","https://openalex.org/W2120431055","https://openalex.org/W2122921982","https://openalex.org/W2124139137","https://openalex.org/W2127044011","https://openalex.org/W2136608864","https://openalex.org/W2154445193","https://openalex.org/W2171397018","https://openalex.org/W2342430766","https://openalex.org/W4230423294","https://openalex.org/W4230791737","https://openalex.org/W6635964534"],"related_works":["https://openalex.org/W1989140795","https://openalex.org/W1985964844","https://openalex.org/W2113327063","https://openalex.org/W1981433684","https://openalex.org/W2077180914","https://openalex.org/W2175563412","https://openalex.org/W2114699295","https://openalex.org/W2403307847","https://openalex.org/W2521218765","https://openalex.org/W4317418912"],"abstract_inverted_index":{"Real-time":[0],"stream":[1],"processing":[2],"applications":[3,40],"executed":[4],"on":[5],"embedded":[6],"multiprocessor":[7],"systems":[8],"often":[9],"have":[10],"strict":[11],"throughput":[12],"and":[13,21],"latency":[14],"constraints.":[15],"Violating":[16],"these":[17],"constraints":[18],"is":[19],"undesired":[20],"temporal":[22,44],"analysis":[23,33],"methods":[24,34],"are":[25],"therefore":[26],"used":[27],"to":[28,41],"prevent":[29],"such":[30],"violations.":[31],"These":[32],"use":[35],"abstractions":[36],"of":[37],"the":[38],"analyzed":[39],"simplify":[42],"their":[43],"analysis.":[45]},"counts_by_year":[{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}