Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019
Beijing, China
co-located with
ISSTA 2019
Toggle navigation
Attending
Venue: Crowne Plaza Beijing Zhongguancun
ISSTA 2019
Visa
Excursion
Conduct
Registration
Transportation Instructions
Program
Complete Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Track/Call
Organization
SPIN 2019
Organizing Committee
26th International SPIN Symposium on Model Checking of Software
Organizing Committee
26th International SPIN Symposium on Model Checking of Software
Program Committee
Contributors
People Index
Search
Series
Series
SPIN 2019
SPIN 2017
Sign in
Sign up
ISSTA 2019
(
series
) /
SPIN 2019 (
series
) /
Neeraj Suri
ISSTA 2019 profile
conf.research.org general profile
SPLASH 2016 profile
Not registered as user yet
Name:
Neeraj Suri
Contributions
SPIN 2019
Author of Extracting Safe Thread Schedules from Incomplete Model Checking Results within the 26th International SPIN Symposium on Model Checking of Software-track
ISSTA 2019
Author of Assessing the State and Improving the Art of Parallel Testing for C within the Technical Papers-track
Show activities from other conferences
Share
ISSTA 2019-profile
View general profile
x
Mon 20 Jan 10:28