1. Formal methods for railway control systems

   • Alessandro Fantechi
   • Francesco Flammini
   • Stefania Gnesi

   Introduction 17 August 2014 Pages: 643 - 646

2. From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions

   • Alessio Ferrari
   • Giorgio O. Spagnolo
   • Simone Menabeni

   FMRCS 04 January 2014 Pages: 647 - 667

   

3. Towards Model-Driven V&V assessment of railway control systems

   • Stefano Marrone
   • Francesco Flammini
   • Valeria Vittorini

   FMRCS 25 May 2014 Pages: 669 - 683

   

4. Techniques for modelling and verifying railway interlockings

   • Phillip James
   • Faron Moller
   • Helen Treharne

   FMRCS 15 March 2014 Pages: 685 - 711

   

5. Automated generation of formal safety conditions from railway interlocking tables

   • Anne E. Haxthausen

   FMRCS 22 December 2013 Pages: 713 - 726

   

6. Survey on test data generation tools

   • Stefan J. Galler
   • Bernhard K. Aichernig

   Regular Paper 11 April 2013 Pages: 727 - 751

   

7. Model checking evaluation of airplane landing trajectories

   • Stefano Quer

   Regular Paper 11 April 2013 Pages: 753 - 773