Cultural advice

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Aboriginal and Torres Strait Islander peoples are advised that ANU Library collections may include images, names, voices, and other representations of deceased persons.

Material in the collection may contain terms, language or views that reflect the period in which the item was created and may be considered inappropriate today.

Runtime verification using a temporal description logic

Simple item page
dc.contributor.authorBaader, Franz
dc.contributor.authorBauer, Andreas
dc.contributor.authorLippmann, Marcel
dc.date.accessioned2015-12-10T22:39:10Z
dc.date.issued2009
dc.date.updated2016-02-24T11:44:36Z
dc.description.abstractFormulae of linear temporal logic (LTL) can be used to specify (wanted or unwanted) properties of a dynamical system. In model checking, the system's behavior is described by a transition system, and one needs to check whether all possible traces of this
dc.identifier.isbn9783642042218
dc.identifier.urihttp://hdl.handle.net/1885/57053
dc.publisherSpringer
dc.relation.ispartofFrontiers of Combining Systems
dc.subjectKeywords: Actual system; Complete information; Description logic; Finite prefix; Linear temporal logic; Observed systems; Propositional variables; Run-time verification; Single state; Time points; Transition system; Data description; Dynamical systems; Model checki
dc.titleRuntime verification using a temporal description logic
dc.typeBook chapter
local.bibliographicCitation.lastpage164
local.bibliographicCitation.placeofpublicationGermany
local.bibliographicCitation.startpage149
local.contributor.affiliationBaader, Franz, Technical University of Dresden
local.contributor.affiliationBauer, Andreas, College of Engineering and Computer Science, ANU
local.contributor.affiliationLippmann, Marcel, Technical University of Dresden
local.contributor.authoruidBauer, Andreas, u4492070
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor080309 - Software Engineering
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.absfor080303 - Computer System Security
local.identifier.ariespublicationu8803936xPUB385
local.identifier.doi10.1007/978-3-642-04222-5_9
local.identifier.scopusID2-s2.0-76649102072
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 3 of 3
Thumbnail Image
Name:
01_Baader_Runtime_verification_using_a_2009.pdf
Size:
77.3 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
02_Baader_Runtime_verification_using_a_2009.pdf
Size:
78.29 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
03_Baader_Runtime_verification_using_a_2009.pdf
Size:
239.98 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2026 LYRASIS