Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

The ins and outs of first-order runtime verification

Request a Copy

link to publisher version

  • Altmetric Citations

Bauer, Andreas; Kuester, Jan-Christoph; Vegliach, Gil

Description

The main purpose of this paper is to introduce a first-order temporal logic, (Formula presented.), and a corresponding monitor construction based on a new type of automaton, called spawning automaton. Specifically, we show that monitoring a specification

dc.contributor.authorBauer, Andreas
dc.contributor.authorKuester, Jan-Christoph
dc.contributor.authorVegliach, Gil
dc.date.accessioned2015-12-10T23:30:39Z
dc.identifier.issn0925-9856
dc.identifier.urihttp://hdl.handle.net/1885/68281
dc.description.abstractThe main purpose of this paper is to introduce a first-order temporal logic, (Formula presented.), and a corresponding monitor construction based on a new type of automaton, called spawning automaton. Specifically, we show that monitoring a specification
dc.publisherKluwer Academic Publishers
dc.sourceFormal Methods in System Design
dc.titleThe ins and outs of first-order runtime verification
dc.typeJournal article
local.description.notesImported from ARIES
dc.date.issued2015
local.identifier.absfor080307 - Operating Systems
local.identifier.ariespublicationa383154xPUB1668
local.type.statusPublished Version
local.contributor.affiliationBauer, Andreas, NICTA
local.contributor.affiliationKuester, Jan-Christoph, College of Engineering and Computer Science, ANU
local.contributor.affiliationVegliach, Gil, NICTA
local.description.embargo2037-12-31
local.bibliographicCitation.startpage1
local.bibliographicCitation.lastpage31
local.identifier.doi10.1007/s10703-015-0227-2
local.identifier.absseo970108 - Expanding Knowledge in the Information and Computing Sciences
dc.date.updated2015-12-10T11:08:43Z
local.identifier.scopusID2-s2.0-84925262794
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Bauer_The_ins_and_outs_of_2015.pdf879.92 kBAdobe PDF    Request a copy
Show simple item record


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator