logo
Stochastic Infinite State Systems

[Abdulla et al., 2004]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Juilen d'Orso and Ahmed Rezine (2004).
Quantitative Analysis of Infinite Markov Chains.
In: QAPL'04-2nd Workshop on Quantitative Aspects of Programming Languages.
[Abdulla et al., 2005]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Noomene Ben Henda and Richard Mayr (2005).
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property.
In: Proc. LICS '05-21th IEEE Int. Symp. on Logic in Computer Science. pp. 127--136.
[Abdulla et al., 2006]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Noomene Ben Henda and Richard Mayr and Sven Sandberg (2006).
Eager Markov Chains.
In: Proc. ATVA '06-4th Int. Symp. on Automated Technology for Verification and Analysis. Volume 4218 of Lecture Notes in Computer Science. pp. 24--38. Published by Springer Verlag.
[Abdulla et al., 2006]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Noomene Ben Henda and Richard Mayr and Sven Sandberg (2006).
Eager Markov Chains.
Technical Report Nr. 2006-009. Dept. of Information Technology, Uppsala University, Sweden.
[Abdulla et al., 2006]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Noomene Ben Henda and Richard Mayr and Sven Sandberg (2006).
Limiting Behavior of Markov Chains with Eager Attractors.
In: Pedro R. D'Argentio and Andrew Milner and Gerardo Rubino (eds.), Proc. QEST '06-3rd International Conference on the Quantitative Evaluation of SysTems. pp. 253--262.
[Abdulla et al., 2006]
 
Show BibTeX entryDownload Article
Parosh Aziz Abdulla and Noomene Ben Henda and Richard Mayr and Sven Sandberg (2006).
Limiting Behavior of Markov Chains with Eager Attractors.
Technical Report Nr. 2006-033. Dep. of Information Technology, Uppsala University, Sweden.
[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.