SPIN 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (71)

A Toshiaki AokiAoki, Toshiaki JAISTJapan Conformance Testing of Schedulers for DSL-based Model Checking
Shiraj AroraArora, Shiraj Model Checking Branching Time Properties of Incomplete Markov Chains
B Omar BatainehBataineh, Omar NTU A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
Massimo BenerecettiBenerecetti, Massimo From Dynamic State Machines to Promela
Saddek BensalemBensalem, Saddek Verimag Committee Member in Program Committee within the SPIN-track
Fabrizio BiondiBiondi, Fabrizio AvastCzech Republic Committee Member in Program Committee within the SPIN-track Committee Member in Organizing Committee within the SPIN-track
Dragan BosnackiBosnacki, Dragan Eindhoven University of Technology, The NetherlandsNetherlands Committee Member in Program Committee within the SPIN-track
C Shenghsun ChoCho, Shenghsun Swarm Model Checking on the GPU
Maxime CordyCordy, Maxime SnT, University of Luxembourg Efficient Evaluation of Embedded-System Design Alternatives
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly String abstraction for model checking of C programs
D Richard DefranciscoDefrancisco, Richard Swarm Model Checking on the GPU
Nima DiniDini, Nima University of Texas at AustinUnited States A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
F Michael Ferdman FerdmanFerdman, Michael Ferdman Swarm Model Checking on the GPU
Mohammed FoughaliFoughali, Mohammed Statistical Model Checking of Complex Robotic Systems
G Gilles GeeraertsGeeraerts, Gilles Université libre de Bruxelles Committee Member in Program Committee within the SPIN-track
Ugo GentileGentile, Ugo From Dynamic State Machines to Promela
Mohammed GharibGharib, Mohammed VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Thomas Given-WilsonGiven-Wilson, Thomas Université catholique de LouvainBelgium Committee Member in Program Committee within the SPIN-track
Patrice GodefroidGodefroid, Patrice Microsoft ResearchUnited States Committee Member in Program Committee within the SPIN-track
Gregor GoesslerGoessler, Gregor INRIA Committee Member in Program Committee within the SPIN-track
Zhongwen GuoGuo, Zhongwen STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
I Félix IngrandIngrand, Félix Statistical Model Checking of Complex Robotic Systems
Radu IosifIosif, Radu VERIMAG, CNRS, Université Grenoble-Alpes Committee Member in Program Committee within the SPIN-track
K Ehsan KhamespanahKhamespanah, Ehsan VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Learning Guided Enumerative Synthesis for Superoptimization A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
L Kim Guldstrand LarsenLarsen, Kim Guldstrand Model Verification Through Dependency Graphs
Henrich LaukoLauko, Henrich String abstraction for model checking of C programs
Axel LegayLegay, Axel Committee Member in Program Committee within the SPIN-track
Axel LegayLegay, Axel Committee Member in Organizing Committee within the SPIN-track
Stefan LeueLeue, Stefan Germany Committee Member in Program Committee within the SPIN-track
Yuan LiuLiu, Yuan STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
Alberto Lluch LafuenteLluch Lafuente, Alberto Technical University of DenmarkDenmark Committee Member in Program Committee within the SPIN-track
M Stefano MarroneMarrone, Stefano From Dynamic State Machines to Promela
Kuldeep S. MeelMeel, Kuldeep S. National University of SingaporeSingapore Constrained Counting and Sampling: From Theory to Practice and Back
Patrick MetzlerMetzler, Patrick Extracting Safe Thread Schedules from Incomplete Model Checking Results
Alice MillerMiller, Alice University of GlasgowUnited Kingdom Committee Member in Program Committee within the SPIN-track
Ali MovagharMovaghar, Ali VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
N Roberto NardoneNardone, Roberto From Dynamic State Machines to Promela
O Martina OlliaroOlliaro, Martina String abstraction for model checking of C programs
P Corina S PasareanuPasareanu, Corina S Carnegie Mellon University Silicon Valley, NASA Ames Research Center Committee Member in Program Committee within the SPIN-track
Charles PecheurPecheur, Charles Université catholique de Louvain Committee Member in Program Committee within the SPIN-track
Doron PeledPeled, Doron Bar Ilan UniversityIsrael Committee Member in Program Committee within the SPIN-track
Adriano PeronPeron, Adriano From Dynamic State Machines to Promela
R Mv P RaoRao, Mv P Model Checking Branching Time Properties of Incomplete Markov Chains
Mark ReynoldsReynolds, Mark The Univeristy of Western Australia A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
David RosenblumRosenblum, David National University of SingaporeSingapore A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
Petr RočkaiRočkai, Petr String abstraction for model checking of C programs
S Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Statistical Model Checking of Complex Robotic Systems
Nikolay ShilovShilov, Nikolay Innopolis UniversityRussia Applying Model Checking Approach with Floating Point Arithmetic
Shikhar SinghSingh, Shikhar Learning Guided Enumerative Synthesis for Superoptimization
Marjan SirjaniSirjani, Marjan VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Scott SmolkaSmolka, Scott Stony Brook UniversityUnited States Swarm Model Checking on the GPU
Jiri SrbaSrba, Jiri Committee Member in Program Committee within the SPIN-track
Luigi L. L. StaraceStarace, Luigi L. L. From Dynamic State Machines to Promela
Sergey StaroletovStaroletov, Sergey Polzunov Altai State Technical UniversityRussia Applying Model Checking Approach with Floating Point Arithmetic
Neeraj SuriSuri, Neeraj Extracting Safe Thread Schedules from Incomplete Model Checking Results
T Maurice ter Beekter Beek, Maurice Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Committee Member in Program Committee within the SPIN-track
Nhat-Hoa TranTran, Nhat-Hoa Conformance Testing of Schedulers for DSL-based Model Checking
U Muhammad UsmanUsman, Muhammad A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
V Antti ValmariValmari, Antti University of Jyväskylä Committee Member in Program Committee within the SPIN-track
Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Committee Member in Program Committee within the SPIN-track
Valeria VittorinVittorin, Valeria From Dynamic State Machines to Promela
W Farn WangWang, Farn National Taiwan UniversityTaiwan Committee Member in Program Committee within the SPIN-track
Kaiyuan WangWang, Kaiyuan Google Inc.United States A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
Wenxi WangWang, Wenxi The University of Texas at Austin, Texas, USAUnited States A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
Xi WangWang, Xi Yale University, USA STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
Georg WeissenbacherWeissenbacher, Georg Technische Universität Wien Extracting Safe Thread Schedules from Incomplete Model Checking Results
X Lintao XianXian, Lintao STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
Y Cagdas YelenYelen, Cagdas A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
Farnaz YousefiYousefi, Farnaz VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Z Mengshi ZhangZhang, Mengshi University of Texas at Austin, USA Learning Guided Enumerative Synthesis for Superoptimization