Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
Synonyms were used for: interval • time • time interval
Search without synonyms: keywords:(operating time interval verification)
Used synonyms:
- intervall
- tonhohenabstand
Used synonyms:
- tageszeit
- zeit
- zeitstruktur
Used synonyms:
- zeitintervall
- zeitliches intervall
-
Verifying Duration Properties of Timed Transition Systems
Free accessSpringer Verlag | 1998|Keywords: Real-time systems; Duration Calculus; Timed Transition Systems, Verification., Software Engineering/Programming and Operating Systems -
A Combination of Interval Logic and Linear Temporal Logic
Free accessSpringer Verlag | 1998|Keywords: Interval Logic, Real-time semantics and specifications, Software Engineering/Programming and Operating Systems -
Formal Verification of the TTP Group Membership Algorithm
Free accessSpringer Verlag | 2000|Keywords: Deductive verification, Time-Triggered Architecture, Software Engineering/Programming and Operating Systems -
Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram
Free accessSpringer Verlag | 2001|Keywords: Real-time systems, verification, Software Engineering/Programming and Operating Systems -
Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs
Free accessSpringer Verlag | 2001|Keywords: Formal verification, Real-time systems, Software Engineering/Programming and Operating Systems -
Eliminating Queues from RT UML Model Representations
Free accessSpringer Verlag | 2002|Keywords: Real-time distributed systems, protocol verification, verification of infinite state systems, Software Engineering/Programming and Operating Systems -
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
Free accessSpringer Verlag | 2003|Keywords: verification, real-time, Operating Systems -
A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings
Free accessSpringer Verlag | 2004|Keywords: Polynomial Time Algorithm, Interval Analysis, Interval Arithmetic, Software Engineering/Programming and Operating Systems -
Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic
Free accessSpringer Verlag | 2004|Keywords: Parametric verification, real-time distributed systems, Software Engineering/Programming and Operating Systems -
Time-Scale Transformations: Effects on VaR Models
Free accessSpringer Verlag | 2004|Keywords: Interval Forecast, Time Rule, Software Engineering/Programming and Operating Systems -
Efficient Indexing of Moving Objects Using Time-Based Partitioning with R-Tree
Free accessSpringer Verlag | 2005|Keywords: time stamp and interval query, Software Engineering/Programming and Operating Systems -
Combining Human Error Verification and Timing Analysis
Free accessSpringer Verlag | 2008|Keywords: formal verification, execution time, Software Engineering/Programming and Operating Systems -
On-Line Model Checking as Operating System Service
Free accessSpringer Verlag | 2009|Keywords: Verification service, Real-time operating system -
Ubiquitous Verification of Ubiquitous Systems
Free accessSpringer Verlag | 2010|Keywords: verification, hard real-time, Software Engineering/Programming and Operating Systems -
Runtime verification of embedded real-time systems
Free accessSpringer Verlag | 2013|Keywords: Runtime verification, Embedded real-time systems, Past-time logics, Software Engineering/Programming and Operating Systems -
Semantics-driven extraction of timed automata from Java programs
Free accessSpringer Verlag | 2019|Keywords: Program verification, Time semantics, Software Engineering/Programming and Operating Systems -
Runtime verification of real-time event streams under non-synchronized arrival
Free accessSpringer Verlag | 2020|Keywords: Stream runtime verification, Real-time event streams, Software Engineering/Programming and Operating Systems, Operating Systems -
A Small Remark on Hilbert’s Finitist View of Divisibility and Kanovich-Okada-Scedrov’s Logical Analysis of Real-Time Systems
Free accessSpringer Verlag | 2020|Keywords: Real-time system, Formal verification, Software Engineering/Programming and Operating Systems -
Redundancy in distributed proofs
Free accessSpringer Verlag | 2021|Keywords: Distributed verification, Space-time tradeoffs, Software Engineering/Programming and Operating Systems -
Deep Quantile Regression for Unsupervised Anomaly Detection in Time-Series
Free accessSpringer Verlag | 2021|Keywords: Time-series, Prediction interval, Software Engineering/Programming and Operating Systems
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.