{"id":"https://openalex.org/W2967277443","doi":"https://doi.org/10.1007/s10703-019-00337-w","title":"A survey of challenges for runtime verification from advanced application domains (beyond software)","display_name":"A survey of challenges for runtime verification from advanced application domains (beyond software)","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2967277443","doi":"https://doi.org/10.1007/s10703-019-00337-w","mag":"2967277443"},"language":"en","primary_location":{"id":"pmh:oai:research.chalmers.se:536730","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/536730","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},"type":"article","indexed_in":[],"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/A5015623381","display_name":"C\u00e9sar S\u00e1nchez","orcid":"https://orcid.org/0000-0003-3927-4773"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Sanchez Perez, Cesar","raw_affiliation_strings":["Institute IMDEA Software [Madrid] (Campus de Montegancedo 28223 Pozuelo de Alarc\u00f3n Madrid - Spain)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute IMDEA Software [Madrid] (Campus de Montegancedo 28223 Pozuelo de Alarc\u00f3n Madrid - Spain)","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051084250","display_name":"Gerardo Schneider","orcid":"https://orcid.org/0000-0003-0629-6853"},"institutions":[{"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":"Schneider, Gerardo","raw_affiliation_strings":["GU - G\u00f6teborgs Universitet = University of Gothenburg (Box 100, SE-405 30 G\u00f6teborg - Sweden)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"GU - G\u00f6teborgs Universitet = University of Gothenburg (Box 100, SE-405 30 G\u00f6teborg - Sweden)","institution_ids":["https://openalex.org/I881427289"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088569630","display_name":"Wolfgang Ahrendt","orcid":"https://orcid.org/0000-0002-5671-2555"},"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"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Ahrendt, Wolfgang","raw_affiliation_strings":["Chalmers University of Technology [G\u00f6teborg] (SE-412 96 G\u00f6teborg - Sweden)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chalmers University of Technology [G\u00f6teborg] (SE-412 96 G\u00f6teborg - Sweden)","institution_ids":["https://openalex.org/I66862912"]}]},{"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":"Bartocci, Ezio","raw_affiliation_strings":["TU Wien - Vienna University of Technology = Technische Universit\u00e4t Wien (Technische Universit\u00e4t Wien (TUW) - Karlsplatz 13, 1040 Vienna - Austria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien - Vienna University of Technology = Technische Universit\u00e4t Wien (Technische Universit\u00e4t Wien (TUW) - Karlsplatz 13, 1040 Vienna - Austria)","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038017715","display_name":"Domenico Bianculli","orcid":"https://orcid.org/0000-0002-4854-685X"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Bianculli, Domenico","raw_affiliation_strings":["uni.lu - Universit\u00e9 du Luxembourg = University of Luxembourg = Universit\u00e4t Luxemburg (Universit\u00e9 du Luxembourg [Si\u00e8ge] \u2013 2, place de l\u2019Universit\u00e9 \u2013 L-4365 Esch-sur-Alzette \u2013 Luxembourg - Luxembourg)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"uni.lu - Universit\u00e9 du Luxembourg = University of Luxembourg = Universit\u00e4t Luxemburg (Universit\u00e9 du Luxembourg [Si\u00e8ge] \u2013 2, place de l\u2019Universit\u00e9 \u2013 L-4365 Esch-sur-Alzette \u2013 Luxembourg - Luxembourg)","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083832418","display_name":"Christian Colombo","orcid":"https://orcid.org/0000-0002-2844-5728"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Colombo, Christian","raw_affiliation_strings":["University of Malta [Malta] (Msida MSD 2080\r\nMALTA - Malta)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Malta [Malta] (Msida MSD 2080\r\nMALTA - Malta)","institution_ids":["https://openalex.org/I197854408"]}]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Falcone, Yli\u00e9s","raw_affiliation_strings":["CORSE - Compiler Optimization and Run-time Systems (3 Parvis Louis N\u00e9el, 38000 Grenoble - France)","UGA UFR IMAG - Universit\u00e9 Grenoble Alpes - UFR Informatique et Math\u00e9matiques Appliqu\u00e9es (60, rue de la chimie - Domaine universitaire - 38400 Saint-Martin-d'H\u00e8res - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CORSE - Compiler Optimization and Run-time Systems (3 Parvis Louis N\u00e9el, 38000 Grenoble - France)","institution_ids":[]},{"raw_affiliation_string":"UGA UFR IMAG - Universit\u00e9 Grenoble Alpes - UFR Informatique et Math\u00e9matiques Appliqu\u00e9es (60, rue de la chimie - Domaine universitaire - 38400 Saint-Martin-d'H\u00e8res - France)","institution_ids":["https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077349456","display_name":"Adrian Francalanza","orcid":"https://orcid.org/0000-0003-3829-7391"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Francalanza, Adrian","raw_affiliation_strings":["University of Malta [Malta] (Msida MSD 2080\r\nMALTA - Malta)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Malta [Malta] (Msida MSD 2080\r\nMALTA - Malta)","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028440299","display_name":"Sr\u0111an Krsti\u0107","orcid":"https://orcid.org/0000-0001-8314-2589"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Krstic, Srdan","raw_affiliation_strings":["D-INFK - Department of Computer Science [ETH Z\u00fcrich] (Haldeneggsteig 4 / Weinbergstrasse 8092 Z\u00fcrich - Switzerland)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D-INFK - Department of Computer Science [ETH Z\u00fcrich] (Haldeneggsteig 4 / Weinbergstrasse 8092 Z\u00fcrich - Switzerland)","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090925729","display_name":"Jo\u00e3o Louren\u00e7o","orcid":"https://orcid.org/0000-0002-8495-6442"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Lourenco, Joao M","raw_affiliation_strings":["NOVA - Universidade Nova de Lisboa = NOVA University Lisbon (Campus de Campolide\r\n1099-085 Lisboa - Portugal)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NOVA - Universidade Nova de Lisboa = NOVA University Lisbon (Campus de Campolide\r\n1099-085 Lisboa - Portugal)","institution_ids":["https://openalex.org/I83558840"]}]},{"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":"Nickovic, Dejan","raw_affiliation_strings":["AIT - Austrian Institute of Technology [Vienna] (Donau-City-Stra\u00dfe 1\r\n1220 Vienna - Austria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AIT - Austrian Institute of Technology [Vienna] (Donau-City-Stra\u00dfe 1\r\n1220 Vienna - Austria)","institution_ids":["https://openalex.org/I132118926"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073668681","display_name":"Gordon J. Pace","orcid":"https://orcid.org/0000-0003-0743-6272"},"institutions":[{"id":"https://openalex.org/I197854408","display_name":"University of Malta","ror":"https://ror.org/03a62bv60","country_code":"MT","type":"education","lineage":["https://openalex.org/I197854408"]}],"countries":["MT"],"is_corresponding":false,"raw_author_name":"Pace, Gordon J.","raw_affiliation_strings":["Department of Computer Science [Malta] (Computing Building (CB) Msida MSD 2080 MALTA - Malta)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science [Malta] (Computing Building (CB) Msida MSD 2080 MALTA - Malta)","institution_ids":["https://openalex.org/I197854408"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074174811","display_name":"Jos\u00e9 Rufino","orcid":"https://orcid.org/0000-0003-3554-1686"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Rufino, J.M.M.","raw_affiliation_strings":["NOVA - Universidade Nova de Lisboa = NOVA University Lisbon (Campus de Campolide\r\n1099-085 Lisboa - Portugal)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NOVA - Universidade Nova de Lisboa = NOVA University Lisbon (Campus de Campolide\r\n1099-085 Lisboa - Portugal)","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088153468","display_name":"Julien Signoles","orcid":"https://orcid.org/0000-0001-9266-0820"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Signoles, Julien","raw_affiliation_strings":["LSL - Laboratoire S\u00fbret\u00e9 des Logiciels (Laboratoire S\u00fbret\u00e9 des Logiciels / \r\nSoftware Safety and Security Laboratory - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSL - Laboratoire S\u00fbret\u00e9 des Logiciels (Laboratoire S\u00fbret\u00e9 des Logiciels / \r\nSoftware Safety and Security Laboratory - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046106256","display_name":"Dmitriy Traytel","orcid":"https://orcid.org/0000-0001-7982-2768"},"institutions":[{"id":"https://openalex.org/I2799323385","display_name":"Board of the Swiss Federal Institutes of Technology","ror":"https://ror.org/01rvn4p91","country_code":"CH","type":"government","lineage":["https://openalex.org/I2799323385"]},{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Traytel, Dmitriy","raw_affiliation_strings":["ETH Z\u00fcrich - Eidgen\u00f6ssische Technische Hochschule - Swiss Federal Institute of Technology  [Z\u00fcrich] (Hauptgeb\u00e4ude, R\u00e4mistrasse 101, 8092 Z\u00fcrich - Switzerland)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Z\u00fcrich - Eidgen\u00f6ssische Technische Hochschule - Swiss Federal Institute of Technology  [Z\u00fcrich] (Hauptgeb\u00e4ude, R\u00e4mistrasse 101, 8092 Z\u00fcrich - Switzerland)","institution_ids":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058275403","display_name":"Alexander Wei\u00df","orcid":"https://orcid.org/0000-0003-1029-1297"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weiss, Alexander","raw_affiliation_strings":["Accemic Technologies GmbH (Franz-Huber-Str. 39, 83088, Kiefersfelden - Germany)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Accemic Technologies GmbH (Franz-Huber-Str. 39, 83088, Kiefersfelden - Germany)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":8,"institutions_distinct_count":16,"corresponding_author_ids":["https://openalex.org/A5015623381"],"corresponding_institution_ids":["https://openalex.org/I4210162154"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":99,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9979000091552734,"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/runtime-verification","display_name":"Runtime verification","score":0.9447295665740967},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8543184399604797},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.7397087812423706},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.6813628673553467},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.6594226956367493},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6298375129699707},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5855342149734497},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.5848584771156311},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5158078670501709},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.5074223875999451},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.49704912304878235},{"id":"https://openalex.org/keywords/instrumentation","display_name":"Instrumentation (computer programming)","score":0.47630560398101807},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4661038815975189},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.45900365710258484},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4422544538974762},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.4224434494972229},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37643754482269287},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.3677142858505249},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3342716693878174},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.21465569734573364},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07837262749671936}],"concepts":[{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.9447295665740967},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8543184399604797},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.7397087812423706},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.6813628673553467},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.6594226956367493},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6298375129699707},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5855342149734497},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.5848584771156311},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5158078670501709},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.5074223875999451},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49704912304878235},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.47630560398101807},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4661038815975189},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.45900365710258484},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4422544538974762},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4224434494972229},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37643754482269287},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3677142858505249},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3342716693878174},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.21465569734573364},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07837262749671936},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:research.chalmers.se:536730","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/536730","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323421","display_name":"G\u00f6teborgs Universitet","ror":"https://ror.org/01tm6cn81"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":312,"referenced_works":["https://openalex.org/W6669264","https://openalex.org/W31818994","https://openalex.org/W33933511","https://openalex.org/W92042591","https://openalex.org/W94168583","https://openalex.org/W95346533","https://openalex.org/W132347231","https://openalex.org/W140202552","https://openalex.org/W151929830","https://openalex.org/W155995404","https://openalex.org/W172589331","https://openalex.org/W175278625","https://openalex.org/W176994763","https://openalex.org/W189973795","https://openalex.org/W209085883","https://openalex.org/W238001728","https://openalex.org/W828139470","https://openalex.org/W856973001","https://openalex.org/W944938320","https://openalex.org/W951335392","https://openalex.org/W1409372306","https://openalex.org/W1428796072","https://openalex.org/W1428897977","https://openalex.org/W1445130277","https://openalex.org/W1470776573","https://openalex.org/W1499210710","https://openalex.org/W1501687287","https://openalex.org/W1502364670","https://openalex.org/W1509254601","https://openalex.org/W1513400763","https://openalex.org/W1518754760","https://openalex.org/W1519460009","https://openalex.org/W1521238083","https://openalex.org/W1521938291","https://openalex.org/W1523697553","https://openalex.org/W1524646280","https://openalex.org/W1526359699","https://openalex.org/W1528040784","https://openalex.org/W1529733775","https://openalex.org/W1533557569","https://openalex.org/W1537946603","https://openalex.org/W1538602734","https://openalex.org/W1547304883","https://openalex.org/W1555946950","https://openalex.org/W1558971024","https://openalex.org/W1561433714","https://openalex.org/W1561550178","https://openalex.org/W1563339303","https://openalex.org/W1568323880","https://openalex.org/W1570669451","https://openalex.org/W1576278728","https://openalex.org/W1577352907","https://openalex.org/W1577761978","https://openalex.org/W1578302512","https://openalex.org/W1590804833","https://openalex.org/W1597778235","https://openalex.org/W1606658314","https://openalex.org/W1675727887","https://openalex.org/W1700264732","https://openalex.org/W1705718777","https://openalex.org/W1734269280","https://openalex.org/W1762537806","https://openalex.org/W1927112189","https://openalex.org/W1965666572","https://openalex.org/W1966224165","https://openalex.org/W1966723394","https://openalex.org/W1968482063","https://openalex.org/W1971181882","https://openalex.org/W1972402079","https://openalex.org/W1974775743","https://openalex.org/W1975120975","https://openalex.org/W1977493058","https://openalex.org/W1977985274","https://openalex.org/W1980331987","https://openalex.org/W1985921994","https://openalex.org/W1988961870","https://openalex.org/W1992479210","https://openalex.org/W1992614040","https://openalex.org/W1997642935","https://openalex.org/W1999984505","https://openalex.org/W2001474264","https://openalex.org/W2003519602","https://openalex.org/W2004269400","https://openalex.org/W2006355640","https://openalex.org/W2006732937","https://openalex.org/W2008332764","https://openalex.org/W2010892521","https://openalex.org/W2015103810","https://openalex.org/W2015863039","https://openalex.org/W2017757263","https://openalex.org/W2020063716","https://openalex.org/W2020140696","https://openalex.org/W2022858489","https://openalex.org/W2023163864","https://openalex.org/W2023889124","https://openalex.org/W2024811322","https://openalex.org/W2026629052","https://openalex.org/W2027345614","https://openalex.org/W2027769154","https://openalex.org/W2027822753","https://openalex.org/W2028440308","https://openalex.org/W2028705369","https://openalex.org/W2033698665","https://openalex.org/W2043996829","https://openalex.org/W2049399166","https://openalex.org/W2049452590","https://openalex.org/W2049696538","https://openalex.org/W2052603522","https://openalex.org/W2054612563","https://openalex.org/W2056605754","https://openalex.org/W2058579816","https://openalex.org/W2062232889","https://openalex.org/W2064572756","https://openalex.org/W2064710146","https://openalex.org/W2071989194","https://openalex.org/W2074624304","https://openalex.org/W2075854425","https://openalex.org/W2076285066","https://openalex.org/W2082171780","https://openalex.org/W2083030183","https://openalex.org/W2088221489","https://openalex.org/W2089504053","https://openalex.org/W2092884371","https://openalex.org/W2093827646","https://openalex.org/W2093964259","https://openalex.org/W2094873755","https://openalex.org/W2095274657","https://openalex.org/W2099395665","https://openalex.org/W2100559484","https://openalex.org/W2101493333","https://openalex.org/W2101623441","https://openalex.org/W2101804404","https://openalex.org/W2105055683","https://openalex.org/W2106352837","https://openalex.org/W2107443258","https://openalex.org/W2111884963","https://openalex.org/W2112656403","https://openalex.org/W2113012730","https://openalex.org/W2113139394","https://openalex.org/W2113751407","https://openalex.org/W2114296561","https://openalex.org/W2114579022","https://openalex.org/W2115965729","https://openalex.org/W2116306829","https://openalex.org/W2120953717","https://openalex.org/W2121167614","https://openalex.org/W2122049982","https://openalex.org/W2126923256","https://openalex.org/W2127224368","https://openalex.org/W2128707878","https://openalex.org/W2129278597","https://openalex.org/W2131399618","https://openalex.org/W2131751093","https://openalex.org/W2132461047","https://openalex.org/W2133142659","https://openalex.org/W2134743705","https://openalex.org/W2135934107","https://openalex.org/W2137494325","https://openalex.org/W2137709787","https://openalex.org/W2138471478","https://openalex.org/W2139076222","https://openalex.org/W2139097159","https://openalex.org/W2142760259","https://openalex.org/W2144982963","https://openalex.org/W2146819619","https://openalex.org/W2147945178","https://openalex.org/W2149465027","https://openalex.org/W2150174204","https://openalex.org/W2150436779","https://openalex.org/W2152465173","https://openalex.org/W2152533774","https://openalex.org/W2153024173","https://openalex.org/W2153684747","https://openalex.org/W2153803621","https://openalex.org/W2154811097","https://openalex.org/W2155815558","https://openalex.org/W2156632255","https://openalex.org/W2156958982","https://openalex.org/W2157268058","https://openalex.org/W2157577995","https://openalex.org/W2157876236","https://openalex.org/W2158381251","https://openalex.org/W2158457802","https://openalex.org/W2160146193","https://openalex.org/W2161346224","https://openalex.org/W2162176451","https://openalex.org/W2163590987","https://openalex.org/W2163850966","https://openalex.org/W2164119561","https://openalex.org/W2166767032","https://openalex.org/W2166877271","https://openalex.org/W2167099561","https://openalex.org/W2167799541","https://openalex.org/W2169444734","https://openalex.org/W2170048845","https://openalex.org/W2172035080","https://openalex.org/W2172184261","https://openalex.org/W2176215692","https://openalex.org/W2182828685","https://openalex.org/W2189465200","https://openalex.org/W2233387800","https://openalex.org/W2240465192","https://openalex.org/W2249200448","https://openalex.org/W2255059519","https://openalex.org/W2255983427","https://openalex.org/W2267240189","https://openalex.org/W2267638272","https://openalex.org/W2281584718","https://openalex.org/W2282745946","https://openalex.org/W2293637521","https://openalex.org/W2294550728","https://openalex.org/W2294668307","https://openalex.org/W2296683979","https://openalex.org/W2340973907","https://openalex.org/W2374477971","https://openalex.org/W2398560035","https://openalex.org/W2436120840","https://openalex.org/W2467200783","https://openalex.org/W2467714986","https://openalex.org/W2469998798","https://openalex.org/W2479199528","https://openalex.org/W2508093270","https://openalex.org/W2514202461","https://openalex.org/W2514898741","https://openalex.org/W2519125769","https://openalex.org/W2519834483","https://openalex.org/W2520445601","https://openalex.org/W2521098037","https://openalex.org/W2521273660","https://openalex.org/W2522514395","https://openalex.org/W2528230853","https://openalex.org/W2528930642","https://openalex.org/W2538848838","https://openalex.org/W2545316382","https://openalex.org/W2560275170","https://openalex.org/W2561368256","https://openalex.org/W2565735956","https://openalex.org/W2566979091","https://openalex.org/W2583864825","https://openalex.org/W2584246098","https://openalex.org/W2594560464","https://openalex.org/W2594675090","https://openalex.org/W2599123558","https://openalex.org/W2599774663","https://openalex.org/W2604844934","https://openalex.org/W2605732479","https://openalex.org/W2610628634","https://openalex.org/W2612337305","https://openalex.org/W2617976510","https://openalex.org/W2621540998","https://openalex.org/W2626566727","https://openalex.org/W2626848775","https://openalex.org/W2732916693","https://openalex.org/W2734533983","https://openalex.org/W2735447866","https://openalex.org/W2735457986","https://openalex.org/W2735488281","https://openalex.org/W2735493790","https://openalex.org/W2742517914","https://openalex.org/W2755144723","https://openalex.org/W2758427605","https://openalex.org/W2783624664","https://openalex.org/W2785700716","https://openalex.org/W2785852717","https://openalex.org/W2787966173","https://openalex.org/W2796327418","https://openalex.org/W2796942245","https://openalex.org/W2797047369","https://openalex.org/W2800728834","https://openalex.org/W2806821027","https://openalex.org/W2808268075","https://openalex.org/W2809525751","https://openalex.org/W2884871856","https://openalex.org/W2886818990","https://openalex.org/W2892751950","https://openalex.org/W2898205432","https://openalex.org/W2898616308","https://openalex.org/W2898940106","https://openalex.org/W2899593607","https://openalex.org/W2901412811","https://openalex.org/W2949483665","https://openalex.org/W2950855758","https://openalex.org/W2951685722","https://openalex.org/W2962748292","https://openalex.org/W2963506032","https://openalex.org/W2964247868","https://openalex.org/W2974393314","https://openalex.org/W2989759921","https://openalex.org/W3098740837","https://openalex.org/W3100118001","https://openalex.org/W3102942490","https://openalex.org/W3104315304","https://openalex.org/W3105211240","https://openalex.org/W3124557892","https://openalex.org/W3137191742","https://openalex.org/W3137220996","https://openalex.org/W3138993548","https://openalex.org/W3140030144","https://openalex.org/W3140315073","https://openalex.org/W3140637088","https://openalex.org/W3151748982","https://openalex.org/W4210712301","https://openalex.org/W4230569261","https://openalex.org/W4243417617","https://openalex.org/W4244083566","https://openalex.org/W4245470813","https://openalex.org/W4248447990","https://openalex.org/W4250153274","https://openalex.org/W4250728693","https://openalex.org/W4251986490","https://openalex.org/W4254497756","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2361881307","https://openalex.org/W2392047570","https://openalex.org/W2035244079","https://openalex.org/W3036403349","https://openalex.org/W4301348901","https://openalex.org/W2962898432","https://openalex.org/W3120172095","https://openalex.org/W2355428260","https://openalex.org/W2350806125","https://openalex.org/W2059150015"],"abstract_inverted_index":{"Runtime":[0],"verification":[1,26,77,113],"is":[2],"an":[3],"area":[4],"of":[5,13,31,42,53,72,85,109,148],"formal":[6,17],"methods":[7],"that":[8,123,135],"studies":[9],"the":[10,20,29,37,40,45,51,54,58,61,64,69,73,82,121,145,149],"dynamic":[11,83],"analysis":[12,67,84],"execution":[14],"traces":[15,43],"against":[16,44],"specifications.":[18],"Typically,":[19],"two":[21],"main":[22],"activities":[23,49],"in":[24,75,151],"runtime":[25,76,112,152],"efforts":[27],"are":[28,90],"process":[30],"creating":[32],"monitors":[33],"from":[34,115],"specifications,":[35],"and":[36,60,68,99],"algorithms":[38],"for":[39,111],"evaluation":[41],"generated":[46],"monitors.":[47],"Other":[48],"involve":[50],"instrumentation":[52],"system":[55,65],"to":[56,95,127,140],"generate":[57],"trace":[59],"communication":[62],"between":[63],"under":[66],"monitor.":[70],"Most":[71],"applications":[74,94],"have":[78],"been":[79],"focused":[80],"on":[81,120],"software,":[86],"even":[87],"though":[88],"there":[89],"many":[91],"more":[92],"potential":[93],"other":[96],"computational":[97,133],"devices":[98],"target":[100],"systems.":[101],"In":[102],"this":[103],"paper":[104],"we":[105],"present":[106],"a":[107],"collection":[108],"challenges":[110],"extracted":[114],"concrete":[116],"application":[117],"domains,":[118],"focusing":[119],"difficulties":[122],"must":[124],"be":[125],"overcome":[126],"tackle":[128],"these":[129,137],"specific":[130],"challenges.":[131],"The":[132],"models":[134],"characterize":[136],"domains":[138],"require":[139],"devise":[141],"new":[142],"techniques":[143],"beyond":[144],"current":[146],"state":[147],"art":[150],"verification.":[153]},"counts_by_year":[{"year":2026,"cited_by_count":7},{"year":2025,"cited_by_count":13},{"year":2024,"cited_by_count":16},{"year":2023,"cited_by_count":20},{"year":2022,"cited_by_count":18},{"year":2021,"cited_by_count":17},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":2}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}