logo
Lossy Channel Systems

[Abdulla and Jonsson, 1993]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson (1993).
Verifying Programs with Unreliable Channels.
In: Proc. LICS '93-8th IEEE Int. Symp. on Logic in Computer Science. pp. 160--170.
[Abdulla and Jonsson, 1996]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson (1996).
Verifying Programs with Unreliable Channels.
In: Information and Computation, 127(2):91--101.
[Abdulla and Jonsson, 1994]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson (1994).
Undecidable Verification Problems for Programs with Unreliable Channels.
In: Abiteboul and Shamir (eds.), Proc. ICALP '94-21st International Colloquium on Automata, Languages, and Programming. Volume 820 of Lecture Notes in Computer Science. pp. 316--327. Published by Springer Verlag.
[Abdulla and Jonsson, 1996]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson (1996).
Undecidable Verification Problems for Programs with Unreliable Channels.
In: Information and Computation, 130(1):71--90.
[Abdulla and Kindahl, 1994]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Mats Kindahl (1994).
On decidability of simulation and bisimulation for Lossy Channel Systems.
In: 6th Nordic Workshop on Programming Theory, Aarhus, Denmark. pp. 67--77.
[Abdulla and Kindahl, 1995]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Mats Kindahl (1995).
Decidability of simulation and bisimulation between Lossy Channel Systems and Finite State Systems.
In: Lee and Smolka (eds.), Proc. CONCUR '95-6th Int. Conf. on Concurrency Theory. Volume 962 of Lecture Notes in Computer Science. pp. 333--347. Published by Springer Verlag.
[Abdulla et al., 1998]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Ahmed Bouajjani and Bengt Jonsson (1998).
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels.
In: Proc. 10th Int. Conf. on Computer Aided Verification. Volume 1427 of Lecture Notes in Computer Science. pp. 305--318.
[Abdulla et al., 2004]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Aurore Annichini and Ahmed Bouajjani (2004).
Using Forward Reachability Analysis for Verification of Lossy Channel Systems.
In: Formal Methods in System Design, 25(1):39--65.
[Abdulla and Jonsson, 1999]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson (1999).
On the Existence of Network Invariants for Verifying Parameterized Systems.
In: Olderog and Steffen (eds.), Correct System Design -- Recent Insights and Advances. Volume 1710 of Lecture Notes in Computer Science. pp. 180--197. Springer Verlag.
[Abdulla et al., 1999]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Aurore Annichini and Ahmed Bouajjani (1999).
Symbolic Verification of Lossy Channel Systems: An Application to the Bounded Retransmission Protocol.
In: Proc. TACAS '99-5th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems. Volume 1579 of Lecture Notes in Computer Science.
[Abdulla et al., 2000]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Christel Baier and Purushothaman Iyer and Bengt Jonsson (2000).
Reasoning about Probabilistic Lossy Channel Systems.
In: Proc. CONCUR 2000-11th Int. Conf. on Concurrency Theory. Volume 1877 of Lecture Notes in Computer Science. pp. 320--333.
[Abdulla et al., 2005]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Christel Baier and Purushothaman Iyer and Bengt Jonsson (2005).
Simulating Perfect Channels with Probabilistic Lossy Channels.
In: Information and Computation, 197(1-2):22--40.
[Abdulla and Jonsson, 2001]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Bengt Jonsson (2001).
Channel Representations in Protocol Verification.
In: Proc. CONCUR 2001-12th Int. Conf. on Concurrency Theory. Volume 2154 of Lecture Notes in Computer Science. pp. 1--15.
[Abdulla and Rabinovich, 2003]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Alexander Rabinovich (2003).
Verification of Probabilistic Systems with Faulty Communication.
In: Proc. FOSSACS '03, Conf. on Foundations of Software Science and Computation Structures. Volume 2620 of Lecture Notes in Computer Science. pp. 39--53.
[Abdulla et al., 2004]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Aurore Collomb-Annichini and Ahmed Bouajjani and Bengt Jonsson (2004).
Using Forward Reachability Analysis for Verification of Lossy Channel Systems.
In: Formal Methods in System Design, 25(1):39--65.
[Abdulla et al., 2005]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Nathalie Bertrand and Alexander Rabinovich and Ph (2005).
Verification of Probabilistic Systems with Faulty Communication.
In: Information and Computation, 202(2):105--228.