1. A qualitative assessment of \(\alpha \)Rby in the perspective of the supervisory control theory

   • Maxime Routhier
   • Richard St-Denis

   Regular Paper 10 June 2017 Pages: 121 - 141

   

2. From high-level modeling toward efficient and trustworthy circuits

   • Fadi A. Zaraket
   • Mohamad Jaber
   • Yliès Falcone

   Regular Paper 22 June 2017 Pages: 143 - 163

   

3. Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B

   • Chunyan Fu
   • Kougen Zheng

   Regular Paper 07 July 2017 Pages: 165 - 181

   

4. Formal specification and implementation of an automated pattern-based parallel-code generation framework

   • Gervasio Pérez
   • Sergio Yovine

   Regular Paper 01 August 2017 Pages: 183 - 202

   

5. What’s decidable about parametric timed automata?

   • Étienne André

   Regular Paper 29 July 2017 Pages: 203 - 219

   

6. Knowledge-based security testing of web applications by logic programming

   • Philipp Zech
   • Michael Felderer
   • Ruth Breu

   Regular Paper Open access 13 September 2017 Pages: 221 - 246