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
-
STAn: analysis of data traces using an event-driven interval temporal logic
Free accessSpringer Verlag | 2023|Keywords: Interval temporal logic, Runtime verification, 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 -
Reusable formal models for concurrency and communication in custom real-time operating systems
Free accessSpringer Verlag | 2024|Keywords: Real-time systems, Formal verification, 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 -
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 -
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
Free accessSpringer Verlag | 2003|Keywords: verification, real-time, Operating Systems -
Formal Methods for Industrial Critical Systems
Free accessSpringer Verlag | 2024|Keywords: Deductive verification, Real-time operating systems, Software Engineering/Programming and 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 -
On the validity of retrospective predictive performance evaluation procedures in just-in-time software defect prediction
Free accessSpringer Verlag | 2023|Keywords: Just-in-time software defect prediction, Verification latency, 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
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.