Publications

Found 5 results
Filters: Author is Nathan Wasser  [Clear All Filters]
2021
N. Wasser, Tabar, A. Heydari, and Hähnle, R., “Automated model extraction: From non-deterministic C code to active objects”, Science of Computer Programming, vol. 204, 2021.
E. Kamburjan and 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, pp. 1-31, 2021.
2020
V. Kutscher, Ruland, S., Müller, P., Wasser, N., Lochau, M., Anderl, R., Schürr, A., Mezini, M., and Hähnle, R., “Towards a Circular Economy of Industrial Software”, in Proceedings of the 27th CIRP Life Cycle Engineering Conference (LCE), 2020, pp. 37-42.
N. Wasser and 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, pp. 1-19, 2020.
2019
N. Wasser, Tabar, A. Heydari, and 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, pp. 213-227.