{"id":"https://openalex.org/W2583751201","doi":"https://doi.org/10.1145/3092282.3092291","title":"Runtime enforcement of reactive systems using synchronous enforcers","display_name":"Runtime enforcement of reactive systems using synchronous enforcers","publication_year":2017,"publication_date":"2017-07-13","ids":{"openalex":"https://openalex.org/W2583751201","doi":"https://doi.org/10.1145/3092282.3092291","mag":"2583751201"},"language":"en","primary_location":{"id":"doi:10.1145/3092282.3092291","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092282.3092291","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software","raw_type":"proceedings-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/A5035408678","display_name":"Srinivas Pinisetty","orcid":"https://orcid.org/0000-0001-7779-8231"},"institutions":[{"id":"https://openalex.org/I4210107997","display_name":"Finland University","ror":"https://ror.org/014rks409","country_code":"FI","type":"education","lineage":["https://openalex.org/I4210107997"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]},{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI","SE"],"is_corresponding":false,"raw_author_name":"Srinivas Pinisetty","raw_affiliation_strings":["Aalto University, Finland / University of Gothenburg, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalto University, Finland / University of Gothenburg, Sweden","institution_ids":["https://openalex.org/I9927081","https://openalex.org/I881427289","https://openalex.org/I4210107997"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha S. Roop","raw_affiliation_strings":["University of Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040819930","display_name":"Steven Smyth","orcid":"https://orcid.org/0000-0003-2470-0880"},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Steven Smyth","raw_affiliation_strings":["University of Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080042319","display_name":"Stavros Tripakis","orcid":"https://orcid.org/0000-0002-1777-493X"},"institutions":[{"id":"https://openalex.org/I4210107997","display_name":"Finland University","ror":"https://ror.org/014rks409","country_code":"FI","type":"education","lineage":["https://openalex.org/I4210107997"]},{"id":"https://openalex.org/I9927081","display_name":"Aalto University","ror":"https://ror.org/020hwjq30","country_code":"FI","type":"education","lineage":["https://openalex.org/I9927081"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Stavros Tripakis","raw_affiliation_strings":["Aalto University, Finland / University of California at Berkeley, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aalto University, Finland / University of California at Berkeley, USA","institution_ids":["https://openalex.org/I9927081","https://openalex.org/I4210107997"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029982033","display_name":"Reinhard von Hanxleden","orcid":"https://orcid.org/0000-0001-5691-1215"},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Reinhard von Hanxleden","raw_affiliation_strings":["University of Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1534,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.88288852,"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":"80","last_page":"89"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9995999932289124,"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.9984999895095825,"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/enforcement","display_name":"Enforcement","score":0.8683731555938721},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8210195302963257},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7979310154914856},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.7144665718078613},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6394003629684448},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4634058475494385},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.45850616693496704},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4417875409126282},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.43585580587387085},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4339461028575897}],"concepts":[{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.8683731555938721},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8210195302963257},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7979310154914856},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.7144665718078613},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6394003629684448},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4634058475494385},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.45850616693496704},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4417875409126282},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.43585580587387085},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4339461028575897},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3092282.3092291","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3092282.3092291","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W71780019","https://openalex.org/W202802469","https://openalex.org/W1591643794","https://openalex.org/W1884521777","https://openalex.org/W1892497168","https://openalex.org/W1896363143","https://openalex.org/W1973223152","https://openalex.org/W1985929316","https://openalex.org/W1994571662","https://openalex.org/W2028720147","https://openalex.org/W2036910349","https://openalex.org/W2101623441","https://openalex.org/W2122473145","https://openalex.org/W2127335869","https://openalex.org/W2127432103","https://openalex.org/W2128969973","https://openalex.org/W2269620394","https://openalex.org/W2403362119","https://openalex.org/W2487111507","https://openalex.org/W2505158018","https://openalex.org/W4296687371"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W3119814709","https://openalex.org/W2018477250","https://openalex.org/W1508895727","https://openalex.org/W4241418540","https://openalex.org/W2725786787","https://openalex.org/W4283160672"],"abstract_inverted_index":{"Synchronous":[0],"programming":[1],"is":[2,16],"a":[3,17,25,49,62,75],"paradigm":[4],"of":[5,10,24,38,44,61,98,103],"choice":[6],"for":[7,107],"the":[8,22,36,42,56,59,99,104,108],"design":[9],"safety-critical":[11],"reactive":[12],"systems.":[13],"Runtime":[14],"enforcement":[15,40,86,116],"technique":[18],"to":[19,72],"ensure":[20],"that":[21,74,115],"output":[23],"black-box":[26],"system":[27],"satisfies":[28],"some":[29],"desired":[30],"properties.":[31],"This":[32],"paper":[33],"deals":[34],"with":[35,125],"problem":[37],"runtime":[39],"in":[41,70],"context":[43],"synchronous":[45,63,110],"programs.":[46],"We":[47,79,92],"propose":[48],"framework":[50,106],"where":[51],"an":[52,84,96],"enforcer":[53],"monitors":[54],"both":[55],"inputs":[57],"and":[58,65,88],"outputs":[60],"program":[64],"(minimally)":[66],"edits":[67],"erroneous":[68],"inputs/outputs":[69],"order":[71],"guarantee":[73],"given":[76],"property":[77],"holds.":[78],"define":[80],"enforceability":[81],"conditions,":[82],"develop":[83],"online":[85],"algorithm,":[87],"prove":[89],"its":[90],"correctness.":[91],"also":[93],"report":[94],"on":[95,101],"implementation":[97],"algorithm":[100],"top":[102],"KIELER":[105],"SCCharts":[109],"language.":[111],"Experimental":[112],"results":[113],"show":[114],"has":[117],"minimal":[118],"execution":[119],"time":[120],"overhead,":[121],"which":[122],"decreases":[123],"proportionally":[124],"larger":[126],"benchmarks.":[127]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}