Publications
test suites. Software Quality Journal, 27(2):589–613, 2019. doi: 10.1007/s11219-018-9421-y Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, and Jan Peleska. A mechanised proof of an adaptive state counting [...] 978-3-319-25149-3. doi: 10.1007/978-3-319-25150-9_29 Niels Przigoda, Christoph Hilken, Jan Peleska, RobertWille, and Rolf Drechsler. Checking concurrent behavior in UML/OCL models. In Proceedings of the MODELS [...] MODELS 2015 Foundations Ottawa, ON, Canada, pages 176–185, 2015 Christoph Hilken, Jan Peleska, and RobertWille. A unified formulation of behavioral semantics for SysML models. In Slimane Hammoudi, Lu´ıs Ferreira