Yaniv Sa'ar

According to our database1, Yaniv Sa'ar authored at least 20 papers between 2006 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Synthesis of coordination programs from linear temporal specifications.
Proc. ACM Program. Lang., 2020

Poster Abstract: Parallel VM Placement with Provable Guarantees.
Proceedings of the 39th IEEE Conference on Computer Communications, 2020

2019
Synthesis of coordination programs from linear temporal logic.
CoRR, 2019

Faster Placement of Virtual Machines through Adaptive Caching.
Proceedings of the 2019 IEEE Conference on Computer Communications, 2019

Verifying Robustness of Gradient Boosted Models.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Optimizing NFV Chain Deployment through Minimizing the Cost of Virtual Switching.
Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

Synthesis of Asynchronous Reactive Programs from Temporal Specifications.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
The actual cost of software switching for NFV chaining.
Proceedings of the 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), 2017

2013
Two-Way Traceability and Conflict Debugging for AspectLTL Programs.
LNCS Trans. Aspect Oriented Softw. Dev., 2013

Counter play-out: executing unrealizable scenario-based specifications.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Synthesis of Reactive(1) designs.
J. Comput. Syst. Sci., 2012

Verification of multi-linked heaps.
J. Comput. Syst. Sci., 2012

Assume-Guarantee Scenarios: Semantics and Synthesis.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

2011
AspectLTL: an aspect language for LTL specifications.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Parallelizing a Symbolic Compositional Model-Checking Algorithm.
Proceedings of the Hardware and Software: Verification and Testing, 2010

Jtlv: A Framework for Developing Verification Algorithms.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

SPLIT: A Compositional LTL Verifier.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

A Dash of Fairness for Compositional Reasoning.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2008
All You Need Is Compassion.
Proceedings of the Verification, 2008

2006
Synthesis of Reactive(1) Designs.
Proceedings of the Verification, 2006


  Loading...