Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads (Q3617755): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2148778089
@@ Property / OpenAlex ID: W2148778089 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1011
@@ Property / arXiv ID: 1111.1011 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q4713368
@@ Property / cites work: Q4713368 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Expand, enlarge and check: new algorithms for the coverability problem of WSTS
+Normal rank
@@ Property / cites work @@
+Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
+Normal rank
@@ Property / cites work @@
+Interprocedural Analysis of Concurrent Programs Under a Context Bound
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835904
@@ Property / cites work: Q4835904 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank