1. Formal methods and automated verification of critical systems

   • Maurice H. ter Beek
   • Stefania Gnesi
   • Alexander Knapp

   Introduction 16 May 2018 Pages: 355 - 358

2. Qualitative and quantitative analysis of safety-critical systems with

   • Johannes Leupolz
   • Alexander Knapp
   • Wolfgang Reif

   FMICS-AVoCS 17 July 2017 Pages: 359 - 377

   

3. Runtime verification of autopilot systems using a fragment of MTL-\({\int }\)

   • André de Matos Pedro
   • Jorge Sousa Pinto
   • Luís Miguel Pinho

   FMICS-AVoCS 21 August 2017 Pages: 379 - 395

   

4. High-level frameworks for the specification and verification of scheduling problems

   • Mounir Chadli
   • Jin H. Kim
   • Louis-Marie Traonouez

   FMICS-AVoCS 04 September 2017 Pages: 397 - 422

   

5. Integrated formal verification of safety-critical software

   • Ning Ge
   • Eric Jenn
   • Yoann Fonteneau

   FMICS-AVoCS 06 October 2017 Pages: 423 - 440

   

6. Model-based testing strategies and their (in)dependence on syntactic model representations

   • Wen-ling Huang
   • Jan Peleska

   FMICS-AVoCS 20 November 2017 Pages: 441 - 465

   

7. Assessing SMT and CLP approaches for workflow nets verification

   • Hadrien Bride
   • Olga Kouchnarenko
   • Guillaume Voiron

   FMICS-AVoCS 03 March 2018 Pages: 467 - 491