1. Runtime verification of embedded real-time systems

   • Thomas Reinbacher
   • Matthias Függer
   • Jörg Brauer

   OriginalPaper Open access 07 November 2013 Pages: 203 - 239

   

2. A modal characterization of alternating approximate bisimilarity

   • Jinjin Zhang
   • Zhaohui Zhu

   OriginalPaper 05 December 2013 Pages: 240 - 263

   

3. Hardness and inapproximability of minimizing adaptive distinguishing sequences

   • Uraz Cengiz Türker
   • Hüsnü Yenigün

   OriginalPaper 27 March 2014 Pages: 264 - 294