Church Synthesis Problem for Noisy Input. - Yaron Velner; Alexander Rabinovich (FoSSaCS, 2011)

The Complexity of Mean-Payoff Automaton Expression. - Yaron Velner (ICALP (2), 2012)

Mean-Payoff Pushdown Games. - Krishnendu Chatterjee; Yaron Velner (LICS, 2012)

Strategy Synthesis for Mean-Payoff Expression Objectives - Yaron Velner (CoRR, 2012)

Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives - Krishnendu Chatterjee; Yaron Velner (CoRR, 2012)

The Complexity of Alternating Move Games - Yaron Velner (CoRR, 2012)

The Complexity of Infinitely Repeated Alternating Move Games. - Yaron Velner (ICALP (1), 2013)

Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives. - Yaron Velner (CSL-LICS, 2014)

Visibly Pushdown Modular Games. - Ilaria De Crescenzo; Salvatore La Torre; Yaron Velner (GandALF, 2014)

Robust Multidimensional Mean-Payoff Games are Undecidable. - Yaron Velner (FoSSaCS, 2015)

Quantitative Interprocedural Analysis. - Krishnendu Chatterjee; Andreas Pavlogiannis; Yaron Velner (POPL, 2015)

The complexity of multi-mean-payoff and multi-energy games. - Yaron Velner; Krishnendu Chatterjee; Laurent Doyen 001; Thomas A. Henzinger; Alexander Moshe Rabinovich; Jean-François Raskin (Inf. Comput., 2015)

Multidimensional and Pushdown Mean-Payoff Games with Applications to Quantitative Verification and Synthesis of Programs: Complexity, Decidability and Algorithms - Yaron Velner (2015)

Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis. - Shaull Almagor; Orna Kupferman; Yaron Velner (CONCUR, 2016)

Quantitative Assume Guarantee Synthesis. - Shaull Almagor; Orna Kupferman; Jan Oliver Ringert; Yaron Velner (CAV (2), 2017)

SmartPool: Practical Decentralized Pooled Mining. - Loi Luu; Yaron Velner; Jason Teutsch; Prateek Saxena (USENIX Security Symposium, 2017)

Modular Safety Verification for Stateful Networks. - Kalev Alpernas; Roman Manevich; Aurojit Panda; Mooly Sagiv; Scott Shenker; Sharon Shoham; Yaron Velner (CoRR, 2017)

SMART POOL : Practical Decentralized Pooled Mining. - Loi Luu; Yaron Velner; Jason Teutsch; Prateek Saxena (IACR Cryptol. ePrint Arch., 2017)

Smart Contracts Make Bitcoin Mining Pools Vulnerable. - Yaron Velner; Jason Teutsch; Loi Luu (IACR Cryptol. ePrint Arch., 2017)

Quantitative fair simulation games. - Krishnendu Chatterjee; Thomas A. Henzinger; Jan Otop; Yaron Velner (Inf. Comput., 2017)

The Complexity of Mean-Payoff Pushdown Games. - Krishnendu Chatterjee; Yaron Velner (J. ACM, 2017)

Hyperplane separation technique for multidimensional mean-payoff games. - Krishnendu Chatterjee; Yaron Velner (J. Comput. Syst. Sci., 2017)

Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. - Krishnendu Chatterjee; Amir Kafshdar Goharshady; Rasmus Ibsen-Jensen; Yaron Velner (CONCUR, 2018)

Quantitative Analysis of Smart Contracts. - Krishnendu Chatterjee; Amir Kafshdar Goharshady; Yaron Velner (ESOP, 2018)

Abstract Interpretation of Stateful Networks. - Kalev Alpernas; Roman Manevich; Aurojit Panda; Mooly Sagiv; Scott Shenker; Sharon Shoham; Yaron Velner (SAS, 2018)

Some complexity results for stateful network verification. - Kalev Alpernas; Aurojit Panda; Alexander Rabinovich; Mooly Sagiv; Scott Shenker; Sharon Shoham; Yaron Velner (Formal Methods Syst. Des., 2019)

SoK: Liquid Staking Tokens (LSTs). - Krzysztof Gogol; Yaron Velner; Benjamin Kraner; Claudio J. Tessone (CoRR, 2024)