default search action

combined dblp search
author search
venue search
publication search

ask others

26th SPIN 2019: Beijing, China

> Home > Conferences and Workshops > SPIN

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/spin/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2019
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay:
Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings. Lecture Notes in Computer Science 11636, Springer 2019, ISBN 978-3-030-30922-0
- view
  authority control:
- export record
  dblp key:
  - conf/spin/EnevoldsenLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EnevoldsenLS19
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba:
Model Verification Through Dependency Graphs. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/spin/AroraR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/AroraR19
Shiraj Arora, M. V. Panduranga Rao:
Model Checking Branching Time Properties for Incomplete Markov Chains. 20-37
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Al-BatainehRR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Al-BatainehRR19
Omar I. Al-Bataineh, David S. Rosenblum, Mark Reynolds:
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table. 38-55
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BenerecettiGMNP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BenerecettiGMNP19
Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini:
From Dynamic State Machines to Promela. 56-73
- view
  authority control:
- export record
  dblp key:
  - conf/spin/CortesiLOR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/CortesiLOR19
Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai:
String Abstraction for Model Checking of C Programs. 74-93
- view
  authority control:
- export record
  dblp key:
  - conf/spin/DeFranciscoCFS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/DeFranciscoCFS19
Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka:
Swarm Model Checking on the GPU. 94-113
- view
  authority control:
- export record
  dblp key:
  - conf/spin/FoughaliIS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/FoughaliIS19
Mohammed Foughali, Félix Ingrand, Cristina Seceleanu:
Statistical Model Checking of Complex Robotic Systems. 114-134
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LiuWXG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LiuWXG19
Yuan Liu, Xi Wang, Lintao Xian, Zhongwen Guo:
STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph. 135-152
- view
  authority control:
- export record
  dblp key:
  - conf/spin/MetzlerSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/MetzlerSW19
Patrick Metzler, Neeraj Suri, Georg Weissenbacher:
Extracting Safe Thread Schedules from Incomplete Model Checking Results. 153-171
- view
  authority control:
- export record
  dblp key:
  - conf/spin/SinghZK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/SinghZK19
Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid:
Learning Guided Enumerative Synthesis for Superoptimization. 172-192
- view
  authority control:
- export record
  dblp key:
  - conf/spin/StaroletovS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/StaroletovS19
Sergey M. Staroletov, Nikolay V. Shilov:
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model. 193-207
- view
  authority control:
- export record
  dblp key:
  - conf/spin/TranA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/TranA19
Nhat-Hoa Tran, Toshiaki Aoki:
Conformance Testing of Schedulers for DSL-based Model Checking. 208-225
- view
  authority control:
- export record
  dblp key:
  - conf/spin/UsmanWWYDK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/UsmanWWYDK19
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid:
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. 226-243
- view
  authority control:
- export record
  dblp key:
  - conf/spin/YousefiKGSM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/YousefiKGSM19
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar:
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. 244-259

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.