Publications
syntactic model representations. STTT, 20(4):441–465, 2018. doi: 10.1007/s10009-017-0479-9 Jörg Brauer, Oliver Möller, and Jan Peleska. Testing avionics software: Is FMI up to the task? In Tiziana Margaria and [...] railway control system perspective. Electronic Communications of the EASST, 33, 2010 Jan Peleska and Oliver Schulz. Reliability analysis of safety-related communication architectures. In Erwin Schoitsch, editor [...] Test automation meets static analysis. In Rainer Koschke, Karl-Heinz R¨odiger Otthein Herzog, and Marc Ronthaler, editors, Proceedings of the INFORMATIK 2007, Band 2, 24. - 27. September, Bremen (Germany)