- Danny M. Groenewegen, Eelco Visser. Integration of Data Validation and User Interface Concerns in a DSL for Web Applications. Software and Systems Modeling, , 2012.
- Vlad Rusu. Embedding domain-specific modeling languages into Maude specifications. Software and Systems Modeling, , 2012.
- Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec. Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. Software and Systems Modeling, 10(3):411-437, 2011.
- Haiping Zha, Wil M. P. van der Aalst, Jianmin Wang 0001, Lijie Wen, Jiaguang Sun. Verifying workflow processes: a transformation-based approach. Software and Systems Modeling, 10(2):253-264, 2011.
- Simona Bernardi, José Merseguer, Dorina C. Petriu. A dependability profile within MARTE. Software and Systems Modeling, 10(3):313-336, 2011.
- Marko Boskovic, Dragan Gasevic, Claus Pahl, Bernhard Schätz. Guest editorial to the theme issue on non-functional system properties in domain specific modeling languages. Software and Systems Modeling, 10(3):283-286, 2011.
- Arda Goknil, Ivan Kurtev, Klaas van den Berg, Jan-Willem Veldhuis. Semantics of trace relations in requirements models for consistency checking and inferencing. Software and Systems Modeling, 10(1):31-54, 2011.
- Mathieu Sassolas, Marsha Chechik, Sebastián Uchitel. Exploring inconsistencies between modal transition systems. Software and Systems Modeling, 10(1):117-142, 2011.
- Christiano Braga. A transformation contract to generate aspects from access control policies. Software and Systems Modeling, 10(3):395-409, 2011.
- Bernhard Rumpe, Robert B. France. Linking models and their storage artifacts. Software and Systems Modeling, 10(3):281-282, 2011.