Static Source Code Analysis using OCL. - Mirko Seifert; Roland Samlaus (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Round-Trip Support for Invasive Software Composition Systems. - Jendrik Johannes; Roland Samlaus; Mirko Seifert (SC@TOOLS, 2009)

Static Validation of Modelica Models for Language Compliance and Structural Integrity. - Roland Samlaus; Mareike Strach (EOOLT, 2013)

Semantic validation of physical models using role models. - Roland Samlaus; Peter Fritzson (Simul., 2015)

An Integrated Development Environment with Enhanced Domain-Specific Interactive Model Validation. - Roland Samlaus (2015)

Towards Virtual Validation of ECU Software using FMI. - Lars Mikelsons; Roland Samlaus (Modelica, 2017)

Towards virtual validation of distributed functions. - Peter Baumann; Roland Samlaus; Lars Mikelsons; Thomas Kuhn 001; Jasmin Jahic (SummerSim, 2019)