6 citations · 6 across the 1 of their papers we have counts for
3 papers
cs.SE2021
Augmenting Modelers with Semantic Autocompletion of Processes
Maayan Goldstein, Cecilia Gonzalez-Alvarez
Business process modelers need to have expertise and knowledge of the domain that may not always be available to them. Therefore, they may benefit from tools that mine collections…
cs.LG2019★ 6 cited
Verifying Robustness of Gradient Boosted Models
Gil Einziger, Maayan Goldstein, Yaniv Sa'ar +1
Gradient boosted models are a fundamental machine learning technique. Robustness to small perturbations of the input is an important quality measure for machine learning models, bu…
cs.SE2018
Learning Software Constraints via Installation Attempts
Ran Ben Basat, Maayan Goldstein, Itai Segall
Modern software systems are expected to be secure and contain all the latest features, even when new versions of software are released multiple times an hour. Each system may inclu…