A Framework for Parameterized Monitorability. Aceto, L., Achilleos, A., Francalanza, A., & Ingólfsdóttir, A. In Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pages 203–220, 2018. bibtex @inproceedings{aceto_framework_2018,
author = {Aceto, Luca and Achilleos, Antonis and Francalanza, Adrian and Ing{\'o}lfsd{\'o}ttir, Anna},
booktitle = {Foundations of {Software} {Science} and {Computation} {Structures} - 21st {International} {Conference}, {FOSSACS} 2018, {Held} as {Part} of the {European} {Joint} {Conferences} on {Theory} and {Practice} of {Software}, {ETAPS} 2018, {Thessaloniki}, {Greece}, {April} 14-20, 2018, {Proceedings}},
pages = {203--220},
title = {A {Framework} for {Parameterized} {Monitorability}},
year = {2018}}
Downloads: 0
{"_id":"BNaPWfrNA4npRr2C4","bibbaseid":"aceto-achilleos-francalanza-inglfsdttir-aframeworkforparameterizedmonitorability-2018","author_short":["Aceto, L.","Achilleos, A.","Francalanza, A.","Ingólfsdóttir, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Aceto"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Achilleos"],"firstnames":["Antonis"],"suffixes":[]},{"propositions":[],"lastnames":["Francalanza"],"firstnames":["Adrian"],"suffixes":[]},{"propositions":[],"lastnames":["Ingólfsdóttir"],"firstnames":["Anna"],"suffixes":[]}],"booktitle":"Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings","pages":"203–220","title":"A Framework for Parameterized Monitorability","year":"2018","bibtex":"@inproceedings{aceto_framework_2018,\n\tauthor = {Aceto, Luca and Achilleos, Antonis and Francalanza, Adrian and Ing{\\'o}lfsd{\\'o}ttir, Anna},\n\tbooktitle = {Foundations of {Software} {Science} and {Computation} {Structures} - 21st {International} {Conference}, {FOSSACS} 2018, {Held} as {Part} of the {European} {Joint} {Conferences} on {Theory} and {Practice} of {Software}, {ETAPS} 2018, {Thessaloniki}, {Greece}, {April} 14-20, 2018, {Proceedings}},\n\tpages = {203--220},\n\ttitle = {A {Framework} for {Parameterized} {Monitorability}},\n\tyear = {2018}}\n\n","author_short":["Aceto, L.","Achilleos, A.","Francalanza, A.","Ingólfsdóttir, A."],"key":"aceto_framework_2018","id":"aceto_framework_2018","bibbaseid":"aceto-achilleos-francalanza-inglfsdttir-aframeworkforparameterizedmonitorability-2018","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://drive.google.com/uc?export=download&id=19WpQhoMIwJIL1DMqKywl2YoH2M7MIki5","dataSources":["RKZzE9qbnqyegdbZi","kCt8NvHdC72dHkmfu"],"keywords":[],"search_terms":["framework","parameterized","monitorability","aceto","achilleos","francalanza","ingólfsdóttir"],"title":"A Framework for Parameterized Monitorability","year":2018}