Year of publication
Type of media
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 -
On the Analysis of Real-time Operating System Reliability in Embedded Systems
Free accessBASE | 2020|Keywords: DIGITAL SYSTEM DESIGN TEST AND VERIFICATION, Real-Time Operating System -
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
Free accessBASE | 2016|Keywords: Formal verification, Length of interval, Sub-interval, Time interval -
Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
Free accessBASE | 2013|Keywords: Verification, real-time 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 -
A Quantitative Extension of Interval Temporal Logic over Infinite Words
Free accessDataCite | 2022|Keywords: Interval temporal logic, Linear-time Hybrid Logics, Theory of computation → Logic and verification -
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 -
Interaction-aware analysis and optimization of real-time application and operating system
Free accessDataCite | 2019|Keywords: automatic verification, worst-case response time, real-time operating system -
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 -
Interaction-aware analysis and optimization of real-time application and operating system
Free accessBASE | 2019|Keywords: real-time operating system, worst-case response time, automatic verification -
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 -
Comparative performance assessment of a novel quasi‐oppositional harmony search algorithm and internal model control method for automatic generation control of power systems
Free accessWiley | 2015|Keywords: time‐domain simulation, off‐nominal operating conditions, on‐line operating conditions, time constants, distinct time‐interval -
Redundancy in distributed proofs
Free accessSpringer Verlag | 2021|Keywords: Distributed verification, Space-time tradeoffs, Software Engineering/Programming and Operating Systems -
Comparative performance assessment of a novel quasi-oppositional harmony search algorithm and internal model control method for automatic generation control of power systems
Free accessIET | 2015|Keywords: distinct time-interval, off-nominal operating conditions, time constants, time-domain simulation, on-line operating conditions -
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
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.