{"id":"https://openalex.org/W2591279143","doi":"https://doi.org/10.1007/s10703-017-0271-1","title":"Predictive runtime enforcement","display_name":"Predictive runtime enforcement","publication_year":2017,"publication_date":"2017-02-23","ids":{"openalex":"https://openalex.org/W2591279143","doi":"https://doi.org/10.1007/s10703-017-0271-1","mag":"2591279143"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-017-0271-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-017-0271-1","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","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/A5035408678","display_name":"Srinivas Pinisetty","orcid":"https://orcid.org/0000-0001-7779-8231"},"institutions":[{"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":true,"raw_author_name":"Srinivas Pinisetty","raw_affiliation_strings":["Aalto University, Espoo, Finland","Aalto University (P.O. Box 11000, FI-00076 Aalto - Finland)"],"affiliations":[{"raw_affiliation_string":"Aalto University, Espoo, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"Aalto University (P.O. Box 11000, FI-00076 Aalto - Finland)","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025389656","display_name":"Viorel Preoteasa","orcid":null},"institutions":[{"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":"Viorel Preoteasa","raw_affiliation_strings":["Aalto University, Espoo, Finland","Aalto University (P.O. Box 11000, FI-00076 Aalto - Finland)"],"affiliations":[{"raw_affiliation_string":"Aalto University, Espoo, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"Aalto University (P.O. Box 11000, FI-00076 Aalto - Finland)","institution_ids":["https://openalex.org/I9927081"]}]},{"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/I148283060","display_name":"Lawrence Berkeley National Laboratory","ror":"https://ror.org/02jbv0t02","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I148283060","https://openalex.org/I39565521"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]},{"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","US"],"is_corresponding":false,"raw_author_name":"Stavros Tripakis","raw_affiliation_strings":["Aalto University, Espoo, Finland","University of California, Berkeley, Berkeley, CA, USA","LBNL - Lawrence Berkeley National Laboratory [Berkeley] (1 Cyclotron Rd. MS 50A-1148, Berkeley, CA 94720 - United States)","Aalto University (P.O. Box 11000, FI-00076 Aalto - Finland)"],"affiliations":[{"raw_affiliation_string":"Aalto University, Espoo, Finland","institution_ids":["https://openalex.org/I9927081"]},{"raw_affiliation_string":"University of California, Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"LBNL - Lawrence Berkeley National Laboratory [Berkeley] (1 Cyclotron Rd. MS 50A-1148, Berkeley, CA 94720 - United States)","institution_ids":["https://openalex.org/I148283060"]},{"raw_affiliation_string":"Aalto University (P.O. Box 11000, FI-00076 Aalto - Finland)","institution_ids":["https://openalex.org/I9927081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001727653","display_name":"Thierry J\u00e9ron","orcid":"https://orcid.org/0000-0002-9922-6186"},"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":false,"raw_author_name":"Thierry J\u00e9ron","raw_affiliation_strings":["INRIA Rennes - Bretagne Atlantique, Rennes, France","SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"INRIA Rennes - Bretagne Atlantique, Rennes, France","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037726232","display_name":"Yl\u00ec\u00e8s Falcone","orcid":"https://orcid.org/0000-0002-0114-0641"},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yli\u00e8s Falcone","raw_affiliation_strings":["Laboratoire d\u2019Informatique de Grenoble, Univ. Grenoble Alpes, Inria, LIG, 38000, Grenoble, France","CORSE - Compiler Optimization and Run-time Systems (3 Parvis Louis N\u00e9el, 38000 Grenoble - France)"],"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2019Informatique de Grenoble, Univ. Grenoble Alpes, Inria, LIG, 38000, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I4210101348","https://openalex.org/I4210104430"]},{"raw_affiliation_string":"CORSE - Compiler Optimization and Run-time Systems (3 Parvis Louis N\u00e9el, 38000 Grenoble - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053628603","display_name":"Herv\u00e9 Marchand","orcid":"https://orcid.org/0000-0002-0138-2499"},"institutions":[{"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"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Herv\u00e9 Marchand","raw_affiliation_strings":["INRIA Rennes - Bretagne Atlantique, Rennes, France","SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"INRIA Rennes - Bretagne Atlantique, Rennes, France","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5035408678"],"corresponding_institution_ids":["https://openalex.org/I9927081"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":1.8853,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.86747701,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"51","issue":"1","first_page":"154","last_page":"199"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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.9986000061035156,"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/T11424","display_name":"Security and Verification in Computing","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9976999759674072,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.8589484691619873},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.747325599193573},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5878088474273682},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5188285708427429},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.47899338603019714},{"id":"https://openalex.org/keywords/a-priori-and-a-posteriori","display_name":"A priori and a posteriori","score":0.4566234350204468},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.449310302734375},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3624723553657532},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.21172860264778137},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11704489588737488},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.07210156321525574},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06968078017234802}],"concepts":[{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.8589484691619873},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.747325599193573},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5878088474273682},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5188285708427429},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.47899338603019714},{"id":"https://openalex.org/C75553542","wikidata":"https://www.wikidata.org/wiki/Q178161","display_name":"A priori and a posteriori","level":2,"score":0.4566234350204468},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.449310302734375},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3624723553657532},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.21172860264778137},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11704489588737488},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.07210156321525574},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06968078017234802},{"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10703-017-0271-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-017-0271-1","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01647787v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01647787","pdf_url":null,"source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","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":"Formal Methods in System Design, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩","raw_type":"Journal articles"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8100000023841858,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G468847411","display_name":null,"funder_award_id":"1329759","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8628326970","display_name":null,"funder_award_id":"1139138","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321108","display_name":"Academy of Finland","ror":"https://ror.org/05k73zm37"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1498450245","https://openalex.org/W1565083865","https://openalex.org/W1587663028","https://openalex.org/W1896363143","https://openalex.org/W1903683453","https://openalex.org/W1973223152","https://openalex.org/W1985929316","https://openalex.org/W1994571662","https://openalex.org/W2028720147","https://openalex.org/W2031525781","https://openalex.org/W2035399981","https://openalex.org/W2036910349","https://openalex.org/W2043996829","https://openalex.org/W2062720566","https://openalex.org/W2081398380","https://openalex.org/W2092622056","https://openalex.org/W2101311087","https://openalex.org/W2101508170","https://openalex.org/W2106192381","https://openalex.org/W2144186266","https://openalex.org/W2144360108","https://openalex.org/W2145790759","https://openalex.org/W2146455667","https://openalex.org/W2156016854","https://openalex.org/W2168705386","https://openalex.org/W2172024521","https://openalex.org/W2174488260","https://openalex.org/W2278421482","https://openalex.org/W2312684484","https://openalex.org/W2476167380","https://openalex.org/W2963530628","https://openalex.org/W4250846042","https://openalex.org/W4297744580"],"related_works":["https://openalex.org/W2899793048","https://openalex.org/W2950202488","https://openalex.org/W1594411369","https://openalex.org/W4385887367","https://openalex.org/W2027534055","https://openalex.org/W2604424424","https://openalex.org/W4242357733","https://openalex.org/W2129095855","https://openalex.org/W150734495","https://openalex.org/W2135289528"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}