Generating models of infinite-state communication protocols using regular inference with abstraction Fides AartsBengt JonssonFrits Vaandrager OriginalPaper 19 November 2014 Pages: 1 - 41
A game approach to determinize timed automata Nathalie BertrandAmélie StainerMoez Krichen OriginalPaper 16 December 2014 Pages: 42 - 80
Vacuity in practice: temporal antecedent failure Shoham Ben-DavidFady CoptySitvanit Ruah OriginalPaper 29 January 2015 Pages: 81 - 104