Noomene Ben Henda
From MaRDI portal
Person:3522890
Available identifiers
zbMath Open henda.noomene-benMaRDI QIDQ3522890
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS | 2009-11-19 | Paper |
| Eager Markov Chains | 2008-09-04 | Paper |
| Stochastic Games with Lossy Channels | 2008-04-11 | Paper |
| Handling Parameterized Systems with Non-atomic Global Conditions | 2008-04-04 | Paper |
| Decisive Markov Chains | 2008-04-01 | Paper |
| Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) | 2007-09-03 | Paper |
Research outcomes over time
This page was built for person: Noomene Ben Henda