Publications

Found 5 results
Filters: Autor is Nathan Wasser  [Clear All Filters]
2021
N. Wasser, Tabar, A. Heydari, und Hähnle, R., „Automated model extraction: From non-deterministic C code to active objects“, Science of Computer Programming, Bd. 204, 2021.
E. Kamburjan und Wasser, N., „Deductive Verification of Programs with Underspecified Semantics by Model Extraction“, ArXiv E-Print 2110.01964: https://doi.org/10.48550/arXiv.2110.01964. ArXiv, S. 1-31, 2021.
2020
V. Kutscher, Ruland, S., Müller, P., Wasser, N., Lochau, M., Anderl, R., Schürr, A., Mezini, M., und Hähnle, R., „Towards a Circular Economy of Industrial Software“, in Proceedings of the 27th CIRP Life Cycle Engineering Conference (LCE), 2020, S. 37-42.
N. Wasser und Steinhöfel, D., „Treating for-Loops as First-Class Citizens in Proofs“, ArXiv E-Print 2002.00776: https://doi.org/10.48550/arXiv.2002.00776. ArXiv, S. 1-19, 2020.
2019
N. Wasser, Tabar, A. Heydari, und Hähnle, R., „Modeling Non-deterministic C Code with Active Objects“, in Proceedings of the 8th International Conference on Fundamentals of Software Engineering (FSEN), 2019, S. 213-227.