SPIN 2017 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (44)

A Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany Committee Member in Program Committee for SPIN 2017
B Christel BaierBaier, Christel TU Dresden, GermanyGermany Committee Member in Program Committee for SPIN 2017
Thomas BallBall, Thomas Microsoft ResearchUnited States Committee Member in Program Committee for SPIN 2017
Ezio BartocciBartocci, Ezio Technische Universität WienAustria Committee Member in Program Committee for SPIN 2017
Dirk BeyerBeyer, Dirk LMU MunichGermany Committee Member in Program Committee for SPIN 2017
Armin BiereBiere, Armin Johannes Kepler UniversityAustria Committee Member in Program Committee for SPIN 2017
Dragan BosnackiBosnacki, Dragan Eindhoven University of TechnologyNetherlands Committee Member in Program Committee for SPIN 2017 Committee Member in Steering Committee for SPIN 2017
Zmago BrezocnikBrezocnik, Zmago University of MariborSlovenia Committee Member in Program Committee for SPIN 2017
C Sagar ChakiChaki, Sagar Carnegie Mellon Software Engineering InstituteUnited States Committee Member in Program Committee for SPIN 2017
Alessandro CimattiCimatti, Alessandro Fondazione Bruno KesslerItaly Committee Member in Program Committee for SPIN 2017
Lucas CordeiroCordeiro, Lucas University of OxfordUnited Kingdom Committee Member in Program Committee for SPIN 2017
E Madalina ErascuErascu, Madalina Session Chair of Session 11: Program Sketching (part of SPIN Full Paper)
Hakan ErdogmusErdogmus, Hakan Carnegie Mellon UniversityUnited States Program Co-Chair in Organizing Committee for SPIN 2017 Session Chair of Session 14 (part of SPIN Agenda) Session Chair of Session 1 (part of SPIN Keynote)
F Yliès FalconeFalcone, Yliès Univ. Grenoble Alpes, InriaFrance Publicity Chair in Organizing Committee for SPIN 2017 Session Chair of Session 10 (part of SPIN Keynote)
G Patrice GodefroidGodefroid, Patrice Microsoft ResearchUnited States Committee Member in Program Committee for SPIN 2017
Susanne GrafGraf, Susanne VerimagFrance Committee Member in Program Committee for SPIN 2017 Committee Member in Steering Committee for SPIN 2017
Radu GrosuGrosu, Radu Vienna University of TechnologyAustria Committee Member in Program Committee for SPIN 2017
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee for SPIN 2017
H Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States Program Co-Chair in Organizing Committee for SPIN 2017 Session Chair of Session 14 (part of SPIN Agenda) Session Chair of Session 2: Symbolic Verification (part of SPIN Full Paper) Session Chair of Session 1 (part of SPIN Keynote) Session Chair of Session 4 (part of SPIN Keynote)
Gerard HolzmannHolzmann, Gerard NASA/Caltech Jet Propulsion LaboratoryUnited States Committee Member in Program Committee for SPIN 2017 Committee Member in Steering Committee for SPIN 2017
J Rajeev JoshiJoshi, Rajeev NASA/Caltech Jet Propulsion LaboratoryUnited States Programme Committee in Program Committee for SPIN 2017
K Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Committee Member in Program Committee for SPIN 2017
L Kim LarsenLarsen, Kim Aalborg UniversityDenmark Committee Member in Program Committee for SPIN 2017
Axel LegayLegay, Axel Session Chair of Session 6: Runtime Enforcement (part of SPIN Full Paper)
Stefan LeueLeue, Stefan University of KonstanzGermany Committee Member in Program Committee for SPIN 2017 Committee Member in Steering Committee for SPIN 2017 Session Chair of Session 8: Program Synthesis (part of SPIN Full Paper)
M Pedro Merino GomezMerino Gomez, Pedro Session Chair of Session 14 (part of SPIN Agenda) Session Chair of Session 7: Model Checking (part of SPIN Short Paper)
Alice MillerMiller, Alice University of GlasgowUnited Kingdom Committee Member in Program Committee for SPIN 2017 Committee Member in Program Committee for SPIN 2017
P Doron PeledPeled, Doron Bar Ilan UniversityIsrael Committee Member in Program Committee for SPIN 2017
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research CenterUnited States Awards Chair in Organizing Committee for SPIN 2017 Committee Member in Program Committee for SPIN 2017
R Antoine RolletRollet, Antoine Session Chair of Session 13: Testing (part of SPIN Short Paper)
Neha RungtaRungta, Neha Amazon Web ServicesUnited States Committee Member in Program Committee for SPIN 2017 Session Chair of Session 3: Model Checking (part of SPIN Full Paper)
Theo RuysRuys, Theo RUwiseNetherlands Committee Member in Program Committee for SPIN 2017
S Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Session Chair of Session 9: Model Checking (part of SPIN Full Paper)
Alberto SalmeronSalmeron, Alberto Session Chair of Session 5: Code Verification (part of SPIN Full Paper)
Scott SmolkaSmolka, Scott Stony Brook UniversityUnited States Committee Member in Program Committee for SPIN 2017
Scott StollerStoller, Scott Stony Brook UniversityUnited States Committee Member in Program Committee for SPIN 2017
Jun SunSun, Jun Singapore University of Technology and DesignSingapore Committee Member in Program Committee for SPIN 2017
T Oksana TkachukTkachuk, Oksana Amazon Web ServicesUnited States Committee Member in Program Committee for SPIN 2017
Stavros TripakisTripakis, Stavros Aalto University and UC BerkeleyFinland Committee Member in Program Committee for SPIN 2017
V Jaco van de Polvan de Pol, Jaco University of Twente Session Chair of Session 12: Testing (part of SPIN Full Paper)
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa Committee Member in Program Committee for SPIN 2017 Committee Member in Steering Committee for SPIN 2017
W Farn WangWang, Farn National Taiwan UniversityTaiwan Committee Member in Program Committee for SPIN 2017
Michael WhalenWhalen, Michael University of MinnesotaUnited States Committee Member in Program Committee for SPIN 2017
Anton WijsWijs, Anton Eindhoven University of TechnologyNetherlands Committee Member in Program Committee for SPIN 2017