| 2017 | IM | An experimental system for verifying topology changes in mobile communication networks. | Tsvetko Tsvetkov, Janne Ali-Tolppa, Henning Sanneck, Georg Carle |
| 2016 | CNSM | A Steiner tree-based verification approach for handling topology changes in self-organizing networks. | Tsvetko Tsvetkov, Janne Ali-Tolppa, Henning Sanneck, Georg Carle |
| 2016 | ICIN | An Adaptive Observation Window for Verifying Configuration Changes in Self-Organizing Networks. | Tsvetko Tsvetkov, Janne Ali-Tolppa |
| 2016 | NOMS | Optimistic concurrency control in self-organizing networks using automatic coordination and verification. | Janne Ali-Tolppa, Tsvetko Tsvetkov |
| 2016 | NOMS | A minimum spanning tree-based approach for reducing verification collisions in self-organizing networks. | Tsvetko Tsvetkov, Janne Ali-Tolppa, Henning Sanneck, Georg Carle |
| 2015 | GLOBECOM | A Constraint Optimization-Based Resolution of Verification Collisions in Self-Organizing Networks. | Tsvetko Tsvetkov, Georg Carle, Christoph Frenzel, Henning Sanneck |
| 2015 | IM | A graph coloring approach for scheduling undo actions in self-organizing networks. | Tsvetko Tsvetkov, Henning Sanneck, Georg Carle |
| 2014 | WoWMoM | Detection and resolution of ineffective function behavior in Self-Organizing Networks. | Christoph Frenzel, Tsvetko Tsvetkov, Henning Sanneck, Bernhard Bauer, Georg Carle |