International SPIN Symposium on Model Checking of Software (SPIN)

View Statistics Email Alert RSS Feed

Description

Event name
International SPIN Symposium on Model Checking of Software (SPIN)
 
Event type
Event for scientific audience
 
Start date
15-07-2019
End date
19-07-2019
 
Location
Beijing
Country
China
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bogomolov, Sergiy ; Donzé, Alexandre ; Frehse, Goran ; Grosu, Radu ; Johnson, Taylor T. ; Ladan, Hamed ; Podelski, Andreas ; Wehrle, Martin Abstraction-Based Guided Search for Hybrid SystemsKonferenzbeitrag Inproceedings 1-Jan-2013
2Metzler, Patrick ; Suri, Neeraj ; Weissenbacher, Georg Extracting Safe Thread Schedules from Incomplete Model Checking ResultsKonferenzbeitrag Inproceedings 2019
3Günther, Henning ; Weissenbacher, Georg Incremental bounded software model checkingKonferenzbeitrag Inproceedings 2014
4Leue, Stefan ; Befrouei, Mitra Tabaei Mining Sequential Patterns to Explain Concurrent CounterexamplesKonferenzbeitrag Inproceedings 1-Jan-2013
5John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Towards Modeling and Model Checking Fault-Tolerant Distributed AlgorithmsKonferenzbeitrag Inproceedings 2013