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 -
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 -
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
Free accessSpringer Verlag | 2023|Keywords: Real-time systems, Verification, 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 -
Formal Verification of the TTP Group Membership Algorithm
Free accessSpringer Verlag | 2000|Keywords: Deductive verification, Time-Triggered Architecture, Software Engineering/Programming and Operating Systems -
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 -
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool
Free accessSpringer Verlag | 2024|Keywords: Run-time verification, Software Engineering/Programming and 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 -
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 -
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
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.