International Conference on Concurrency Theory (CONCUR)

View Statistics Email Alert RSS Feed

Description

Event name
International Conference on Concurrency Theory (CONCUR)
 
Event type
Event for scientific audience
 
Start date
03-09-2012
End date
08-09-2012
 
Location
Newcaslte upon Tyne
Country
United Kingdom
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Függer, Matthias ; Widder, Josef Efficient Checking of Link-Reversal-Based Concurrent SystemsKonferenzbeitrag Inproceedings 2012
2Konnov, Igor ; Veith, Helmut ; Widder, Josef On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: ReachabilityKonferenzbeitrag Inproceedings 1-Jan-2014
3Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsKonferenzbeitrag Inproceedings 1-Jan-2014
4Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Sifakis, Joseph Parameterized Systems in BIP: Design and Model CheckingKonferenzbeitrag Inproceedings 2016
5Kukovec, Jure ; Konnov, Igor ; Widder, Josef Reachability in Parameterized Systems: All Flavors of Threshold AutomataKonferenzbeitrag Inproceedings 2018