Research output per year
Research output per year
Search results
-
2023
ATTEST: Automated and Thorough Testing of Embedded Software in Teaching
Kissich, M., Weinbauer, K. & Baunach, M. C., 19 Jun 2023, Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023. p. 199-203 5 p. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
ATTEST: Automated and Thorough Testing of Embedded Software in Teaching
Kissich, M., Weinbauer, K. & Baunach, M. C., 19 Jun 2023, Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023. Association of Computing Machinery, p. 199-203 5 p. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide
Kissich, M. & Baunach, M. C., Sept 2023.Research output: Contribution to conference › Poster › peer-review
-
Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide
Kissich, M. & Baunach, M. C., Sept 2023, Proceedings of the 26th Euromicro Conference on Digital System Design (DSD).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
One Solution to Rule Them All: ATTEST as Unified Testing Solution for Programming Courses
Kissich, M., Kanics, K., Weinbauer, K., Scheipel, T. & Baunach, M. C., 28 Sept 2023, Proceedings in Tagungsband des FG-BS Herbsttreffens 2023.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
System-on-Chip Design From Requirements to ASIC: Open-Source, Optimized, and Human-out-of-the-Loop
Kissich, M. & Baunach, M. C., 13 Apr 2023, (Unpublished).Research output: Contribution to conference › Poster