Publications
Wen-ling Huang, and Jan Peleska. A mechanised proof of an adaptive state counting algorithm. In Christophe Gaston, Nikolai Kosmatov, and Pascale Le Gall, editors, Testing Software and Systems - 31st IFIP [...] 505–523. Springer, 2015. ISBN 978-3-319-25149-3. doi: 10.1007/978-3-319-25150-9_29 Niels Przigoda, Christoph Hilken, Jan Peleska, Robert Wille, and Rolf Drechsler. Checking concurrent behavior in UML/OCL models [...] models. In Proceedings of the MODELS 2015 Foundations Ottawa, ON, Canada, pages 176–185, 2015 Christoph Hilken, Jan Peleska, and Robert Wille. A unified formulation of behavioral semantics for SysML models