1. In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015

   • Marsha Chechik
   • Geri Georg
   • Martin Schindler

   Editorial 29 April 2015 Pages: 525 - 532

   

2. Guest editorial to the special section on model transformation

   • Zhenjiang Hu
   • Juan de Lara

   Guest Editorial 23 November 2013 Pages: 533 - 535

3. Reuse in model-to-model transformation languages: are we there yet?

   • A. Kusel
   • J. Schönböck
   • W. Schwinger

   Theme Section Paper 11 May 2013 Pages: 537 - 572

   

4. Constraint-driven modeling through transformation

   • Andreas Demuth
   • Roberto Erick Lopez-Herrejon
   • Alexander Egyed

   Special Section Paper 27 June 2013 Pages: 573 - 596

   

5. An algorithm for generating model-sensitive search plans for pattern matching on EMF models

   • Gergely Varró
   • Frederik Deckwerth
   • Andy Schürr

   Special Section Paper 04 September 2013 Pages: 597 - 621

   

6. Specification-driven model transformation testing

   • Esther Guerra
   • Mathias Soeken

   Special Section Paper 09 August 2013 Pages: 623 - 644

   

7. Enhancing classic transformation languages to support multi-level modeling

   • Colin Atkinson
   • Ralph Gerbig
   • Christian Vjekoslav Tunjic

   Special Section Paper 31 October 2013 Pages: 645 - 666

   

8. Special section of SoSyM dedicated to 50 years of Petri nets

   • Robert France
   • Bernhard Rumpe

   Editorial 15 November 2014 Pages: 667 - 668

9. The concepts of Petri nets

   • Jörg Desel
   • Wolfgang Reisig

   Special Section Paper 07 August 2014 Pages: 669 - 683

   

10. Business process management as the “Killer App” for Petri nets

    • W. M. P. van der Aalst

    Special Section Paper 20 June 2014 Pages: 685 - 691

    

11. Petri nets for the control of discrete event systems

    • Alessandro Giua
    • Carla Seatzu

    Special Section Paper 01 July 2014 Pages: 693 - 701

    

12. Petri nets in systems biology

    • Ina Koch

    Special Section Paper 27 June 2014 Pages: 703 - 710

    

13. The Petri net twist in explicit model checking

    • Karsten Wolf

    Special Section Paper 26 June 2014 Pages: 711 - 717

    

14. Recent and simple algorithms for Petri nets

    • Alain Finkel
    • Jérôme Leroux

    Special Section Paper 05 July 2014 Pages: 719 - 725

    

15. Petri and how he saw the world

    • Einar Smith

    Special Section Paper 24 September 2014 Pages: 727 - 733

    

16. VPML: an approach to detect design patterns of MOF-based modeling languages

    • Maged Elaasar
    • Lionel C. Briand
    • Yvan Labiche

    Regular Paper 03 March 2013 Pages: 735 - 764

    

17. Deontic BPMN: a powerful extension of BPMN with a trusted model transformation

    • Christine Natschläger
    • Felix Kossak
    • Klaus-Dieter Schewe

    Regular Paper 23 March 2013 Pages: 765 - 793

    

18. ESUML-EAF: a framework to develop an energy-efficient design model for embedded software

    • Doo-Hwan Kim
    • Jang-Eui Hong

    Regular Paper 28 March 2013 Pages: 795 - 812

    

19. Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange

    • Mohammed Misbhauddin
    • Mohammad Alshayeb

    Regular Paper 30 March 2013 Pages: 813 - 838

    

20. Formal synthesis of application and platform behaviors of embedded software systems

    • Jinhyun Kim
    • Inhye Kang
    • Sungwon Kang

    Regular Paper 03 May 2013 Pages: 839 - 859

    

21. From subsets of model elements to submodels

    • Bernard Carré
    • Gilles Vanwormhoudt
    • Olivier Caron

    Regular Paper 12 April 2013 Pages: 861 - 887

    

22. Corpus-based analysis of domain-specific languages

    • Robert Tairas
    • Jordi Cabot

    Regular Paper 09 June 2013 Pages: 889 - 904

    

23. Mashup of metalanguages and its implementation in the Kermeta language workbench

    • Jean-Marc Jézéquel
    • Benoit Combemale
    • François Fouquet

    Regular Paper 09 June 2013 Pages: 905 - 920

    

24. A generic model decomposition technique and its application to the Eclipse modeling framework

    • Qin Ma
    • Pierre Kelsen
    • Christian Glodt

    Regular Paper 27 June 2013 Pages: 921 - 952

    

25. AuRUS: explaining the validation of UML/OCL conceptual schemas

    • Guillem Rull
    • Carles Farré
    • Toni Urpí

    Regular Paper 09 June 2013 Pages: 953 - 980

    

26. Formal verification of QVT transformations for code generation

    • Kurt Stenzel
    • Nina Moebius
    • Wolfgang Reif

    Regular Paper 18 June 2013 Pages: 981 - 1002

    

27. A survey of approaches for verifying model transformations

    • Lukman Ab. Rahim
    • Jon Whittle

    Regular Paper 13 June 2013 Pages: 1003 - 1028

28. Distributed implementation of message sequence charts

    • Rouwaida Abdallah
    • Loïc Hélouët
    • Claude Jard

    Regular Paper 18 June 2013 Pages: 1029 - 1048