2012

Marius Bozga, Mohamad Jaber, Nikolaos Maris and Joseph Sifakis. Modeling Dynamic Architectures Using Dy-BIP*. In Software Composition SC 2012.

2013

Jaroslav Keznikl, Tomas Bureš, Frantisek Plášil, Ilias Gerostathopoulos, Petr Hnětynka and Nicklas Hoch. Design of Ensemble-Based Component Systems by Invariant Refinement. In International ACM SIGSOFT Symposium on Component-Based Software Engineering CBSE 2013.

2014

Dhaminda Abeywickrama, Franco Zambonelli and Nicklas Hoch, An Integrated Eclipse Plug-in for Engineering and Implementing Self-Adaptive System, In ACEC track at WETICE 2014.

Christian Kroiß. Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models. In 8th International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2014), pages 151–160, 2014.

Peter Libič, Lubomír Bulej, Vojtěch Horký and Petr Tůma. On the Limits of Modeling Generational Garbage Collector Performance. In ACM/SPEC International Conference on Software Performance Engineering ICPE 2014.

Touraj Soleymani, Vito Trianni, Michael Bonani, Francesco Mondada and Marco Dorigo. Autonomous Construction with Compliant Building Material. In Proceedings of the 13th International Conference on Intelligent Autonomous Systems – IAS-13, Advances in Intelligent Systems and Computing, Vol. 301, Springer, 2014.