Algorithms for monitoring real-time properties
type: Item
instance of: scholarly article
title: Algorithms for monitoring real-time properties
zbMATH Open document ID: 1395.68185
author: Felix Klaedtke
author: Eugen Zălinescu
author: David Basin
published in: Acta Informatica
publication date: 2018-06-26T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6894820
describes a project that uses: AMT
describes a project that uses: Copilot
MaRDI profile type: Publication
full work available at URL: s00236-017-0295-4
OpenAlex ID: W2593263671
cites work: The benefits of relaxing punctuality
cites work: Q3165946
cites work: Monitoring metric first-order temporal properties
cites work: Fast multiplication of large numbers
cites work: Model-checking Timed Temporal Logics
cites work: The complexity of propositional linear temporal logics in simple cases
cites work: Q3549597
cites work: A theory of sampling for continuous-time metric temporal logic
cites work: What good are digital clocks?
cites work: Time, clocks, and the ordering of events in a distributed system
cites work: Q3711745
cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
cites work: Formal modeling and analysis of timed systems. 5th international conference, FORMATS 2007, Salzburg, Austria, October 3--5, 2007. Proceedings
cites work: Some Recent Results in Metric Temporal Logic
cites work: Runtime verification of embedded real-time systems
DOI: 10.1007/S00236-017-0295-4
description: scientific article; zbMATH DE number 6894820