@inproceedings{gautham_finding_2020,
	title = {Finding {Synergy} {Between} {Design}-time {Assurance} and {Runtime} {Verification} by {Means} of {Model} {Based} {Engineering}},
	booktitle = {Submitted to 20th {International} {Conference} on {Runtime} {Verification}, 2020, waiting decision},
	author = {Gautham, Smitha and Jayakumar, Athira and Elks, Carl},
	year = {2020},
}

{"_id":"KHQn2nZ3zCgsgxyjw","bibbaseid":"gautham-jayakumar-elks-findingsynergybetweendesigntimeassuranceandruntimeverificationbymeansofmodelbasedengineering-2020","authorIDs":["gnpJ2XahbLkbuhcqz"],"author_short":["Gautham, S.","Jayakumar, A.","Elks, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Finding Synergy Between Design-time Assurance and Runtime Verification by Means of Model Based Engineering","booktitle":"Submitted to 20th International Conference on Runtime Verification, 2020, waiting decision","author":[{"propositions":[],"lastnames":["Gautham"],"firstnames":["Smitha"],"suffixes":[]},{"propositions":[],"lastnames":["Jayakumar"],"firstnames":["Athira"],"suffixes":[]},{"propositions":[],"lastnames":["Elks"],"firstnames":["Carl"],"suffixes":[]}],"year":"2020","bibtex":"@inproceedings{gautham_finding_2020,\n\ttitle = {Finding {Synergy} {Between} {Design}-time {Assurance} and {Runtime} {Verification} by {Means} of {Model} {Based} {Engineering}},\n\tbooktitle = {Submitted to 20th {International} {Conference} on {Runtime} {Verification}, 2020, waiting decision},\n\tauthor = {Gautham, Smitha and Jayakumar, Athira and Elks, Carl},\n\tyear = {2020},\n}\n\n","author_short":["Gautham, S.","Jayakumar, A.","Elks, C."],"key":"gautham_finding_2020","id":"gautham_finding_2020","bibbaseid":"gautham-jayakumar-elks-findingsynergybetweendesigntimeassuranceandruntimeverificationbymeansofmodelbasedengineering-2020","role":"author","urls":{},"metadata":{"authorlinks":{"elks, c":"https://bibbase.org/show?bib=https%3A%2F%2Fapi.zotero.org%2Fgroups%2F2575028%2Fitems%3Fkey%3DWRT0i5KCH5DutUN8UOzXF5dC%26format%3Dbibtex%26limit%3D100"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://api.zotero.org/groups/2575028/items?key=WRT0i5KCH5DutUN8UOzXF5dC&format=bibtex&limit=100","creationDate":"2020-10-05T11:23:13.659Z","downloads":0,"keywords":[],"search_terms":["finding","synergy","between","design","time","assurance","runtime","verification","means","model","based","engineering","gautham","jayakumar","elks"],"title":"Finding Synergy Between Design-time Assurance and Runtime Verification by Means of Model Based Engineering","year":2020,"dataSources":["3szDtHe5XuBcrBHR4","2PHxSBEXp3AWgXrFz"]}