{"id":"https://openalex.org/W2185845013","doi":"https://doi.org/10.1109/memcod.2015.7340465","title":"Towards refinement types for time-dependent data-flow networks","display_name":"Towards refinement types for time-dependent data-flow networks","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W2185845013","doi":"https://doi.org/10.1109/memcod.2015.7340465","mag":"2185845013"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2015.7340465","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2015.7340465","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","raw_type":"proceedings-article"},"type":"preprint","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/A5010968465","display_name":"Jean-Pierre Talpin","orcid":"https://orcid.org/0000-0002-0556-4265"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210133778","display_name":"Inria Rennes - Bretagne Atlantique Research Centre","ror":"https://ror.org/04040yw90","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Jean-Pierre Talpin","raw_affiliation_strings":["INRIA Rennes, France"],"affiliations":[{"raw_affiliation_string":"INRIA Rennes, France","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032377317","display_name":"Pierre Jouvelot","orcid":"https://orcid.org/0000-0002-6783-5796"},"institutions":[{"id":"https://openalex.org/I190752583","display_name":"ParisTech","ror":"https://ror.org/05c2qg481","country_code":"FR","type":"education","lineage":["https://openalex.org/I190752583"]},{"id":"https://openalex.org/I2746051580","display_name":"Universit\u00e9 Paris Sciences et Lettres","ror":"https://ror.org/013cjyk83","country_code":"FR","type":"education","lineage":["https://openalex.org/I2746051580"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Jouvelot","raw_affiliation_strings":["MINES ParisTech, PSL Research University, France"],"affiliations":[{"raw_affiliation_string":"MINES ParisTech, PSL Research University, France","institution_ids":["https://openalex.org/I2746051580","https://openalex.org/I190752583"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021517996","display_name":"Sandeep K. Shukla","orcid":"https://orcid.org/0000-0001-5525-7426"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sandeep Kumar Shukla","raw_affiliation_strings":["IIT Kanpur, India"],"affiliations":[{"raw_affiliation_string":"IIT Kanpur, India","institution_ids":["https://openalex.org/I94234084"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5010968465"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"],"apc_list":null,"apc_paid":null,"fwci":0.30063281,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63569703,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"36","last_page":"41"},"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/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/T10054","display_name":"Parallel Computing and Optimization 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/computer-science","display_name":"Computer science","score":0.8488631248474121},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6288409233093262},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6179537773132324},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.617285966873169},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.5988669395446777},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5920091271400452},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.47498196363449097},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.45883458852767944},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.45007967948913574},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44549280405044556},{"id":"https://openalex.org/keywords/data-type","display_name":"Data type","score":0.4390367269515991},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.4140504002571106},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.37732577323913574},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.32633352279663086},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.315659761428833}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8488631248474121},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6288409233093262},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6179537773132324},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.617285966873169},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.5988669395446777},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5920091271400452},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.47498196363449097},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.45883458852767944},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.45007967948913574},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44549280405044556},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.4390367269515991},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.4140504002571106},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.37732577323913574},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.32633352279663086},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.315659761428833},{"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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memcod.2015.7340465","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2015.7340465","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320332467","display_name":"U.S. Air Force","ror":"https://ror.org/006gmme17"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W34362263","https://openalex.org/W167390183","https://openalex.org/W1480909796","https://openalex.org/W1490978498","https://openalex.org/W1514687340","https://openalex.org/W1535550067","https://openalex.org/W1559331297","https://openalex.org/W1559772379","https://openalex.org/W1580368786","https://openalex.org/W1597755753","https://openalex.org/W1989462278","https://openalex.org/W1994528995","https://openalex.org/W2031381504","https://openalex.org/W2035115145","https://openalex.org/W2045900383","https://openalex.org/W2055295051","https://openalex.org/W2061156850","https://openalex.org/W2076623712","https://openalex.org/W2091158003","https://openalex.org/W2104899829","https://openalex.org/W2125415493","https://openalex.org/W2125995229","https://openalex.org/W2128612657","https://openalex.org/W2128969973","https://openalex.org/W2160566592","https://openalex.org/W2179594597","https://openalex.org/W2184503566","https://openalex.org/W2295923951","https://openalex.org/W2613033681","https://openalex.org/W2911450990","https://openalex.org/W3011852893","https://openalex.org/W3163904563","https://openalex.org/W4237063139","https://openalex.org/W4239433846","https://openalex.org/W6629261608","https://openalex.org/W6633566126","https://openalex.org/W6635964534","https://openalex.org/W6686483543","https://openalex.org/W6737404419","https://openalex.org/W6758773630"],"related_works":["https://openalex.org/W2112150205","https://openalex.org/W2099479461","https://openalex.org/W4379521304","https://openalex.org/W1550049051","https://openalex.org/W1557199137","https://openalex.org/W1968803687","https://openalex.org/W2162436812","https://openalex.org/W2014311072","https://openalex.org/W4240983189","https://openalex.org/W1565360684"],"abstract_inverted_index":{"The":[0],"concept":[1],"of":[2,22,38,41,88,114,133,136,148,171,200,262,271,282],"liquid":[3],"clocks":[4],"introduced":[5],"in":[6,126,175,253],"this":[7,176,272],"paper":[8],"is":[9],"a":[10,14,36,154,180,185,211],"significant":[11],"step":[12],"towards":[13],"more":[15,107],"precise":[16],"compile-time":[17],"framework":[18,213,274],"for":[19,106,184,214],"the":[20,86,112,119,131,146,160,169,260,269],"analysis":[21],"synchronous":[23,239],"and":[24,141,194,197,219,222,266,284],"polychromous":[25],"languages.":[26],"Compiling":[27],"languages":[28],"such":[29,72,255],"as":[30,163,203],"Lustre":[31],"or":[32,59],"Signal":[33],"indeed":[34],"involves":[35],"number":[37,113],"static":[39,57],"analyses":[40,63,162,251],"programs":[42,73,89,201,242],"before":[43],"they":[44],"can":[45],"be":[46,94,104],"synthesized":[47,95],"into":[48,96],"executable":[49],"code,":[50,98],"e.g.,":[51],"synchronicity":[52],"class":[53],"characterization,":[54],"clock":[55],"assignment,":[56],"scheduling":[58,220],"causality":[60],"analysis.":[61,109],"These":[62],"are":[64],"often":[65,83],"equivalent":[66],"to":[67,74,85,145,152,190,223,237,247,279],"undecidable":[68],"problems,":[69],"necessitating":[70],"abstracting":[71],"provide":[75,153],"sound":[76],"yet":[77],"incomplete":[78],"analyses.":[79],"Such":[80],"abstractions":[81],"unfortunately":[82],"lead":[84],"rejection":[87],"that":[90,157],"could":[91,103],"very":[92],"well":[93],"deterministic":[97],"provided":[99],"abstraction":[100],"refinement":[101,181],"steps":[102],"applied":[105],"accurate":[108],"To":[110,167],"reduce":[111],"false":[115],"negatives":[116],"occurring":[117],"during":[118],"compilation":[120],"process,":[121],"we":[122,178],"leverage":[123],"recent":[124],"advances":[125],"type":[127,138,164,182,208,264],"theory":[128],"-":[129,140],"with":[130,227],"definition":[132],"decidable":[134],"classes":[135],"value-dependent":[137],"systems":[139],"formal":[142],"verification,":[143],"linked":[144],"development":[147],"efficient":[149],"SAT/SMT":[150],"solvers,":[151],"type-theoretic":[155],"approach":[156,174],"considers":[158],"all":[159],"above":[161],"inference":[165],"problems.":[166],"simplify":[168],"exposition":[170],"our":[172,263],"new":[173,212],"paper,":[177],"define":[179],"system":[183,209,265],"minimalistic,":[186],"synchronous,":[187],"stream-processing":[188,204],"language":[189],"concisely":[191],"represent,":[192],"analyze,":[193],"verify":[195],"logical":[196,216],"quantitative":[198],"properties":[199],"expressed":[202],"data-flow":[205],"networks.":[206],"Our":[207],"provides":[210],"representing":[215],"time":[217],"(clocks)":[218],"properties,":[221],"describe":[224],"their":[225],"relations":[226],"stream":[228,240],"values":[229],"and,":[230],"possibly,":[231],"other":[232,285],"quantas.":[233,286],"We":[234,257],"show":[235],"how":[236],"analyze":[238],"processing":[241],"(\u00e0":[243],"la":[244],"Lustre,":[245],"Signal)":[246],"enable":[248],"previously":[249],"described":[250],"involved":[252],"compiling":[254],"programs.":[256],"also":[258],"prove":[259],"soundness":[261],"elaborate":[267],"on":[268],"adaptability":[270],"core":[273],"by":[275],"outlining":[276],"its":[277],"extensibility":[278],"specific":[280],"models":[281],"computations":[283]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}