Year of publication
Type of media
Source
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
-
A survey on formal specification and verification of separation kernels
Springer Verlag | 2017|Keywords: real-time operating systems, formal verification -
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 -
Differential Monitoring
Springer Verlag | 2021|Keywords: Run-time verification, Software Engineering/Programming and Operating Systems -
Verification of Embedded Systems Based on Interval Analysis
Springer Verlag | 2005|Keywords: Embedded system verification, interval analysis, assertion-based verification, design for verification, Software Engineering/Programming and Operating Systems -
Trigger Selection Strategies to Stabilize Program Verifiers
Springer Verlag | 2016|Keywords: Verification Condition, Verification Performance, Verification Time, Software Engineering/Programming and Operating Systems -
An overview of the MOP runtime verification framework
Springer Verlag | 2011|Keywords: Runtime verification, Real time systems, Software Engineering/Programming and Operating Systems -
Quota-constrained Job Submission Behavior at Commercial Supercomputer
Springer Verlag | 2018|Keywords: Interval time, Think 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 -
Monitoring Time Intervals
Springer Verlag | 2017|Keywords: Runtime verification, Time interval monitoring, Real-time properties -
Runtime verification of real-time event streams using the tool HStriver
Springer Verlag | 2022|Keywords: Runtime verification, Stream runtime verification, Real-time streams, 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 -
VerSig: a new approach for online signature verification
Springer Verlag | 2017|Keywords: Online signature verification, Dynamic time warping, Operating Systems -
Formal verification process of the compliance of a multicore AUTOSAR OS
Springer Verlag | 2023|Keywords: High-Level Colored Time Petri Nets, Real-time operating system (RTOS), AUTOSAR OS verification, Software Engineering/Programming and Operating Systems, 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 -
Real-time specifications
Springer Verlag | 2013|Keywords: Real-time systems, Compositional verification, Software Engineering/Programming and Operating Systems -
Time-triggered runtime verification
Springer Verlag | 2013|Keywords: Runtime verification, Time-triggered, Real-time, Software Engineering/Programming and Operating Systems -
Oris: a tool for modeling, verification and evaluation of real-time systems
Springer Verlag | 2010|Keywords: Qualitative verification, Time Petri Nets, Preemptive Time Petri Nets, Stochastic Time Petri Nets, Real-time systems, Software Engineering/Programming and Operating Systems -
Model-checking fair dense-time systems with propositions and events
Springer Verlag | 2014|Keywords: Real-time, Verification, Software Engineering/Programming and Operating Systems -
Outlier Detection under Interval Uncertainty: Algorithmic Solvability and Computational Complexity
Springer Verlag | 2004|Keywords: Interval Data, Interval Uncertainty, Interval Computation, Quadratic Time, Operating Systems -
Diagnostics of Shaft Trains of Large Turbine Sets for Integrity Using Torsional Vibration Measurements
Springer Verlag | 2020|Keywords: time interval method, operating conditions
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.