Veselin Raychev - SPLASH 2015

Registered user since Tue 10 Mar 2015

Name: Veselin Raychev

Country: Bulgaria

Affiliation: ETH Zurich, Switzerland

Personal website: http://www.srl.inf.ethz.ch/raychev.php

Contributions

MobileDeLi 2015	Scalable Race Detection for Android Applications
SPLASH 2015	Stateless Model Checking of Event-Driven Applications Scalable Race Detection for Android Applications Scalable Concurrency Analysis for Android Applications
Show activities from other conferences

SPLASH 2015-profile
View general profile