Publications
formulation of behavioral semantics for SysML models. In Slimane Hammoudi, Lu´ıs Ferreira Pires, Philippe Desfray, and Joaquim Filipe, editors, MODELSWARD 2015 - Proceedings of the 3rd International Conference [...] Peleska. Integrated and automated abstract interpretation, verification and testing of C/C++ modules. In Dennis R. Dams, Ulrich Hannemann, and Martin Steffen, editors, Correctness, Concurrency and Compositionality