{"id":"https://openalex.org/W3082462182","doi":"https://doi.org/10.15167/franceschini-luca_phd2020-03-19","title":"RML: Runtime Monitoring Language","display_name":"RML: Runtime Monitoring Language","publication_year":2020,"publication_date":"2020-03-19","ids":{"openalex":"https://openalex.org/W3082462182","doi":"https://doi.org/10.15167/franceschini-luca_phd2020-03-19","mag":"3082462182"},"language":"en","primary_location":{"id":"pmh:oai:iris.unige.it:11567/1001856","is_oa":true,"landing_page_url":"http://hdl.handle.net/11567/1001856","pdf_url":"https://iris.unige.it/bitstream/11567/1001856/4/phdunige_3712524.pdf","source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"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/doctoralThesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://iris.unige.it/bitstream/11567/1001856/4/phdunige_3712524.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025913765","display_name":"Luca Franceschini","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"FRANCESCHINI, LUCA","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-0382-0023","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5025913765"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9440000057220459,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9440000057220459,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6048580408096313}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6048580408096313}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:iris.unige.it:11567/1001856","is_oa":true,"landing_page_url":"http://hdl.handle.net/11567/1001856","pdf_url":"https://iris.unige.it/bitstream/11567/1001856/4/phdunige_3712524.pdf","source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"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/doctoralThesis"},{"id":"doi:10.15167/franceschini-luca_phd2020-03-19","is_oa":true,"landing_page_url":"https://doi.org/10.15167/franceschini-luca_phd2020-03-19","pdf_url":null,"source":{"id":"https://openalex.org/S7407050993","display_name":"Universit\u00e0 degli Studi di Genova","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:3082462182","is_oa":false,"landing_page_url":"https://iris.unige.it/bitstream/11567/1001856/4/phdunige_3712524.pdf","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":"pmh:oai:iris.unige.it:11567/1001856","is_oa":true,"landing_page_url":"http://hdl.handle.net/11567/1001856","pdf_url":"https://iris.unige.it/bitstream/11567/1001856/4/phdunige_3712524.pdf","source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"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/doctoralThesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3082462182.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2905804329","https://openalex.org/W1024017524","https://openalex.org/W2303191602","https://openalex.org/W3110893052","https://openalex.org/W1584070569","https://openalex.org/W2345086821","https://openalex.org/W2196733587","https://openalex.org/W3118627401","https://openalex.org/W2949689659","https://openalex.org/W626665834","https://openalex.org/W3113376956","https://openalex.org/W2241388380","https://openalex.org/W2181348335","https://openalex.org/W980244990","https://openalex.org/W2254098823","https://openalex.org/W628674712","https://openalex.org/W2949076761","https://openalex.org/W3144784341","https://openalex.org/W2736528221","https://openalex.org/W3167713599"],"abstract_inverted_index":{"Runtime":[0],"verification":[1,7],"is":[2,30,46,124,138,148],"a":[3,16,20,49,58,83,97,143,152],"relatively":[4],"new":[5],"software":[6],"technique":[8],"that":[9,51,72],"aims":[10],"to":[11,34,57,76,130,141,158,190],"prove":[12],"the":[13,26,37,41,61,65,79,105,114,117,160,180,183],"correctness":[14],"of":[15,19,44,60,64,82,91,107,119,182],"specific":[17],"run":[18],"program,":[21],"rather":[22],"than":[23],"statically":[24],"verify":[25,194],"code.":[27],"The":[28],"program":[29],"instrumented":[31],"in":[32],"order":[33,157],"collect":[35],"all":[36],"relevant":[38],"information,":[39],"and":[40,89,111,116,127,169,192],"resulting":[42],"trace":[43],"events":[45],"inspected":[47],"by":[48],"monitor":[50],"verifies":[52],"its":[53],"compliance":[54],"with":[55,85,104,151,172],"respect":[56],"specification":[59,98],"expected":[62,80],"properties":[63,135],"system":[66,120],"under":[67],"scrutiny.":[68],"Many":[69],"languages":[70],"exist":[71],"can":[73],"be":[74],"used":[75],"formally":[77],"express":[78,131],"behavior":[81],"system,":[84],"different":[86],"design":[87],"choices":[88],"degrees":[90],"expressivity.":[92],"This":[93],"thesis":[94],"presents":[95],"RML,":[96],"language":[99],"designed":[100],"for":[101],"runtime":[102],"verification,":[103],"goal":[106],"being":[108,121],"completely":[109],"modular":[110],"independent":[112],"from":[113,187],"instrumentation":[115],"kind":[118],"monitored.":[122],"RML":[123,137,188],"highly":[125],"expressive,":[126],"allows":[128],"one":[129],"complex,":[132],"parametric,":[133],"non-context-free":[134],"concisely.":[136],"compiled":[139],"down":[140],"TC,":[142],"lower":[144],"level":[145],"calculus,":[146],"which":[147],"fully":[149],"formalized":[150],"deterministic,":[153],"rewriting-based":[154],"semantics.":[155],"In":[156],"evaluate":[159],"approach,":[161],"an":[162],"open":[163],"source":[164],"implementation":[165],"has":[166],"been":[167,176],"developed,":[168],"several":[170],"examples":[171],"Node.js":[173],"programs":[174],"have":[175],"tested.":[177],"Benchmarks":[178],"show":[179],"ability":[181],"monitors":[184],"automatically":[185],"generated":[186],"specifications":[189],"effectively":[191],"efficiently":[193],"complex":[195],"properties.":[196]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}