| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A generic model decomposition technique and its application to the Eclipse modeling framework
|
Ma, Qin
|
|
2013
|
14 |
2 |
p. 921-952
|
artikel
|
| 2 |
An algorithm for generating model-sensitive search plans for pattern matching on EMF models
|
Varró, Gergely
|
|
2013
|
14 |
2 |
p. 597-621
|
artikel
|
| 3 |
A survey of approaches for verifying model transformations
|
Ab. Rahim, Lukman
|
|
2013
|
14 |
2 |
p. 1003-1028
|
artikel
|
| 4 |
AuRUS: explaining the validation of UML/OCL conceptual schemas
|
Rull, Guillem
|
|
2013
|
14 |
2 |
p. 953-980
|
artikel
|
| 5 |
Business process management as the “Killer App” for Petri nets
|
Aalst, W. M. P. van der
|
|
2014
|
14 |
2 |
p. 685-691
|
artikel
|
| 6 |
Constraint-driven modeling through transformation
|
Demuth, Andreas
|
|
2013
|
14 |
2 |
p. 573-596
|
artikel
|
| 7 |
Corpus-based analysis of domain-specific languages
|
Tairas, Robert
|
|
2013
|
14 |
2 |
p. 889-904
|
artikel
|
| 8 |
Deontic BPMN: a powerful extension of BPMN with a trusted model transformation
|
Natschläger, Christine
|
|
2013
|
14 |
2 |
p. 765-793
|
artikel
|
| 9 |
Distributed implementation of message sequence charts
|
Abdallah, Rouwaida
|
|
2013
|
14 |
2 |
p. 1029-1048
|
artikel
|
| 10 |
Enhancing classic transformation languages to support multi-level modeling
|
Atkinson, Colin
|
|
2013
|
14 |
2 |
p. 645-666
|
artikel
|
| 11 |
ESUML-EAF: a framework to develop an energy-efficient design model for embedded software
|
Kim, Doo-Hwan
|
|
2013
|
14 |
2 |
p. 795-812
|
artikel
|
| 12 |
Extending the UML use case metamodel with behavioral information to facilitate model analysis and interchange
|
Misbhauddin, Mohammed
|
|
2013
|
14 |
2 |
p. 813-838
|
artikel
|
| 13 |
Formal synthesis of application and platform behaviors of embedded software systems
|
Kim, Jinhyun
|
|
2013
|
14 |
2 |
p. 839-859
|
artikel
|
| 14 |
Formal verification of QVT transformations for code generation
|
Stenzel, Kurt
|
|
2013
|
14 |
2 |
p. 981-1002
|
artikel
|
| 15 |
From subsets of model elements to submodels
|
Carré, Bernard
|
|
2013
|
14 |
2 |
p. 861-887
|
artikel
|
| 16 |
Guest editorial to the special section on model transformation
|
Hu, Zhenjiang
|
|
2013
|
14 |
2 |
p. 533-535
|
artikel
|
| 17 |
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015
|
Chechik, Marsha
|
|
2015
|
14 |
2 |
p. 525-532
|
artikel
|
| 18 |
Mashup of metalanguages and its implementation in the Kermeta language workbench
|
Jézéquel, Jean-Marc
|
|
2013
|
14 |
2 |
p. 905-920
|
artikel
|
| 19 |
Petri and how he saw the world
|
Smith, Einar
|
|
2014
|
14 |
2 |
p. 727-733
|
artikel
|
| 20 |
Petri nets for the control of discrete event systems
|
Giua, Alessandro
|
|
2014
|
14 |
2 |
p. 693-701
|
artikel
|
| 21 |
Petri nets in systems biology
|
Koch, Ina
|
|
2014
|
14 |
2 |
p. 703-710
|
artikel
|
| 22 |
Recent and simple algorithms for Petri nets
|
Finkel, Alain
|
|
2014
|
14 |
2 |
p. 719-725
|
artikel
|
| 23 |
Reuse in model-to-model transformation languages: are we there yet?
|
Kusel, A.
|
|
2013
|
14 |
2 |
p. 537-572
|
artikel
|
| 24 |
Special section of SoSyM dedicated to 50 years of Petri nets
|
France, Robert
|
|
2014
|
14 |
2 |
p. 667-668
|
artikel
|
| 25 |
Specification-driven model transformation testing
|
Guerra, Esther
|
|
2013
|
14 |
2 |
p. 623-644
|
artikel
|
| 26 |
The concepts of Petri nets
|
Desel, Jörg
|
|
2014
|
14 |
2 |
p. 669-683
|
artikel
|
| 27 |
The Petri net twist in explicit model checking
|
Wolf, Karsten
|
|
2014
|
14 |
2 |
p. 711-717
|
artikel
|
| 28 |
VPML: an approach to detect design patterns of MOF-based modeling languages
|
Elaasar, Maged
|
|
2013
|
14 |
2 |
p. 735-764
|
artikel
|
Tijdschrift beschrijving