Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366449963> ?p ?o ?g. }
- W4366449963 endingPage "491" @default.
- W4366449963 startingPage "473" @default.
- W4366449963 abstract "Abstract Runtime monitors analyze system execution traces for policy compliance. Monitors for propositional specification languages, such as metric temporal logic (MTL), produce Boolean verdicts denoting whether the policy is satisfied or violated at a given point in the trace. Given a sufficiently complex policy, it can be difficult for the monitor’s user to understand how the monitor arrived at its verdict. We develop an MTL monitor that outputs verdicts capturing why the policy was satisfied or violated. Our verdicts are proof trees in a sound and complete proof system that we design. We demonstrate that such verdicts can serve as explanations for end users by augmenting our monitor with a graphical interface for the interactive exploration of proof trees. As a second application, our verdicts serve as certificates in a formally verified checker we develop using the Isabelle proof assistant." @default.
- W4366449963 created "2023-04-22" @default.
- W4366449963 creator A5001234016 @default.
- W4366449963 creator A5010585759 @default.
- W4366449963 creator A5020812040 @default.
- W4366449963 creator A5046106256 @default.
- W4366449963 creator A5070919737 @default.
- W4366449963 date "2023-01-01" @default.
- W4366449963 modified "2023-10-01" @default.
- W4366449963 title "Explainable Online Monitoring of Metric Temporal Logic" @default.
- W4366449963 cites W1881465144 @default.
- W4366449963 cites W2028045996 @default.
- W4366449963 cites W2147933308 @default.
- W4366449963 cites W2159958244 @default.
- W4366449963 cites W2167541073 @default.
- W4366449963 cites W2233387800 @default.
- W4366449963 cites W2238768211 @default.
- W4366449963 cites W2267240189 @default.
- W4366449963 cites W2512200444 @default.
- W4366449963 cites W2521443996 @default.
- W4366449963 cites W2564212270 @default.
- W4366449963 cites W2593263671 @default.
- W4366449963 cites W2751707489 @default.
- W4366449963 cites W2796327418 @default.
- W4366449963 cites W2892751950 @default.
- W4366449963 cites W2913504600 @default.
- W4366449963 cites W2944421753 @default.
- W4366449963 cites W2978390175 @default.
- W4366449963 cites W2978736296 @default.
- W4366449963 cites W2979219239 @default.
- W4366449963 cites W3016645482 @default.
- W4366449963 cites W3047043794 @default.
- W4366449963 cites W3082487236 @default.
- W4366449963 cites W3092141107 @default.
- W4366449963 cites W3092534483 @default.
- W4366449963 cites W3092606236 @default.
- W4366449963 cites W3112313904 @default.
- W4366449963 cites W3203645543 @default.
- W4366449963 cites W35443084 @default.
- W4366449963 cites W4289045132 @default.
- W4366449963 cites W4296899992 @default.
- W4366449963 cites W4296900008 @default.
- W4366449963 cites W73709024 @default.
- W4366449963 cites W2981989604 @default.
- W4366449963 doi "https://doi.org/10.1007/978-3-031-30820-8_28" @default.
- W4366449963 hasPublicationYear "2023" @default.
- W4366449963 type Work @default.
- W4366449963 citedByCount "0" @default.
- W4366449963 crossrefType "book-chapter" @default.
- W4366449963 hasAuthorship W4366449963A5001234016 @default.
- W4366449963 hasAuthorship W4366449963A5010585759 @default.
- W4366449963 hasAuthorship W4366449963A5020812040 @default.
- W4366449963 hasAuthorship W4366449963A5046106256 @default.
- W4366449963 hasAuthorship W4366449963A5070919737 @default.
- W4366449963 hasBestOaLocation W43664499631 @default.
- W4366449963 hasConcept C107457646 @default.
- W4366449963 hasConcept C110251889 @default.
- W4366449963 hasConcept C138885662 @default.
- W4366449963 hasConcept C162324750 @default.
- W4366449963 hasConcept C176217482 @default.
- W4366449963 hasConcept C199360897 @default.
- W4366449963 hasConcept C21547014 @default.
- W4366449963 hasConcept C25016198 @default.
- W4366449963 hasConcept C2524010 @default.
- W4366449963 hasConcept C28719098 @default.
- W4366449963 hasConcept C33923547 @default.
- W4366449963 hasConcept C41008148 @default.
- W4366449963 hasConcept C41895202 @default.
- W4366449963 hasConcept C4777664 @default.
- W4366449963 hasConcept C75291252 @default.
- W4366449963 hasConcept C80444323 @default.
- W4366449963 hasConceptScore W4366449963C107457646 @default.
- W4366449963 hasConceptScore W4366449963C110251889 @default.
- W4366449963 hasConceptScore W4366449963C138885662 @default.
- W4366449963 hasConceptScore W4366449963C162324750 @default.
- W4366449963 hasConceptScore W4366449963C176217482 @default.
- W4366449963 hasConceptScore W4366449963C199360897 @default.
- W4366449963 hasConceptScore W4366449963C21547014 @default.
- W4366449963 hasConceptScore W4366449963C25016198 @default.
- W4366449963 hasConceptScore W4366449963C2524010 @default.
- W4366449963 hasConceptScore W4366449963C28719098 @default.
- W4366449963 hasConceptScore W4366449963C33923547 @default.
- W4366449963 hasConceptScore W4366449963C41008148 @default.
- W4366449963 hasConceptScore W4366449963C41895202 @default.
- W4366449963 hasConceptScore W4366449963C4777664 @default.
- W4366449963 hasConceptScore W4366449963C75291252 @default.
- W4366449963 hasConceptScore W4366449963C80444323 @default.
- W4366449963 hasLocation W43664499631 @default.
- W4366449963 hasOpenAccess W4366449963 @default.
- W4366449963 hasPrimaryLocation W43664499631 @default.
- W4366449963 hasRelatedWork W1031601050 @default.
- W4366449963 hasRelatedWork W1527462432 @default.
- W4366449963 hasRelatedWork W1581671536 @default.
- W4366449963 hasRelatedWork W2013878945 @default.
- W4366449963 hasRelatedWork W2081369054 @default.
- W4366449963 hasRelatedWork W2103740034 @default.
- W4366449963 hasRelatedWork W2283260145 @default.
- W4366449963 hasRelatedWork W2774415564 @default.