In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015 Marsha ChechikGeri GeorgMartin Schindler Editorial 29 April 2015 Pages: 525 - 532
Guest editorial to the special section on model transformation Zhenjiang HuJuan de Lara Guest Editorial 23 November 2013 Pages: 533 - 535
Reuse in model-to-model transformation languages: are we there yet? A. KuselJ. SchönböckW. Schwinger Theme Section Paper 11 May 2013 Pages: 537 - 572
Constraint-driven modeling through transformation Andreas DemuthRoberto Erick Lopez-HerrejonAlexander Egyed Special Section Paper 27 June 2013 Pages: 573 - 596
An algorithm for generating model-sensitive search plans for pattern matching on EMF models Gergely VarróFrederik DeckwerthAndy Schürr Special Section Paper 04 September 2013 Pages: 597 - 621
Specification-driven model transformation testing Esther GuerraMathias Soeken Special Section Paper 09 August 2013 Pages: 623 - 644
Enhancing classic transformation languages to support multi-level modeling Colin AtkinsonRalph GerbigChristian Vjekoslav Tunjic Special Section Paper 31 October 2013 Pages: 645 - 666
Special section of SoSyM dedicated to 50 years of Petri nets Robert FranceBernhard Rumpe Editorial 15 November 2014 Pages: 667 - 668
The concepts of Petri nets Jörg DeselWolfgang Reisig Special Section Paper 07 August 2014 Pages: 669 - 683
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
Petri nets for the control of discrete event systems Alessandro GiuaCarla Seatzu Special Section Paper 01 July 2014 Pages: 693 - 701
The Petri net twist in explicit model checking Karsten Wolf Special Section Paper 26 June 2014 Pages: 711 - 717
Recent and simple algorithms for Petri nets Alain FinkelJérôme Leroux Special Section Paper 05 July 2014 Pages: 719 - 725
VPML: an approach to detect design patterns of MOF-based modeling languages Maged ElaasarLionel C. BriandYvan Labiche Regular Paper 03 March 2013 Pages: 735 - 764
Deontic BPMN: a powerful extension of BPMN with a trusted model transformation Christine NatschlägerFelix KossakKlaus-Dieter Schewe Regular Paper 23 March 2013 Pages: 765 - 793
ESUML-EAF: a framework to develop an energy-efficient design model for embedded software Doo-Hwan KimJang-Eui Hong Regular Paper 28 March 2013 Pages: 795 - 812
Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange Mohammed MisbhauddinMohammad Alshayeb Regular Paper 30 March 2013 Pages: 813 - 838
Formal synthesis of application and platform behaviors of embedded software systems Jinhyun KimInhye KangSungwon Kang Regular Paper 03 May 2013 Pages: 839 - 859
From subsets of model elements to submodels Bernard CarréGilles VanwormhoudtOlivier Caron Regular Paper 12 April 2013 Pages: 861 - 887
Corpus-based analysis of domain-specific languages Robert TairasJordi Cabot Regular Paper 09 June 2013 Pages: 889 - 904
Mashup of metalanguages and its implementation in the Kermeta language workbench Jean-Marc JézéquelBenoit CombemaleFrançois Fouquet Regular Paper 09 June 2013 Pages: 905 - 920
A generic model decomposition technique and its application to the Eclipse modeling framework Qin MaPierre KelsenChristian Glodt Regular Paper 27 June 2013 Pages: 921 - 952
AuRUS: explaining the validation of UML/OCL conceptual schemas Guillem RullCarles FarréToni Urpí Regular Paper 09 June 2013 Pages: 953 - 980
Formal verification of QVT transformations for code generation Kurt StenzelNina MoebiusWolfgang Reif Regular Paper 18 June 2013 Pages: 981 - 1002
A survey of approaches for verifying model transformations Lukman Ab. RahimJon Whittle Regular Paper 13 June 2013 Pages: 1003 - 1028
Distributed implementation of message sequence charts Rouwaida AbdallahLoïc HélouëtClaude Jard Regular Paper 18 June 2013 Pages: 1029 - 1048