Program - SPIN 2019

Write a Blog >>

Mon 15 - Fri 19 July 2019 Beijing, China

co-located with ISSTA 2019

Filter

Mon 15 Jul

09:00 - 10:30: 26th International SPIN Symposium on Model Checking of Software - Session 1 - Invited Talk at Meeting Room 4

09:00 - 10:30
Day opening

Constrained Counting and Sampling: From Theory to Practice and Back

Kuldeep S. MeelNational University of Singapore

11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Stochastic Model Checking at Meeting Room 4

11:00 - 11:30
Talk

Statistical Model Checking of Complex Robotic Systems

Mohammed Foughali, Félix Ingrand, Cristina SeceleanuMälardalen University

11:30 - 12:00
Talk

Model Checking Branching Time Properties of Incomplete Markov Chains

Shiraj Arora, Mv P Rao

14:00 - 15:30: 26th International SPIN Symposium on Model Checking of Software - Session 3 - Model Checking at Meeting Room 4

14:00 - 14:30
Talk

Extracting Safe Thread Schedules from Incomplete Model Checking Results

Patrick Metzler, Neeraj Suri, Georg WeissenbacherTechnische Universität Wien

14:30 - 15:00
Talk

From Dynamic State Machines to Promela

Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorin

15:00 - 15:30
Talk

A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table

Omar BatainehNTU, David RosenblumNational University of Singapore, Mark ReynoldsThe Univeristy of Western Australia

16:00 - 17:30: 26th International SPIN Symposium on Model Checking of Software - Session 4 - Software Model Checking (Tools Sessions) at Meeting Room 4

16:00 - 16:30
Talk

String abstraction for model checking of C programs

Agostino CortesiUniversità Ca' Foscari Venezia, Henrich Lauko, Martina Olliaro, Petr Ročkai

16:30 - 17:00
Talk

Applying Model Checking Approach with Floating Point Arithmetic

Sergey StaroletovPolzunov Altai State Technical University, Nikolay ShilovInnopolis University

Tue 16 Jul

09:00 - 10:00: 26th International SPIN Symposium on Model Checking of Software - Session 1 - Invited Talk at Meeting Room 4

09:00 - 10:00
Talk

Model Verification Through Dependency Graphs

Kim Guldstrand Larsen

10:00 - 10:30: 26th International SPIN Symposium on Model Checking of Software - Session 1.5 - Conformance Testing at Meeting Room 4

10:00 - 10:30
Talk

Conformance Testing of Schedulers for DSL-based Model Checking

Nhat-Hoa Tran, Toshiaki AokiJAIST

11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Synthesis and Learning at Meeting Room 4

11:00 - 11:30
Talk

STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph

Yuan Liu, Xi WangYale University, USA, Lintao Xian, Zhongwen Guo

11:30 - 12:00
Talk

Learning Guided Enumerative Synthesis for Superoptimization

Shikhar Singh, Mengshi ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin

12:00 - 12:30
Talk

A Study of Learning Data Structure Invariants Using Off-the-shelf Tools

Muhammad Usman, Wenxi WangThe University of Texas at Austin, Texas, USA, Kaiyuan WangGoogle Inc., Cagdas Yelen, Nima DiniUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin

14:00 - 15:30: 26th International SPIN Symposium on Model Checking of Software - Session 3 - Invited Talk at Meeting Room 4

14:00 - 15:00
Talk

Efficient Evaluation of Embedded-System Design Alternatives

Maxime CordySnT, University of Luxembourg

16:00 - 17:30: 26th International SPIN Symposium on Model Checking of Software - Session 4 - Broader Approaches at Meeting Room 4

16:00 - 16:30
Talk

Swarm Model Checking on the GPU

Richard Defrancisco, Shenghsun Cho, Michael Ferdman Ferdman, Scott SmolkaStony Brook University

16:30 - 17:00
Talk

VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs

Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar

Mon 15 Jul 2019


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Meeting Room 4	SPIN Session 1 - Invited Talk 09:00 - 10:30																								SPIN Session 2 - Stochastic Model Checking 11:00 - 12:30																																				SPIN Session 3 - Model Checking 14:00 - 15:30																								SPIN Session 4 - Software Model Checking (Tools Sessions) 16:00 - 17:30

Tue 16 Jul 2019


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Meeting Room 4	SPIN Session 1 - Invited Talk 09:00 - 10:00												SPIN Session 1.5 - Conformance Testing 10:00 - 10:30												SPIN Session 2 - Synthesis and Learning 11:00 - 12:30																																				SPIN Session 3 - Invited Talk 14:00 - 15:30																								SPIN Session 4 - Broader Approaches 16:00 - 17:30

Mon 15 Jul 2019


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Meeting Room 4	SPIN Constrained Counting and Sampling: From Theory to Practice and Back 09:00 - 10:30																								SPIN Statistical Model Checking of Complex Robotic Systems 11:00 - 11:30						SPIN Model Checking Branching Time Properties of Incomplete Markov Chains 11:30 - 12:00																														SPIN Extracting Safe Thread Schedules from Incomplete Model Checking Results 14:00 - 14:30						SPIN From Dynamic State Machines to Promela 14:30 - 15:00						SPIN A Novel Decentralized LTL Monitoring Framework Using Formula Progressio ... 15:00 - 15:30												SPIN String abstraction for model checking of C programs 16:00 - 16:30						SPIN Applying Model Checking Approach with Floating Point Arithmetic 16:30 - 17:00

Tue 16 Jul 2019


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Meeting Room 4	SPIN Model Verification Through Dependency Graphs 09:00 - 10:00												SPIN Conformance Testing of Schedulers for DSL-based Model Checking 10:00 - 10:30												SPIN STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis v ... 11:00 - 11:30						SPIN Learning Guided Enumerative Synthesis for Superoptimization 11:30 - 12:00						SPIN A Study of Learning Data Structure Invariants Using Off-the-shelf Tools 12:00 - 12:30																								SPIN Efficient Evaluation of Embedded-System Design Alternatives 14:00 - 15:00																								SPIN Swarm Model Checking on the GPU 16:00 - 16:30						SPIN VeriVANca: An Actor-Based Framework for Formal Verification of Warning ... 16:30 - 17:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format