Paper Info

Title | ||
---|---|---|

A Framework for Parameterized Monitorability. |

Abstract | ||
---|---|---|

We introduce a general framework for Runtime Verification, parameterized with respect to a set of conditions. These conditions are encoded in the trace generated by a monitored process, which a monitor can observe. We present this parameterized framework in its general form and prove that it corresponds to a fragment of HML with recursion, extended with these conditions. We then show how this framework can be applied to a number of instantiations of the set of conditions. |

Year | Venue | Field |
---|---|---|

2018 | FoSSaCS | Discrete mathematics,Parameterized complexity,Computer science,Theoretical computer science,Runtime verification,Recursion |

DocType | Citations | PageRank |

Conference | 0 | 0.34 |

References | Authors | |

17 | 4 |

Authors (4 rows)

Cited by (0 rows)

References (17 rows)

Name | Order | Citations | PageRank |
---|---|---|---|

Luca Aceto | 1 | 1125 | 101.87 |

Antonis Achilleos | 2 | 33 | 8.57 |

Adrian Francalanza | 3 | 180 | 25.48 |

Anna Ingólfsdóttir | 4 | 617 | 64.95 |