{"id":"https://openalex.org/W2901580792","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-08-09","ids":{"openalex":"https://openalex.org/W2901580792","doi":"https://doi.org/10.1007/s10703-019-00337-w","mag":"2901580792"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-019-00337-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-019-00337-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-019-00337-w.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10703-019-00337-w.pdf","any_repository_has_fulltext":true},"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":"C\u00e9sar S\u00e1nchez","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain ("],"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, 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":"Gerardo Schneider","raw_affiliation_strings":["University of Gothenburg"],"affiliations":[{"raw_affiliation_string":"University of Gothenburg","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":"Wolfgang Ahrendt","raw_affiliation_strings":["[Chalmers Univ. of Technol., Goteborg]"],"affiliations":[{"raw_affiliation_string":"[Chalmers Univ. of Technol., Goteborg]","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":"Ezio Bartocci","raw_affiliation_strings":["Technische Universit\u00e4t Wien"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien","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":"Domenico Bianculli","raw_affiliation_strings":["University of Luxembourg, Luxembourg City, Luxembourg"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, Luxembourg City, 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":"Christian Colombo","raw_affiliation_strings":["University of Malta, Msida, Malta"],"affiliations":[{"raw_affiliation_string":"University of Malta, Msida, 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/I4210102957","display_name":"D\u00e9partement math\u00e9matiques, informatique, sciences de la donn\u00e9e et technologies du num\u00e9rique","ror":"https://ror.org/011emb038","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210088668","https://openalex.org/I4210102957"]},{"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":"Yli\u00e8s Falcone","raw_affiliation_strings":["Universit\u00e9 Grenoble Alpes - UFR Informatique et Math\u00e9matiques Appliqu\u00e9es"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Grenoble Alpes - UFR Informatique et Math\u00e9matiques Appliqu\u00e9es","institution_ids":["https://openalex.org/I4210102957","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":"Adrian Francalanza","raw_affiliation_strings":["University of Malta, Malta"],"affiliations":[{"raw_affiliation_string":"University of Malta, 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":"Sr\u0111an Krsti\u0107","raw_affiliation_strings":["Dept. of Computer Science, ETH Zurich"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, ETH Zurich","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Joa\u030bo M. Louren\u00e7o","orcid":null},"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":"Joa\u030bo M. Louren\u00e7o","raw_affiliation_strings":["Universidade Nova de Lisboa Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"Universidade Nova de Lisboa Lisbon, 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":"Dejan Nickovic","raw_affiliation_strings":["Austrian Institute of Technology, Vienna"],"affiliations":[{"raw_affiliation_string":"Austrian Institute of Technology, Vienna","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":"Gordon J. Pace","raw_affiliation_strings":["Department of Computer Science [Malta]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science [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/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jose Rufino","raw_affiliation_strings":["Universidade de Lisboa, Lisbon, Portugal#TAB#"],"affiliations":[{"raw_affiliation_string":"Universidade de Lisboa, Lisbon, Portugal#TAB#","institution_ids":["https://openalex.org/I141596103"]}]},{"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":"Julien Signoles","raw_affiliation_strings":["Laboratoire S\u00fbret\u00e9 des Logiciels"],"affiliations":[{"raw_affiliation_string":"Laboratoire S\u00fbret\u00e9 des Logiciels","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/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":"Dmitriy Traytel","raw_affiliation_strings":["ETH Zurich Zurich Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich Zurich Switzerland","institution_ids":["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":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alexander Weiss","raw_affiliation_strings":["University of Edinburgh,"],"affiliations":[{"raw_affiliation_string":"University of Edinburgh,","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":9,"institutions_distinct_count":16,"corresponding_author_ids":["https://openalex.org/A5015623381"],"corresponding_institution_ids":["https://openalex.org/I4210162154"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":{"value":2690,"currency":"EUR","value_usd":3490},"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.01008403,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"54","issue":"3","first_page":"279","last_page":"335"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"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.9965000152587891,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.9471118450164795},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8486087322235107},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.7312270998954773},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.6497783064842224},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.6336945295333862},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6297623515129089},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.5805559754371643},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5648623108863831},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5133799314498901},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.49799156188964844},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4937816560268402},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.470353364944458},{"id":"https://openalex.org/keywords/instrumentation","display_name":"Instrumentation (computer programming)","score":0.46899130940437317},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4567403197288513},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.43284308910369873},{"id":"https://openalex.org/keywords/runtime-system","display_name":"Runtime system","score":0.4139365553855896},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.39700543880462646},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.393014132976532},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.34385839104652405},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2944309115409851},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.18697577714920044}],"concepts":[{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.9471118450164795},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8486087322235107},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.7312270998954773},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.6497783064842224},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.6336945295333862},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6297623515129089},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.5805559754371643},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5648623108863831},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5133799314498901},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.49799156188964844},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4937816560268402},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.470353364944458},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.46899130940437317},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4567403197288513},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.43284308910369873},{"id":"https://openalex.org/C2780870223","wikidata":"https://www.wikidata.org/wiki/Q1004415","display_name":"Runtime system","level":2,"score":0.4139365553855896},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.39700543880462646},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.393014132976532},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.34385839104652405},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2944309115409851},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.18697577714920044},{"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":10,"locations":[{"id":"doi:10.1007/s10703-019-00337-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-019-00337-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-019-00337-w.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1811.06740","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1811.06740","pdf_url":"https://arxiv.org/pdf/1811.06740","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:run.unl.pt:10362/118499","is_oa":true,"landing_page_url":"http://hdl.handle.net/10362/118499","pdf_url":"http://hdl.handle.net/10362/118499","source":{"id":"https://openalex.org/S4210182101","display_name":"Revista de Estudos Anglo-Portugueses/Journal of Anglo-Portuguese Studies","issn_l":"0871-682X","issn":["0871-682X","2184-0687"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"journal article"},{"id":"pmh:oai:www.um.edu.mt:123456789/91267","is_oa":true,"landing_page_url":"https://www.um.edu.mt/library/oar/handle/123456789/91267","pdf_url":null,"source":{"id":"https://openalex.org/S4306400782","display_name":"OAR@UM (University of Malta)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I197854408","host_organization_name":"University of Malta","host_organization_lineage":["https://openalex.org/I197854408"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:HAL:hal-02433558v1","is_oa":true,"landing_page_url":"https://hal.science/hal-02433558","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Methods in System Design, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩","raw_type":"Journal articles"},{"id":"pmh:oai:orbilu.uni.lu:10993/40026","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/40026","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/380430","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/380430","pdf_url":null,"source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Methods in System Design, 54 (3)","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"doi:10.48550/arxiv.1811.06740","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1811.06740","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.3929/ethz-b-000380430","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-b-000380430","pdf_url":null,"source":{"id":"https://openalex.org/S7407051236","display_name":"ETH Z\u00fcrich Research Collection","issn_l":null,"issn":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:2901580792","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.1007/s10703-019-00337-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-019-00337-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-019-00337-w.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323421","display_name":"G\u00f6teborgs Universitet","ror":"https://ror.org/01tm6cn81"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2901580792.pdf","grobid_xml":"https://content.openalex.org/works/W2901580792.grobid-xml"},"referenced_works_count":234,"referenced_works":["https://openalex.org/W6669264","https://openalex.org/W31818994","https://openalex.org/W33933511","https://openalex.org/W92042591","https://openalex.org/W132347231","https://openalex.org/W140202552","https://openalex.org/W151929830","https://openalex.org/W155995404","https://openalex.org/W172589331","https://openalex.org/W189973795","https://openalex.org/W209085883","https://openalex.org/W828139470","https://openalex.org/W856973001","https://openalex.org/W951335392","https://openalex.org/W1428796072","https://openalex.org/W1445130277","https://openalex.org/W1501687287","https://openalex.org/W1502364670","https://openalex.org/W1509254601","https://openalex.org/W1513400763","https://openalex.org/W1521238083","https://openalex.org/W1523697553","https://openalex.org/W1524646280","https://openalex.org/W1528040784","https://openalex.org/W1533557569","https://openalex.org/W1537946603","https://openalex.org/W1538602734","https://openalex.org/W1547304883","https://openalex.org/W1561550178","https://openalex.org/W1563339303","https://openalex.org/W1568323880","https://openalex.org/W1570669451","https://openalex.org/W1576278728","https://openalex.org/W1577761978","https://openalex.org/W1578302512","https://openalex.org/W1590804833","https://openalex.org/W1606658314","https://openalex.org/W1675727887","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/W1972402079","https://openalex.org/W1974775743","https://openalex.org/W1975120975","https://openalex.org/W1977493058","https://openalex.org/W1977985274","https://openalex.org/W1980331987","https://openalex.org/W1988961870","https://openalex.org/W1992614040","https://openalex.org/W1997642935","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/W2020140696","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/W2028440308","https://openalex.org/W2028705369","https://openalex.org/W2028718606","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/W2111884963","https://openalex.org/W2112656403","https://openalex.org/W2113012730","https://openalex.org/W2113139394","https://openalex.org/W2114296561","https://openalex.org/W2114579022","https://openalex.org/W2115965729","https://openalex.org/W2116306829","https://openalex.org/W2120953717","https://openalex.org/W2122049982","https://openalex.org/W2126923256","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/W2137709787","https://openalex.org/W2138471478","https://openalex.org/W2139076222","https://openalex.org/W2139097159","https://openalex.org/W2142760259","https://openalex.org/W2144982963","https://openalex.org/W2149465027","https://openalex.org/W2150174204","https://openalex.org/W2150436779","https://openalex.org/W2152465173","https://openalex.org/W2152533774","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/W2158381251","https://openalex.org/W2160146193","https://openalex.org/W2162176451","https://openalex.org/W2164119561","https://openalex.org/W2166767032","https://openalex.org/W2166877271","https://openalex.org/W2167799541","https://openalex.org/W2169444734","https://openalex.org/W2172035080","https://openalex.org/W2176215692","https://openalex.org/W2182828685","https://openalex.org/W2233387800","https://openalex.org/W2240465192","https://openalex.org/W2255059519","https://openalex.org/W2255983427","https://openalex.org/W2267240189","https://openalex.org/W2267638272","https://openalex.org/W2281584718","https://openalex.org/W2294550728","https://openalex.org/W2294668307","https://openalex.org/W2296683979","https://openalex.org/W2340973907","https://openalex.org/W2374477971","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/W2521273660","https://openalex.org/W2528230853","https://openalex.org/W2528930642","https://openalex.org/W2538848838","https://openalex.org/W2560275170","https://openalex.org/W2565735956","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/W2626848775","https://openalex.org/W2732916693","https://openalex.org/W2734533983","https://openalex.org/W2735457986","https://openalex.org/W2735488281","https://openalex.org/W2735493790","https://openalex.org/W2755144723","https://openalex.org/W2758427605","https://openalex.org/W2783624664","https://openalex.org/W2785700716","https://openalex.org/W2785852717","https://openalex.org/W2796327418","https://openalex.org/W2796942245","https://openalex.org/W2806821027","https://openalex.org/W2809525751","https://openalex.org/W2884871856","https://openalex.org/W2892751950","https://openalex.org/W2898205432","https://openalex.org/W2898616308","https://openalex.org/W2898940106","https://openalex.org/W2899593607","https://openalex.org/W2899996175","https://openalex.org/W2901412811","https://openalex.org/W2962748292","https://openalex.org/W2963506032","https://openalex.org/W2964247868","https://openalex.org/W2989759921","https://openalex.org/W3137191742","https://openalex.org/W3137220996","https://openalex.org/W3138993548","https://openalex.org/W4210712301","https://openalex.org/W4230569261","https://openalex.org/W4243417617","https://openalex.org/W4244083566","https://openalex.org/W4248447990","https://openalex.org/W4250153274","https://openalex.org/W4250728693","https://openalex.org/W4251986490","https://openalex.org/W4254234063","https://openalex.org/W4254497756"],"related_works":["https://openalex.org/W2967277443","https://openalex.org/W2950360254","https://openalex.org/W2167809103","https://openalex.org/W2528148505","https://openalex.org/W2946039991","https://openalex.org/W2130605344","https://openalex.org/W2480403344","https://openalex.org/W3166656357","https://openalex.org/W2148766643","https://openalex.org/W2024753805","https://openalex.org/W1717825757","https://openalex.org/W2496654653","https://openalex.org/W3012291635","https://openalex.org/W95959045","https://openalex.org/W2982354859","https://openalex.org/W2982321650","https://openalex.org/W2113143794","https://openalex.org/W2588940347","https://openalex.org/W1559703165","https://openalex.org/W1992677285"],"abstract_inverted_index":{"Abstract":[0],"Runtime":[1],"verification":[2,27,78,114],"is":[3],"an":[4],"area":[5],"of":[6,14,32,43,54,73,86,110,149],"formal":[7,18],"methods":[8],"that":[9,124,136],"studies":[10],"the":[11,21,30,38,41,46,52,55,59,62,65,70,74,83,122,146,150],"dynamic":[12,84],"analysis":[13,68,85],"execution":[15],"traces":[16,44],"against":[17,45],"specifications.":[19],"Typically,":[20],"two":[22],"main":[23],"activities":[24,50],"in":[25,76,152],"runtime":[26,77,113,153],"efforts":[28],"are":[29,91],"process":[31],"creating":[33],"monitors":[34],"from":[35,116],"specifications,":[36],"and":[37,61,69,100],"algorithms":[39],"for":[40,112],"evaluation":[42],"generated":[47],"monitors.":[48],"Other":[49],"involve":[51],"instrumentation":[53],"system":[56,66],"to":[57,96,128,141],"generate":[58],"trace":[60],"communication":[63],"between":[64],"under":[67],"monitor.":[71],"Most":[72],"applications":[75,95],"have":[79],"been":[80],"focused":[81],"on":[82,121],"software,":[87],"even":[88],"though":[89],"there":[90],"many":[92],"more":[93],"potential":[94],"other":[97],"computational":[98,134],"devices":[99],"target":[101],"systems.":[102],"In":[103],"this":[104],"paper":[105],"we":[106],"present":[107],"a":[108],"collection":[109],"challenges":[111],"extracted":[115],"concrete":[117],"application":[118],"domains,":[119],"focusing":[120],"difficulties":[123],"must":[125],"be":[126],"overcome":[127],"tackle":[129],"these":[130,138],"specific":[131],"challenges.":[132],"The":[133],"models":[135],"characterize":[137],"domains":[139],"require":[140],"devise":[142],"new":[143],"techniques":[144],"beyond":[145],"current":[147],"state":[148],"art":[151],"verification.":[154]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-17T18:11:37.981687","created_date":"2022-08-02T00:00:00"}