Runtime verification of embedded real-time systems (Q479806): Difference between revisions

@@ Property / describes a project that uses @@
+Copilot
@@ Property / describes a project that uses: Copilot / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ANTLR
@@ Property / describes a project that uses: ANTLR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JPAX
@@ Property / describes a project that uses: JPAX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-013-0199-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2003519602
@@ Property / OpenAlex ID: W2003519602 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q40122239
@@ Property / Wikidata QID: Q40122239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754115
@@ Property / cites work: Q2754115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472249
@@ Property / cites work: Q4472249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement-Based CFG Reconstruction from Unstructured Programs
+Normal rank
@@ Property / cites work @@
+Use of Modern Processors in Safety-Critical Applications
+Normal rank
@@ Property / cites work @@
+Comparing LTL Semantics for Runtime Verification
@@ Property / cites work: Comparing LTL Semantics for Runtime Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Safe Runtime Verification of Real-Time Properties
@@ Property / cites work: Safe Runtime Verification of Real-Time Properties / rank @@
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of the runtime verification tool Java PathExplorer
+Normal rank
@@ Property / cites work @@
+Q4472252
@@ Property / cites work: Q4472252 / rank @@
+Normal rank
@@ Property / cites work @@
+Logahedra: A New Weakly Relational Domain
@@ Property / cites work: Logahedra: A New Weakly Relational Domain / rank @@
+Normal rank
@@ Property / cites work @@
+An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
+Normal rank
@@ Property / cites work @@
+A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations
+Normal rank
@@ Property / cites work @@
+Q3060395
@@ Property / cites work: Q3060395 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+A formally verified compiler back-end
@@ Property / cites work: A formally verified compiler back-end / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedded System Design
@@ Property / cites work: Embedded System Design / rank @@
+Normal rank
@@ Property / cites work @@
+Optimized temporal monitors for SystemcC
@@ Property / cites work: Optimized temporal monitors for SystemcC / rank @@
+Normal rank