1. The 2014 “State of the Journal” report

   • Robert France
   • Geri Georg
   • Martin Schindler

   Editorial 22 January 2015 Pages: 1 - 2

2. SEFM: software engineering and formal methods

   • Gilles Barthe
   • Alberto Pardo
   • Gerardo Schneider

   Guest Editorial 22 February 2014 Pages: 3 - 4

3. Translating between Alloy specifications and UML class diagrams annotated with OCL

   • Alcino Cunha
   • Ana Garis
   • Daniel Riesco

   Special Section Paper 13 June 2013 Pages: 5 - 25

   

4. Verification of B\(^+\) trees by integration of shape analysis and interactive theorem proving

   • Gidon Ernst
   • Gerhard Schellhorn
   • Wolfgang Reif

   Special Section Paper 29 March 2013 Pages: 27 - 44

   

5. TacoFlow: optimizing SAT program verification using dataflow analysis

   • Bruno Cuervo Parrino
   • Juan Pablo Galeotti
   • Marcelo F. Frias

   Special Section Paper 25 February 2014 Pages: 45 - 63

   

6. Model checking LTL properties over ANSI-C programs with bounded traces

   • Jeremy Morse
   • Lucas Cordeiro
   • Bernd Fischer

   Special Section Paper 28 July 2013 Pages: 65 - 81

   

7. Procedure-modular specification and verification of temporal safety properties

   • Siavash Soleimanifard
   • Dilian Gurov
   • Marieke Huisman

   Special Section Paper 07 March 2013 Pages: 83 - 100

   

8. Verifying B proof rules using deep embedding and automated theorem proving

   • Mélanie Jacquel
   • Karim Berkani
   • Catherine Dubois

   Special Section Paper 27 June 2013 Pages: 101 - 119

   

9. Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods

   • Andreas Eggers
   • Nacim Ramdani
   • Martin Fränzle

   Special Section Paper 16 November 2012 Pages: 121 - 148

   

10. Synchrony and asynchrony in conformance testing

    • Neda Noroozi
    • Ramtin Khosravi
    • Tim A. C. Willemse

    Special Section Paper 25 January 2013 Pages: 149 - 172

    

11. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

    • Yliès Falcone
    • Mohamad Jaber
    • Saddek Bensalem

    Special Section Paper 18 April 2013 Pages: 173 - 199

    

12. Broadcast psi-calculi with an application to wireless protocols

    • Johannes Borgström
    • Shuqin Huang
    • Joachim Parrow

    Special Section Paper 08 November 2013 Pages: 201 - 216

    

13. Guest editorial to the special issue on MODELS 2011

    • Jon Whittle
    • Tony Clark

    Guest Editorial 14 March 2013 Pages: 217 - 218

14. A repository for scalable model management

    • Javier Espinazo Pagán
    • Jesús Sánchez Cuadrado
    • Jesús García Molina

    Special Section Paper 17 March 2013 Pages: 219 - 239

    

15. Model synchronization based on triple graph grammars: correctness, completeness and invertibility

    • Frank Hermann
    • Hartmut Ehrig
    • Thomas Engel

    Special Section Paper 22 January 2013 Pages: 241 - 269

    

16. Automatically reasoning about metamodeling

    • Ethan K. Jackson
    • Tihamer Levendovszky
    • Daniel Balasubramanian

    Special Section Paper 27 February 2013 Pages: 271 - 285

    

17. A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance

    • Gabriele Bavota
    • Carmine Gravino
    • José A. Cruz-Lemus

    Special Section Paper 17 January 2013 Pages: 287 - 306

    

18. From well-formedness to meaning preservation: model refactoring for almost free

    • Friedrich Steimann

    Special Section Paper 14 April 2013 Pages: 307 - 320

    

19. Kompren: modeling and generating model slicers

    • Arnaud Blouin
    • Benoît Combemale
    • Olivier Beaudoux

    Special Section Paper 21 November 2012 Pages: 321 - 337

    

20. Guest editorial to the special issue on “modelling–foundations and applications”

    • Antonio Vallecillo
    • Juha-Pekka Tolvanen

    Guest Editorial 01 September 2013 Pages: 339 - 341

21. Formal verification and validation of embedded systems: the UML-based MADES approach

    • Luciano Baresi
    • Gundula Blohm
    • Matteo Rossi

    Special Section Paper 12 June 2013 Pages: 343 - 363

    

22. Model transformations for migrating legacy deployment models in the automotive industry

    • Gehan M. K. Selim
    • Shige Wang
    • Juergen Dingel

    Special Section Paper 14 July 2013 Pages: 365 - 381

    

23. The design space of multi-language development environments

    • Rolf-Helge Pfeiffer
    • Andrzej Wąsowski

    Special Section Paper 20 September 2013 Pages: 383 - 411

    

24. Lightweight string reasoning in model finding

    • Fabian Büttner
    • Jordi Cabot

    Special Section Paper 14 April 2013 Pages: 413 - 427

    

25. Model-driven engineering with domain-specific meta-modelling languages

    • Juan de Lara
    • Esther Guerra
    • Jesús Sánchez Cuadrado

    Special Section Paper 28 July 2013 Pages: 429 - 459

    

26. Resolving model inconsistencies using automated regression planning

    • Jorge Pinna Puissant
    • Ragnhild Van Der Straeten
    • Tom Mens

    Special Section Paper 26 February 2013 Pages: 461 - 481

    

27. Environment modeling and simulation for automated testing of soft real-time embedded software

    • Muhammad Zohaib Iqbal
    • Andrea Arcuri
    • Lionel Briand

    Regular Paper 02 April 2013 Pages: 483 - 524