| 2018 | CONCUR | Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner |
| 2018 | ESOP | Quantitative Analysis of Smart Contracts. | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner |
| 2018 | SAS | Abstract Interpretation of Stateful Networks. | Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner |
| 2017 | CAV | Quantitative Assume Guarantee Synthesis. | Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner |
| 2017 | FC | Smart Contracts Make Bitcoin Mining Pools Vulnerable. | Yaron Velner, Jason Teutsch, Loi Luu |
| 2016 | CONCUR | Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. | Shaull Almagor, Orna Kupferman, Yaron Velner |
| 2016 | TACAS | Some Complexity Results for Stateful Network Verification. | Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham |
| 2015 | FOSSACS | Robust Multidimensional Mean-Payoff Games are Undecidable. | Yaron Velner |
| 2015 | POPL | Quantitative Interprocedural Analysis. | Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner |
| 2014 | CSL | Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives. | Yaron Velner |
| 2013 | CONCUR | Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. | Krishnendu Chatterjee, Yaron Velner |
| 2013 | ICALP | The Complexity of Infinitely Repeated Alternating Move Games. | Yaron Velner |
| 2012 | ICALP | The Complexity of Mean-Payoff Automaton Expression. | Yaron Velner |
| 2012 | LICS | Mean-Payoff Pushdown Games. | Krishnendu Chatterjee, Yaron Velner |
| 2011 | FOSSACS | Church Synthesis Problem for Noisy Input. | Yaron Velner, Alexander Rabinovich |