| 2008 |
|---|
| 9 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Giorgio Delzanno,
Frédéric Haziza,
Ahmed Rezine:
Parameterized Tree Systems.
FORTE 2008: 69-83 |
| 8 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Luca de Alfaro,
Richard Mayr,
Sven Sandberg:
Stochastic Games with Lossy Channels.
FoSSaCS 2008: 35-49 |
| 7 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Giorgio Delzanno,
Ahmed Rezine:
Handling Parameterized Systems with Non-atomic Global Conditions.
VMCAI 2008: 22-36 |
| 2007 |
|---|
| 6 | EE | 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 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Richard Mayr:
Decisive Markov Chains
CoRR abs/0706.2585: (2007) |
| 4 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Richard Mayr:
Decisive Markov Chains.
Logical Methods in Computer Science 3(4): (2007) |
| 2006 |
|---|
| 3 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Richard Mayr,
Sven Sandberg:
Eager Markov Chains.
ATVA 2006: 24-38 |
| 2 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Richard Mayr,
Sven Sandberg:
Limiting Behavior of Markov Chains with Eager Attractors.
QEST 2006: 253-264 |
| 2005 |
|---|
| 1 | EE | 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 |
