The ins and outs of first-order runtime verification
-
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.author | Bauer, Andreas | |
---|---|---|
dc.contributor.author | Kuester, Jan-Christoph | |
dc.contributor.author | Vegliach, Gil | |
dc.date.accessioned | 2015-12-10T23:30:39Z | |
dc.identifier.issn | 0925-9856 | |
dc.identifier.uri | http://hdl.handle.net/1885/68281 | |
dc.description.abstract | 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.publisher | Kluwer Academic Publishers | |
dc.source | Formal Methods in System Design | |
dc.title | The ins and outs of first-order runtime verification | |
dc.type | Journal article | |
local.description.notes | Imported from ARIES | |
dc.date.issued | 2015 | |
local.identifier.absfor | 080307 - Operating Systems | |
local.identifier.ariespublication | a383154xPUB1668 | |
local.type.status | Published Version | |
local.contributor.affiliation | Bauer, Andreas, NICTA | |
local.contributor.affiliation | Kuester, Jan-Christoph, College of Engineering and Computer Science, ANU | |
local.contributor.affiliation | Vegliach, Gil, NICTA | |
local.description.embargo | 2037-12-31 | |
local.bibliographicCitation.startpage | 1 | |
local.bibliographicCitation.lastpage | 31 | |
local.identifier.doi | 10.1007/s10703-015-0227-2 | |
local.identifier.absseo | 970108 - Expanding Knowledge in the Information and Computing Sciences | |
dc.date.updated | 2015-12-10T11:08:43Z | |
local.identifier.scopusID | 2-s2.0-84925262794 | |
Collections | ANU Research Publications |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Bauer_The_ins_and_outs_of_2015.pdf | 879.92 kB | Adobe PDF | Request a copy |
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