Analysis of Executable Software Models (Q5175771): Difference between revisions

@@ Property / describes a project that uses @@
+ABS
@@ Property / describes a project that uses: ABS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JCobox
@@ Property / describes a project that uses: JCobox / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPEED
@@ Property / describes a project that uses: SPEED / 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/978-3-319-07317-0_1
+Normal rank
@@ Property / OpenAlex ID @@
+W157225795
@@ Property / OpenAlex ID: W157225795 / rank @@
+Normal rank
@@ Property / cites work @@
+Closed-form upper bounds in static cost analysis
@@ Property / cites work: Closed-form upper bounds in static cost analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Termination and Cost Analysis of Loops with Concurrent Interleavings
+Normal rank
@@ Property / cites work @@
+More Precise Yet Widely Applicable Cost Analysis
@@ Property / cites work: More Precise Yet Widely Applicable Cost Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
+Normal rank
@@ Property / cites work @@
+Precise Cost Analysis via Local Reasoning
@@ Property / cites work: Precise Cost Analysis via Local Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Observable behavior of distributed systems: component reasoning for concurrent objects
+Normal rank
@@ Property / cites work @@
+A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
+Normal rank
@@ Property / cites work @@
+SPEED
@@ Property / cites work: SPEED / rank @@
+Normal rank
@@ Property / cites work @@
+Multivariate amortized resource analysis
@@ Property / cites work: Multivariate amortized resource analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank