Formal Modeling and Analysis of Timed Systems
From MaRDI portal
Publication:5897950
DOI10.1007/11603009zbMath1175.03009OpenAlexW2493457341MaRDI QIDQ5897950
Oded Maler, Dejan Ničković, Amir Pnueli
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11603009
Related Items (15)
On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}$ Using Temporal Projections] ⋮ Bounded variability of metric temporal logic ⋮ Trace Analysis Using an Event-Driven Interval Temporal Logic ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Runtime verification of embedded real-time systems ⋮ Almost Event-Rate Independent Monitoring of Metric Temporal Logic ⋮ Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) ⋮ Almost event-rate independent monitoring ⋮ The compound interest in relaxing punctuality ⋮ Extended Nested Dual System Groups, Revisited ⋮ Checking Temporal Properties of Discrete, Timed and Continuous Behaviors ⋮ Algebraic quantitative semantics for efficient online temporal monitoring ⋮ Unnamed Item ⋮ Realizability of Real-Time Logics ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey
This page was built for publication: Formal Modeling and Analysis of Timed Systems
