Parameterized Verification of Coverability in Well-Structured Broadcast Networks

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.277.10 ◽

2018 ◽

Vol 277 ◽

pp. 133-146

Author(s):

A.R. Balasubramanian

Keyword(s):

Broadcast Networks ◽

Parameterized Verification

Download Full-text

Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-89963-3_3 ◽

2018 ◽

pp. 38-54 ◽

Author(s):

A. R. Balasubramanian ◽

Nathalie Bertrand ◽

Nicolas Markey

Keyword(s):

Broadcast Networks ◽

Parameterized Verification

Download Full-text

Parameterized Verification of Broadcast Networks of Register Automata

Lecture Notes in Computer Science - Reachability Problems ◽

10.1007/978-3-642-41036-9_11 ◽

2013 ◽

pp. 109-121 ◽

Author(s):

Giorgio Delzanno ◽

Arnaud Sangnier ◽

Riccardo Traverso

Keyword(s):

Broadcast Networks ◽

Parameterized Verification

Download Full-text

Parameterized verification of coverability in infinite state broadcast networks

Information and Computation ◽

10.1016/j.ic.2020.104592 ◽

2020 ◽

pp. 104592

Author(s):

A.R. Balasubramanian

Keyword(s):

Broadcast Networks ◽

Parameterized Verification ◽

Download Full-text

Parameterized verification of open procedural programs

Proceedings of the Fifth Balkan Conference in Informatics on - BCI '12 ◽

10.1145/2371316.2371352 ◽

2012 ◽

Author(s):

Aleksandar S. Dimovski

Keyword(s):

Parameterized Verification

Download Full-text

An Automatic Proving Approach to Parameterized Verification

ACM Transactions on Computational Logic ◽

10.1145/3232164 ◽

2018 ◽

Vol 19 (4) ◽

pp. 1-25 ◽

Author(s):

Yongjian Li ◽

Kaiqiang Duan ◽

David N. Jansen ◽

Jun Pang ◽

Lijun Zhang ◽

...

Keyword(s):

Parameterized Verification

Download Full-text

Distributed sorting algorithms for multi-channel broadcast networks

Theoretical Computer Science ◽

10.1016/0304-3975(87)90108-3 ◽

1987 ◽

Vol 52 (3) ◽

pp. 193-203 ◽

Author(s):

John M. Marberg ◽

Eli Gafni

Keyword(s):

Broadcast Networks ◽

Sorting Algorithms

Download Full-text

Saturation Performance of IEEE 802.11 Broadcast Networks

IEEE Communications Letters ◽

10.1109/lcomm.2007.070040 ◽

2007 ◽

Vol 11 (8) ◽

pp. 686-688 ◽

Author(s):

Xiaomin Ma ◽

Xianbo Chen

Keyword(s):

Ieee 802.11 ◽

Broadcast Networks

Download Full-text

IP based enhanced data casting services over radio broadcast networks

1st European Conference on Universal Multiservice Networks. ECUMN'2000 (Cat. No.00EX423) ◽

10.1109/ecumn.2000.880742 ◽

2002 ◽

Author(s):

W. Kellerer ◽

P. Sties ◽

J. Eberspacher

Keyword(s):

Broadcast Networks ◽

Radio Broadcast

Download Full-text

Soft handover in terrestrial broadcast networks

IEEE International Conference on Mobile Data Management, 2004. Proceedings. 2004 ◽

10.1109/mdm.2004.1263069 ◽

2004 ◽

Author(s):

J. Vare ◽

M. Puputti

Keyword(s):

Broadcast Networks ◽

Download Full-text

A doubling procedure for constructing minimal broadcast networks

Telecommunication Systems ◽

10.1007/bf02110308 ◽

1994 ◽

Vol 3 (3) ◽

pp. 259-293 ◽

Author(s):

Michael X. Weng ◽

Jose A. Ventura

Keyword(s):

Broadcast Networks

Download Full-text