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)
 
Start date
08-07-2013
End date
09-07-2013
 
Location
Stony Brook, NY, USA
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-5 of 5 (Search time: 0.006 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 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 2013
5John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Towards Modeling and Model Checking Fault-Tolerant Distributed AlgorithmsKonferenzbeitrag Inproceedings 2013