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 International Journal of Foundations of Computer Science | 2009-11-19 | Paper |
| Eager Markov Chains Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
| Stochastic Games with Lossy Channels Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
| Handling Parameterized Systems with Non-atomic Global Conditions Lecture Notes in Computer Science | 2008-04-04 | Paper |
| Decisive Markov Chains Logical Methods in Computer Science | 2008-04-01 | Paper |
| Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Research outcomes over time
This page was built for person: Noomene Ben Henda
