| 2011 | COMPSAC | Statistical Evaluation of Test Sets Using Mutation Analysis. | Fevzi Belli, Mutlu Beyazit, Axel Hollmann, Nevin Gler |
| 2010 | GI | MOTES2010 - Modellbasiertes Testen (Vorwort). | Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter |
| 2009 | GI | MOTES09 - Modellbasiertes Testen - 4. Workshop im Rahmen der Jahrestagung der Gesellschaft fr Informatik am 29. September 2009 in Lbeck - Einfhrung und bersicht ber die angenommenen Beitrge. | Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter |
| 2009 | ICST | Structural Feature Extraction for GUI Test Enhancement. | Christof J. Budnik, Fevzi Belli, Axel Hollmann |
| 2008 | GI | MOTES08 - Modellbasiertes Testen. | Fevzi Belli, Christof J. Budnik, Axel Hollmann, Mario Winter |
| 2008 | GI | Positive and Negative Testing with Mutation-Driven Model Checking. | Zhenyu Chen, Axel Hollmann |
| 2008 | SAC | Test generation and minimization with "basic" statecharts. | Fevzi Belli, Axel Hollmann |
| 2007 | SAFECOMP | Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. | Fevzi Belli, Axel Hollmann, Nimal Nissanke |