Modeling and efficient verification of wireless ad hoc networks (Q1688557): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-017-0429-z
@@ Property / DOI: 10.1007/s00165-017-0429-z / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Timed Rebeca
@@ Property / describes a project that uses: Timed Rebeca / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL/SPIN
@@ Property / describes a project that uses: HOL/SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Rebeca
@@ Property / describes a project that uses: Rebeca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2964176225
@@ Property / OpenAlex ID: W2964176225 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07179
@@ Property / arXiv ID: 1604.07179 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Verification of Timed Ad Hoc Networks
@@ Property / cites work: On the Verification of Timed Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling and verifying the AODV routing protocol
@@ Property / cites work: Modelling and verifying the AODV routing protocol / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry and partial order reduction techniques in model checking Rebeca
+Normal rank
@@ Property / cites work @@
+Broadcast Psi-calculi with an Application to Wireless Protocols
+Normal rank
@@ Property / cites work @@
+Symbolic Counter Abstraction for Concurrent Software
+Normal rank
@@ Property / cites work @@
+Formal verification of standards for distance vector routing protocols
+Normal rank
@@ Property / cites work @@
+Q2957507
@@ Property / cites work: Q2957507 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks
+Normal rank
@@ Property / cites work @@
+Q4934334
@@ Property / cites work: Q4934334 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494389
@@ Property / cites work: Q4494389 / rank @@
+Normal rank
@@ Property / cites work @@
+A Process Algebra for Wireless Mesh Networks
@@ Property / cites work: A Process Algebra for Wireless Mesh Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking MANETs with Arbitrary Mobility
@@ Property / cites work: Model Checking MANETs with Arbitrary Mobility / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of mobile ad hoc networks: an algebraic approach
+Normal rank
@@ Property / cites work @@
+A Calculus for Mobile Ad Hoc Networks
@@ Property / cites work: A Calculus for Mobile Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Mobile Ad-hoc Networks with Static Location Binding
+Normal rank
@@ Property / cites work @@
+Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+The abstract MAC layer
@@ Property / cites work: The abstract MAC layer / rank @@
+Normal rank
@@ Property / cites work @@
+An observational theory for mobile ad hoc networks (full version)
+Normal rank
@@ Property / cites work @@
+Q2851331
@@ Property / cites work: Q2851331 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings
+Normal rank
@@ Property / cites work @@
+Higher-order psi-calculi
@@ Property / cites work: Higher-order psi-calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804890
@@ Property / cites work: Q4804890 / rank @@
+Normal rank
@@ Property / cites work @@
+Delta Modeling and Model Checking of Product Families
+Normal rank
@@ Property / cites work @@
+Q4681459
@@ Property / cites work: Q4681459 / rank @@
+Normal rank
@@ Property / cites work @@
+A process calculus for mobile ad hoc networks
@@ Property / cites work: A process calculus for mobile ad hoc networks / rank @@
+Normal rank
@@ Property / cites work @@
+Actor-based slicing techniques for efficient reduction of Rebeca models
+Normal rank
@@ Property / cites work @@
+Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems – FORTE 2004
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2005
+Normal rank
@@ Property / DOI @@
+.1007/S00165-017-0429-Z
@@ Property / DOI: 10.1007/S00165-017-0429-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1688557