Noomene Ben Henda

	2009
10		Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine: Monotonic Abstraction: on Efficient Verification of Parameterized Systems. Int. J. Found. Comput. Sci. 20(5): 779-801 (2009)
	2008
9		Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine: Parameterized Tree Systems. FORTE 2008: 69-83
8		Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Alfaro, Richard Mayr, Sven Sandberg: Stochastic Games with Lossy Channels. FoSSaCS 2008: 35-49
7		Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine: Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI 2008: 22-36
	2007
6		Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine: Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). TACAS 2007: 721-736
5		Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr: Decisive Markov Chains CoRR abs/0706.2585: (2007)
4		Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr: Decisive Markov Chains. Logical Methods in Computer Science 3(4): (2007)
	2006
3		Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg: Eager Markov Chains. ATVA 2006: 24-38
2		Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg: Limiting Behavior of Markov Chains with Eager Attractors. QEST 2006: 253-264
	2005
1		Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr: Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. LICS 2005: 127-136

Coauthor Index

1	Parosh Aziz Abdulla	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
2	Luca de Alfaro	[8]
3	Giorgio Delzanno	[6] [7] [9] [10]
4	Frédéric Haziza	[9]
5	Richard Mayr	[1] [2] [3] [4] [5] [8]
6	Ahmed Rezine	[6] [7] [9] [10]
7	Sven Sandberg	[2] [3] [8]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page