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
08-07-2013
End date
09-07-2013
 
Location
Stony Brook
Country
United States
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-5 of 5 (Search time: 0.002 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