| Deductive verification of active objects with Crowbar E Kamburjan, M Scaletta, N Rollshausen Science of Computer Programming 226, 102928, 2023 | 6 | 2023 |
| Crowbar: behavioral symbolic execution for deductive verification of active objects E Kamburjan, M Scaletta, N Rollshausen arXiv preprint arXiv:2102.10127, 2021 | 4 | 2021 |
| PairSonic: Helping Groups Securely Exchange Contact Information F Putz, S Haesler, T Völkl, M Gehring, N Rollshausen, M Hollick Companion Publication of the 2024 Conference on Computer-Supported …, 2024 | 1 | 2024 |
| Initialization Verification Finalization F Putz, S Haesler, T Völkl, M Gehring, N Rollshausen, M Hollick | | 2024 |
| Generating Transparent and Query-Based RDF Layers N Rollshausen, E Kamburjan, M Giese | | 2024 |
| Counterexample Generation for Formal Verification of ABS N Rollshausen Universitäts-und Landesbibliothek, 2021 | | 2021 |
| Counterexample Generation for Formal Verification of ABS N Rollshausen Technische Universität Darmstadt, 0 | | |
