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
SPIN Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Track/Call
Organization
SPIN 2019 Committees
Organizing Committee
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
SPIN 2021
SPIN 2019
SPIN 2017
Sign in
Sign up
ISSTA 2019
(
series
) /
SPIN 2019 (
series
) /
Marjan Sirjani
ISSTA 2019 profile
conf.research.org general profile
ECBS 2023 profile
ECSA 2020 profile
ECSA 2021 profile
ECSA 2022 profile
ECSA 2023 profile
FSEN 2025 profile
ICFP 2023 profile
ICFP 2024 profile
ICSE 2021 profile
ICSE 2023 profile
ICST 2025 profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
SPLASH 2012 profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2020 profile
SPLASH 2021 profile
STAF 2024 profile
Registered user since Wed 30 Sep 2020
Name:
Marjan Sirjani
Contributions
2019
SPIN
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Show activities from other conferences
Share
ISSTA 2019-profile
View general profile
x
Thu 21 Nov 09:45