{"id":"https://openalex.org/W4410140562","doi":"https://doi.org/10.1145/3716550.3722021","title":"Mining Specifications for Predictive Safety Monitoring","display_name":"Mining Specifications for Predictive Safety Monitoring","publication_year":2025,"publication_date":"2025-05-06","ids":{"openalex":"https://openalex.org/W4410140562","doi":"https://doi.org/10.1145/3716550.3722021"},"language":"en","primary_location":{"id":"doi:10.1145/3716550.3722021","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716550.3722021","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716550.3722021","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3716550.3722021","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073551209","display_name":"Eleonora Nesterini","orcid":"https://orcid.org/0000-0002-1229-5331"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]},{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Eleonora Nesterini","raw_affiliation_strings":["TU Wien and AIT Austrian Institute of Technology, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien and AIT Austrian Institute of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I132118926","https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050836932","display_name":"Ezio Bartocci","orcid":"https://orcid.org/0000-0002-8004-6601"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ezio Bartocci","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077479330","display_name":"Alessio Gambi","orcid":"https://orcid.org/0000-0002-0132-6497"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Alessio Gambi","raw_affiliation_strings":["AIT Austrian Institute of Technology, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"AIT Austrian Institute of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052399473","display_name":"Dejan Ni\u010dkovi\u0107","orcid":"https://orcid.org/0000-0001-5468-0396"},"institutions":[{"id":"https://openalex.org/I132118926","display_name":"Austrian Institute of Technology","ror":"https://ror.org/04knbh022","country_code":"AT","type":"facility","lineage":["https://openalex.org/I132118926"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Dejan Nickovic","raw_affiliation_strings":["AIT Austrian Institute of Technology, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"AIT Austrian Institute of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064230639","display_name":"Sanjit A. Seshia","orcid":"https://orcid.org/0000-0001-6190-8707"},"institutions":[{"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sanjit A. Seshia","raw_affiliation_strings":["University of California Berkeley, Berkeley, California, United States"],"affiliations":[{"raw_affiliation_string":"University of California Berkeley, Berkeley, California, United States","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047901628","display_name":"Hazem Torfah","orcid":"https://orcid.org/0000-0002-9628-1200"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"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"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Hazem Torfah","raw_affiliation_strings":["Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden"],"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912","https://openalex.org/I881427289"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5073551209"],"corresponding_institution_ids":["https://openalex.org/I132118926","https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":2.2263,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.85207824,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983999729156494,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983999729156494,"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"}},{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9955000281333923,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5577107667922974},{"id":"https://openalex.org/keywords/safety-monitoring","display_name":"Safety monitoring","score":0.4775177538394928}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5577107667922974},{"id":"https://openalex.org/C2777488183","wikidata":"https://www.wikidata.org/wiki/Q6900510","display_name":"Safety monitoring","level":2,"score":0.4775177538394928},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C150903083","wikidata":"https://www.wikidata.org/wiki/Q7108","display_name":"Biotechnology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3716550.3722021","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716550.3722021","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716550.3722021","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3716550.3722021","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3716550.3722021","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3716550.3722021","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4275823901","display_name":null,"funder_award_id":"Scholar","funder_id":"https://openalex.org/F4320322327","funder_display_name":"Knut och Alice Wallenbergs Stiftelse"},{"id":"https://openalex.org/G559588836","display_name":null,"funder_award_id":"SecInt","funder_id":"https://openalex.org/F4320322839","funder_display_name":"Technische Universit\u00e4t Wien"},{"id":"https://openalex.org/G8683756101","display_name":null,"funder_award_id":"support","funder_id":"https://openalex.org/F4320322327","funder_display_name":"Knut och Alice Wallenbergs Stiftelse"}],"funders":[{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"},{"id":"https://openalex.org/F4320322839","display_name":"Technische Universit\u00e4t Wien","ror":"https://ror.org/04d836q62"},{"id":"https://openalex.org/F4320335937","display_name":"Technische Universit\u00e4t Wien Bibliothek","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410140562.pdf","grobid_xml":"https://content.openalex.org/works/W4410140562.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W189973795","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1796872423","https://openalex.org/W2024060531","https://openalex.org/W2339807279","https://openalex.org/W2424693453","https://openalex.org/W2786819761","https://openalex.org/W2912432686","https://openalex.org/W2965660219","https://openalex.org/W3021068062","https://openalex.org/W3096990961","https://openalex.org/W3201396315","https://openalex.org/W3203641084","https://openalex.org/W3213835076","https://openalex.org/W4210496774","https://openalex.org/W4225736932","https://openalex.org/W4283212640","https://openalex.org/W4295850088","https://openalex.org/W4312546689","https://openalex.org/W4386574778","https://openalex.org/W4387225698","https://openalex.org/W4387225952","https://openalex.org/W4404278165","https://openalex.org/W7139033639"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Safety-critical":[0],"autonomous":[1,105],"systems":[2],"must":[3],"reliably":[4],"predict":[5,53],"unsafe":[6],"behavior":[7],"to":[8],"take":[9],"timely":[10],"corrective":[11],"actions.":[12],"Safety":[13],"properties":[14],"are":[15,21],"often":[16],"defined":[17],"over":[18],"variables":[19],"that":[20,51],"not":[22],"directly":[23],"observable":[24,59],"at":[25],"runtime,":[26],"making":[27],"prediction":[28],"and":[29,85,99],"detection":[30],"of":[31],"violations":[32,56],"hard.":[33],"We":[34,62],"present":[35],"a":[36,74,82],"new":[37],"approach":[38,91],"for":[39],"learning":[40],"interpretable":[41],"monitors":[42,65],"characterized":[43],"by":[44,96],"concise":[45],"Signal":[46],"Temporal":[47],"Logic":[48],"(STL)":[49],"formulas":[50],"can":[52],"safety":[54],"property":[55],"from":[57,66],"the":[58,93],"sensor":[60],"data.":[61],"train":[63],"these":[64],"synthetic,":[67],"possibly":[68],"highly":[69],"unbalanced":[70],"data":[71],"generated":[72],"in":[73,103],"simulation":[75],"environment.":[76],"Our":[77,90],"specification":[78],"mining":[79],"procedure":[80],"combines":[81],"grammar-based":[83],"method":[84],"two":[86,104],"novel":[87],"ensemble":[88],"techniques.":[89],"outperforms":[92],"existing":[94],"solutions":[95],"enhancing":[97],"accuracy":[98],"explainability,":[100],"as":[101],"demonstrated":[102],"driving":[106],"case":[107],"studies.":[108]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}