Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Xiangmin Han
Claudia Calabrese
Pengfei Duan
Hao Mao
monica duke
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
YANIV SA'AR
Author Info
Open Visualization
Name
Affiliation
Papers
YANIV SA'AR
Weizmann Institute of Science, Rehovot, Israel
13
Collaborators
Citations
PageRank
14
230
14.70
Referers
Referees
References
362
380
248
Search Limit
100
380
Publications (13 rows)
Collaborators (14 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Synthesis of coordination programs from linear temporal specifications
0
0.34
2020
Faster Placement of Virtual Machines through Adaptive Caching
1
0.48
2019
Synthesis Of Asynchronous Reactive Programs From Temporal Specifications
0
0.34
2018
The actual cost of software switching for NFV chaining
4
0.40
2017
Counter play-out: executing unrealizable scenario-based specifications
8
0.49
2013
Two-way traceability and conflict debugging for AspectLTL programs
7
0.48
2012
AspectLTL: an aspect language for LTL specifications
8
0.59
2011
JTLV: a framework for developing verification algorithms
49
1.95
2010
A dash of fairness for compositional reasoning
7
0.59
2010
SPLIT: a compositional LTL verifier
5
0.51
2010
Parallelizing a symbolic compositional model-checking algorithm
2
0.37
2010
All you need is compassion
13
0.82
2008
Synthesis of reactive(1) designs
126
7.33
2006
1