Activities per year
Activities
- 6 results
Search results
-
A Graphical Guide to Lightweight Block-Level Formal Verification
Meinhard Kissich (Speaker) & Marcel Carsten Baunach (Contributor)
15 Sept 2023 → 17 Sept 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
One Solution to Rule Them All: ATTEST as Unified Testing Solution for Programming Courses
Meinhard Kissich (Speaker)
29 Sept 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
ATTEST: Automated and Thorough Testing of Embedded Software in Teaching
Meinhard Kissich (Speaker)
21 Jun 2023Activity: Talk or presentation › Poster presentation › Science to science
-
3rd Winter School on Operating Systems
Tobias Peter Scheipel (Participant), Meinhard Kissich (Participant), Vignesh Manjunath (Participant), Muhammad Tanveer Ali Ahmad (Participant), Tim Sagaster (Participant) & Marcel Carsten Baunach (Participant)
3 Apr 2023 → 6 Apr 2023Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
System-on-Chip Design From Requirements to ASIC: Open-Source, Optimized, and Human-out-of-the-Loop
Meinhard Kissich (Speaker)
13 Apr 2023Activity: Talk or presentation › Poster presentation › Science to science
-
Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide
Meinhard Kissich (Speaker)
7 Sept 2023Activity: Talk or presentation › Poster presentation › Science to science