| 2017 | CONCUR | The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. | Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani |
| 2016 | SMC | Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems. | Vahab Rostampour, Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Bart De Schutter, Tams Keviczky |
| 2016 | TACAS | Safety Verification of Continuous-Space Pure Jump Markov Processes. | Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Alessandro Abate |
| 2015 | CONCUR | Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar |
| 2015 | TACAS | FAUST | Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate |
| 2014 | TACAS | Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance. | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
| 2012 | ATVA | Higher-Order Approximations for Verification of Stochastic Hybrid Systems. | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |