Yaron Velner

According to our database1, Yaron Velner authored at least 35 papers between 2011 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Quantitative Analysis of Smart Contracts.
CoRR, 2018

Abstract Interpretation of Stateful Networks.
Proceedings of the Static Analysis - 25th International Symposium, 2018

Quantitative Analysis of Smart Contracts.
Proceedings of the Programming Languages and Systems, 2018

Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017
Hyperplane separation technique for multidimensional mean-payoff games.
J. Comput. Syst. Sci., 2017

The Complexity of Mean-Payoff Pushdown Games.
J. ACM, 2017

Visibly pushdown modular games, .
Inf. Comput., 2017

Quantitative fair simulation games.
Inf. Comput., 2017

Smart Contracts Make Bitcoin Mining Pools Vulnerable.
IACR Cryptology ePrint Archive, 2017

SMART POOL : Practical Decentralized Pooled Mining.
IACR Cryptology ePrint Archive, 2017

Modular Safety Verification for Stateful Networks.
CoRR, 2017

SmartPool: Practical Decentralized Pooled Mining.
Proceedings of the 26th USENIX Security Symposium, 2017

Smart Contracts Make Bitcoin Mining Pools Vulnerable.
Proceedings of the Financial Cryptography and Data Security, 2017

Quantitative Assume Guarantee Synthesis.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

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

Some Complexity Results for Stateful Network Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
The complexity of multi-mean-payoff and multi-energy games.
Inf. Comput., 2015

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

Robust Multidimensional Mean-Payoff Games are Undecidable.
Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014
Robust Multidimensional Mean-Payoff Games are Undecidable.
CoRR, 2014

Visibly Pushdown Modular Games.
Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives.
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.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
The Complexity of Alternating Move Games
CoRR, 2012

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

The Complexity of Multi-Mean-Payoff and Multi-Energy Games
CoRR, 2012

Strategy Synthesis for Mean-Payoff Expression Objectives
CoRR, 2012

Mean-Payoff Pushdown Games
CoRR, 2012

Mean-Payoff Pushdown Games.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

The Complexity of Mean-Payoff Automaton Expression.
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011
The Complexity of Mean-Payoff Automaton Expression
CoRR, 2011

Church Synthesis Problem for Noisy Input.
Proceedings of the Foundations of Software Science and Computational Structures, 2011


  Loading...