QoS-aware management of monotonic service orchestrations Albert BenvenisteClaude JardJohn A. Thywissen OriginalPaper 24 July 2013 Pages: 1 - 43
Automata-based symbolic string analysis for vulnerability detection Fang YuMuath AlkhalafOscar H. Ibarra OriginalPaper 05 September 2013 Pages: 44 - 70
Safety verification of non-linear hybrid systems is quasi-decidable Stefan Ratschan OriginalPaper 21 September 2013 Pages: 71 - 90
Some notes on the abstraction operation for multi-terminal binary decision diagrams Ludwig GrieblJohann Schuster OriginalPaper 30 October 2013 Pages: 91 - 99