| Mining performance specifications M Brünink, DS Rosenblum Proceedings of the 2016 24th acm sigsoft international symposium on …, 2016 | 34 | 2016 |
| Boundless memory allocations for memory safety and high availability M Brünink, M Süßkraut, C Fetzer 2011 IEEE/IFIP 41st International Conference on Dependable Systems …, 2011 | 23 | 2011 |
| Verifying the long-run behavior of probabilistic system models in the presence of uncertainty YRS Llerena, M Böhme, M Brünink, G Su, DS Rosenblum Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 14 | 2018 |
| Aaron: An adaptable execution environment M Brünink, A Schmitt, T Knauth, M Süßkraut, U Schiffel, S Creutz, C Fetzer 2011 IEEE/IFIP 41st International Conference on Dependable Systems …, 2011 | 6 | 2011 |
| Using branch frequency spectra to evaluate operational coverage M Brünink, DS Rosenblum 2017 24th asia-pacific software engineering conference (apsec), 150-159, 2017 | 2 | 2017 |
| Autonomous compliance monitoring of non-functional properties M Brünink Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 2 | 2014 |
| Silistra compiler: Building reliable systems with unreliable hardware M Süßkraut, A Schmitt, U Schiffel, M Brünink, C Fetzer DSN, 2011 | 1 | 2011 |
| Analyzing the Behavior of Deployed Software MS Bruenink PQDT-Global, 2017 | | 2017 |
| Cxspinlocks Reviewed M Brünink | | 2009 |
| Grundlagen zur Realisierung eines Planers für das Siedler-Brettspiel mit Hilfe genetischer Algorithmen: eine Baccalaureatsarbeit im Rahmen des Projektes" Agentenorientierte … M Brünink | | 2004 |
