On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels (1998)


Download Links

by Parosh Aziz Abdulla , Ahmed Bouajjani , Bengt Jonsson
Venue:In CAV'98. LNCS 1427
Citations:71 - 17 self

Active Bibliography

30 Using Forward Reachability Analysis for Verification of Lossy Channel Systems – Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani, Bengt Jonsson - 2004
83 Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs (Extended Abstract) – Bernard Boigelot, Patrice Godefroid
176 Verifying Programs with Unreliable Channels (Extended Abstract) – Parosh Abdulla, Bengt Jonsson - 1992
58 Undecidable Verification Problems for Programs with Unreliable Channels – Parosh Aziz Abdulla, Bengt Jonsson - 1994
Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract) – Parosh Aziz Abdullah, Abdulla Mats Kindahl
36 Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol – Parosh Abdulla, Aurore Annichini, Ahmed Bouajjani - 1999
11 Verification of Communication Protocols Using Abstract Interpretation of FIFO queues РTristan Le Gall, Thierry Jéron - 2006
25 Probabilistic Lossy Channel Systems – Purush Iyer, Murali Narasimha - 1996
6 Effective Lossy Queue Languages – Parosh Aziz Abdulla, Luc Boasson, Ahmed Bouajjani - 2001
16 Well-Abstracted Transition Systems: Application to FIFO Automata – Alain Finkel, S. Purushothaman Iyer - 2000
57 The Power of QDDs – Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper - 1997
23 Verification of probabilistic systems with faulty communication – Parosh Aziz Abdulla, Alexander Rabinovich - 2003
1 Piecewise FIFO Channels Are Analyzable – Naghmeh Ghafari, Richard Trefler
11 Programs with quasi-stable channels are effectively recognizable – G. Cece, A. Finkel - 1997
1 Model Checking Probabilistic Lossy Channel Systems – Purush Iyer, Murali Narasimha - 1998
3 Languages, Rewriting systems, and Verification of Infinite-State Systems – Ahmed Bouajjani - 2001
2 Effective Recognizability and Model Checking of Reactive Fiffo Automata – G. Sutre, G. Sutre, A. Finkel, A. Finkel, O. Roux, O. Roux, F. Cassez, F. Cassez - 1998
Information Societies Technology – Ist Programme Future
48 Transitive Closures of Regular Relations for Verifying Infinite-State Systems – Bengt Jonsson, Marcus Nilsson