Yaron Velner

According to our database, Yaron Velner authored at least 26 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

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

2018

Abstract Interpretation of Stateful Networks.

Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner

Proceedings of the Static Analysis - 25th International Symposium, 2018

Quantitative Analysis of Smart Contracts.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner

Proceedings of the Programming Languages and Systems, 2018

Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Hyperplane separation technique for multidimensional mean-payoff games.

Krishnendu Chatterjee, Yaron Velner

J. Comput. Syst. Sci., 2017

The Complexity of Mean-Payoff Pushdown Games.

Krishnendu Chatterjee, Yaron Velner

J. ACM, 2017

Quantitative fair simulation games.

Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Yaron Velner

Inf. Comput., 2017

Smart Contracts Make Bitcoin Mining Pools Vulnerable.

Yaron Velner, Jason Teutsch, Loi Luu

IACR Cryptol. ePrint Arch., 2017

SMART POOL : Practical Decentralized Pooled Mining.

Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena

IACR Cryptol. ePrint Arch., 2017

Modular Safety Verification for Stateful Networks.

Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner

CoRR, 2017

SmartPool: Practical Decentralized Pooled Mining.

Loi Luu, Yaron Velner, Jason Teutsch, Prateek Saxena

Proceedings of the 26th USENIX Security Symposium, 2017

Quantitative Assume Guarantee Synthesis.

Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis.

Shaull Almagor, Orna Kupferman, Yaron Velner

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

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

Yaron Velner

PhD thesis, 2015

The complexity of multi-mean-payoff and multi-energy games.

Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Moshe Rabinovich, Jean-François Raskin

Inf. Comput., 2015

Quantitative Interprocedural Analysis.

Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Robust Multidimensional Mean-Payoff Games are Undecidable.

Yaron Velner

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

Visibly Pushdown Modular Games.

Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives.

Yaron Velner

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

The Complexity of Infinitely Repeated Alternating Move Games.

Yaron Velner

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012

The Complexity of Alternating Move Games

Yaron Velner

CoRR, 2012

Finite-State and Pushdown Games with Multi-dimensional Mean-Payoff Objectives

Krishnendu Chatterjee, Yaron Velner

CoRR, 2012

Strategy Synthesis for Mean-Payoff Expression Objectives

Yaron Velner

CoRR, 2012

Mean-Payoff Pushdown Games.

Krishnendu Chatterjee, Yaron Velner

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

The Complexity of Mean-Payoff Automaton Expression.

Yaron Velner

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011

Church Synthesis Problem for Noisy Input.

Yaron Velner, Alexander Rabinovich

Proceedings of the Foundations of Software Science and Computational Structures, 2011