1. How to write a successful SoSyM submission

   • Jeff Gray
   • Bernhard Rumpe

   Editorial 13 September 2016 Pages: 929 - 931

2. Theme issue on Integrated Formal Methods

   • Einar Broch Johnsen
   • Luigia Petre

   Guest Editorial 08 December 2015 Pages: 933 - 935

3. An overview of model checking practices on verification of PLC software

   • Tolga Ovatman
   • Atakan Aral
   • Ali Osman Ünver

   Theme Section Paper 25 December 2014 Pages: 937 - 960

   

4. Model-checking software library API usage rules

   • Fu Song
   • Tayssir Touili

   Theme Section Paper 19 May 2015 Pages: 961 - 985

   

5. A formal verification framework for static analysis

   • Elvira Albert
   • Richard Bubel
   • Guillermo Román-Díez

   Theme Section Paper 15 July 2015 Pages: 987 - 1012

   

6. A framework for deadlock detection in core ABS

   • Elena Giachino
   • Cosimo Laneve
   • Michael Lienhardt

   Theme Section Paper 29 January 2015 Pages: 1013 - 1048

   

7. Automated anonymity verification of the ThreeBallot and VAV voting systems

   • Murat Moran
   • James Heather
   • Steve Schneider

   Theme Section Paper 06 January 2015 Pages: 1049 - 1062

   

8. Constructing and verifying a robust Mix Net using CSP

   • Efstathios Stathakidis
   • David M. Williams
   • James Heather

   Theme Section Paper 17 June 2015 Pages: 1063 - 1089

   

9. The Unit-B method: refinement guided by progress concerns

   • Simon Hudon
   • Thai Son Hoang
   • Jonathan S. Ostroff

   Theme Section Paper 15 March 2015 Pages: 1091 - 1116

   

10. Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

    • Stijn de Gouw
    • Frank de Boer
    • Richard Bubel

    Theme Section Paper 25 December 2014 Pages: 1117 - 1140

    

11. Contract-based verification of discrete-time multi-rate Simulink models

    • Pontus Boström
    • Jonatan Wiik

    Theme Section Paper 03 June 2015 Pages: 1141 - 1161

    

12. Knowledge-based construction of distributed constrained systems

    • Susanne Graf
    • Sophie Quinton

    Theme Section Paper 26 February 2015 Pages: 1163 - 1180

    

13. Feature Nets: behavioural modelling of software product lines

    • Radu Muschevici
    • José Proença
    • Dave Clarke

    Theme Section Paper 17 June 2015 Pages: 1181 - 1206

    

14. Supporting different process views through a Shared Process Model

    • Jochen Küster
    • Hagen Völzer
    • Krzysztof Czarnecki

    Regular Paper 24 January 2015 Pages: 1207 - 1233