SPIN 2019 Contributors

Write a Blog >>

Mon 15 - Fri 19 July 2019 Beijing, China

co-located with ISSTA 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (71)

Toshiaki Aoki JAIST Japan Author of Conformance Testing of Schedulers for DSL-based Model Checking within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Shiraj Arora Author of Model Checking Branching Time Properties of Incomplete Markov Chains within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Omar Bataineh NTU Author of A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Massimo Benerecetti Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Saddek Bensalem Verimag Committee Member in Program Committee within the SPIN-track
Fabrizio Biondi Avast Czech Republic Committee Member in Program Committee within the SPIN-track Committee Member in Organizing Committee within the SPIN-track
Dragan Bosnacki Eindhoven University of Technology, The Netherlands Netherlands Committee Member in Program Committee within the SPIN-track
Shenghsun Cho Author of Swarm Model Checking on the GPU within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Maxime Cordy SnT, University of Luxembourg Author of Efficient Evaluation of Embedded-System Design Alternatives within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Agostino Cortesi Università Ca' Foscari Venezia Italy Author of String abstraction for model checking of C programs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Richard Defrancisco Author of Swarm Model Checking on the GPU within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Nima Dini University of Texas at Austin United States Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Michael Ferdman Ferdman Author of Swarm Model Checking on the GPU within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Mohammed Foughali Author of Statistical Model Checking of Complex Robotic Systems within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Gilles Geeraerts Université libre de Bruxelles Committee Member in Program Committee within the SPIN-track
Ugo Gentile Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Mohammed Gharib Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Thomas Given-Wilson Université catholique de Louvain Belgium Committee Member in Program Committee within the SPIN-track
Patrice Godefroid Microsoft Research United States Committee Member in Program Committee within the SPIN-track
Gregor Goessler INRIA Committee Member in Program Committee within the SPIN-track
Zhongwen Guo Author of STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Félix Ingrand Author of Statistical Model Checking of Complex Robotic Systems within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Radu Iosif VERIMAG, CNRS, Université Grenoble-Alpes Committee Member in Program Committee within the SPIN-track
Ehsan Khamespanah Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Sarfraz Khurshid University of Texas at Austin United States Author of Learning Guided Enumerative Synthesis for Superoptimization within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019 Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Kim Guldstrand Larsen Author of Model Verification Through Dependency Graphs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Henrich Lauko Author of String abstraction for model checking of C programs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Axel Legay Committee Member in Organizing Committee within the SPIN-track
Axel Legay Committee Member in Program Committee within the SPIN-track
Stefan Leue Germany Committee Member in Program Committee within the SPIN-track
Yuan Liu Author of STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Alberto Lluch Lafuente Technical University of Denmark Denmark Committee Member in Program Committee within the SPIN-track
Stefano Marrone Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Kuldeep S. Meel National University of Singapore Singapore Author of Constrained Counting and Sampling: From Theory to Practice and Back within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Patrick Metzler Author of Extracting Safe Thread Schedules from Incomplete Model Checking Results within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Alice Miller University of Glasgow United Kingdom Committee Member in Program Committee within the SPIN-track
Ali Movaghar Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Roberto Nardone Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Martina Olliaro Author of String abstraction for model checking of C programs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Corina S Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center Committee Member in Program Committee within the SPIN-track
Charles Pecheur Université catholique de Louvain Committee Member in Program Committee within the SPIN-track
Doron Peled Bar Ilan University Israel Committee Member in Program Committee within the SPIN-track
Adriano Peron Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Mv P Rao Author of Model Checking Branching Time Properties of Incomplete Markov Chains within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Mark Reynolds The Univeristy of Western Australia Author of A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
David Rosenblum National University of Singapore Singapore Author of A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Petr Ročkai Author of String abstraction for model checking of C programs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Cristina Seceleanu Mälardalen University Sweden Author of Statistical Model Checking of Complex Robotic Systems within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Nikolay Shilov Innopolis University Russia Author of Applying Model Checking Approach with Floating Point Arithmetic within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Shikhar Singh Author of Learning Guided Enumerative Synthesis for Superoptimization within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Marjan Sirjani Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Scott Smolka Stony Brook University United States Author of Swarm Model Checking on the GPU within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Jiri Srba Committee Member in Program Committee within the SPIN-track
Luigi L. L. Starace Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Sergey Staroletov Polzunov Altai State Technical University Russia Author of Applying Model Checking Approach with Floating Point Arithmetic within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Neeraj Suri Author of Extracting Safe Thread Schedules from Incomplete Model Checking Results within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Nhat-Hoa Tran Author of Conformance Testing of Schedulers for DSL-based Model Checking within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Muhammad Usman Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Antti Valmari University of Jyväskylä Committee Member in Program Committee within the SPIN-track
Valeria Vittorin Author of From Dynamic State Machines to Promela within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Kaiyuan Wang Google Inc. United States Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Farn Wang National Taiwan University Taiwan Committee Member in Program Committee within the SPIN-track
Wenxi Wang The University of Texas at Austin, Texas, USA United States Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Xi Wang Yale University, USA Author of STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Georg Weissenbacher Technische Universität Wien Author of Extracting Safe Thread Schedules from Incomplete Model Checking Results within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Lintao Xian Author of STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Cagdas Yelen Author of A Study of Learning Data Structure Invariants Using Off-the-shelf Tools within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Farnaz Yousefi Author of VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Mengshi Zhang University of Texas at Austin, USA Author of Learning Guided Enumerative Synthesis for Superoptimization within the 26th International SPIN Symposium on Model Checking of Software-track in SPIN 2019
Maurice ter Beek Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Committee Member in Program Committee within the SPIN-track
Jaco van de Pol Aarhus University Denmark Committee Member in Program Committee within the SPIN-track