@incollection{bartocci_introduction_2018,
	address = {Cham},
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Introduction to {Runtime} {Verification}},
	isbn = {978-3-319-75632-5},
	url = {https://doi.org/10.1007/978-3-319-75632-5_1},
	doi = {10.1007/978-3-319-75632-5_1},
	abstract = {The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification (RV). We start by providing an overview of the main specification languages used for RV. We then introduce the standard terminology necessary to describe the monitoring problem, covering the pragmatic issues of monitoring and instrumentation, and discussing extensively the monitorability problem.},
	language = {en},
	urldate = {2022-12-19},
	booktitle = {Lectures on {Runtime} {Verification}: {Introductory} and {Advanced} {Topics}},
	publisher = {Springer International Publishing},
	author = {Bartocci, Ezio and Falcone, Yliès and Francalanza, Adrian and Reger, Giles},
	editor = {Bartocci, Ezio and Falcone, Yliès},
	year = {2018},
	pages = {1--33},
}

{"_id":"C6xAATccZ5yyLJkTA","bibbaseid":"bartocci-falcone-francalanza-reger-introductiontoruntimeverification-2018","author_short":["Bartocci, E.","Falcone, Y.","Francalanza, A.","Reger, G."],"bibdata":{"bibtype":"incollection","type":"incollection","address":"Cham","series":"Lecture Notes in Computer Science","title":"Introduction to Runtime Verification","isbn":"978-3-319-75632-5","url":"https://doi.org/10.1007/978-3-319-75632-5_1","doi":"10.1007/978-3-319-75632-5_1","abstract":"The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification (RV). We start by providing an overview of the main specification languages used for RV. We then introduce the standard terminology necessary to describe the monitoring problem, covering the pragmatic issues of monitoring and instrumentation, and discussing extensively the monitorability problem.","language":"en","urldate":"2022-12-19","booktitle":"Lectures on Runtime Verification: Introductory and Advanced Topics","publisher":"Springer International Publishing","author":[{"propositions":[],"lastnames":["Bartocci"],"firstnames":["Ezio"],"suffixes":[]},{"propositions":[],"lastnames":["Falcone"],"firstnames":["Yliès"],"suffixes":[]},{"propositions":[],"lastnames":["Francalanza"],"firstnames":["Adrian"],"suffixes":[]},{"propositions":[],"lastnames":["Reger"],"firstnames":["Giles"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Bartocci"],"firstnames":["Ezio"],"suffixes":[]},{"propositions":[],"lastnames":["Falcone"],"firstnames":["Yliès"],"suffixes":[]}],"year":"2018","pages":"1–33","bibtex":"@incollection{bartocci_introduction_2018,\n\taddress = {Cham},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Introduction to {Runtime} {Verification}},\n\tisbn = {978-3-319-75632-5},\n\turl = {https://doi.org/10.1007/978-3-319-75632-5_1},\n\tdoi = {10.1007/978-3-319-75632-5_1},\n\tabstract = {The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification (RV). We start by providing an overview of the main specification languages used for RV. We then introduce the standard terminology necessary to describe the monitoring problem, covering the pragmatic issues of monitoring and instrumentation, and discussing extensively the monitorability problem.},\n\tlanguage = {en},\n\turldate = {2022-12-19},\n\tbooktitle = {Lectures on {Runtime} {Verification}: {Introductory} and {Advanced} {Topics}},\n\tpublisher = {Springer International Publishing},\n\tauthor = {Bartocci, Ezio and Falcone, Yliès and Francalanza, Adrian and Reger, Giles},\n\teditor = {Bartocci, Ezio and Falcone, Yliès},\n\tyear = {2018},\n\tpages = {1--33},\n}\n\n\n\n\n\n\n\n","author_short":["Bartocci, E.","Falcone, Y.","Francalanza, A.","Reger, G."],"editor_short":["Bartocci, E.","Falcone, Y."],"key":"bartocci_introduction_2018","id":"bartocci_introduction_2018","bibbaseid":"bartocci-falcone-francalanza-reger-introductiontoruntimeverification-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-75632-5_1"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"incollection","biburl":"https://bibbase.org/zotero/alukina","dataSources":["Cfgnp5s4HQSBd8tAf"],"keywords":[],"search_terms":["introduction","runtime","verification","bartocci","falcone","francalanza","reger"],"title":"Introduction to Runtime Verification","year":2018}