Aktivitäten pro Jahr
Aktivitäten
- 7 Ergebnisse
Suchergebnisse
-
FazyRV: Closing the Gap between 32-Bit and Bit-Serial RISC-V Cores with a Scalable Implementation
Meinhard Kissich (Redner/in)
7 Mai 2024Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
A Graphical Guide to Lightweight Block-Level Formal Verification
Meinhard Kissich (Redner/in) & Marcel Carsten Baunach (Beitragende/r)
15 Sept. 2023 → 17 Sept. 2023Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
-
One Solution to Rule Them All: ATTEST as Unified Testing Solution for Programming Courses
Meinhard Kissich (Redner/in)
29 Sept. 2023Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
ATTEST: Automated and Thorough Testing of Embedded Software in Teaching
Meinhard Kissich (Redner/in)
21 Juni 2023Aktivität: Vortrag oder Präsentation › Posterpräsentation › Science to science
-
3rd Winter School on Operating Systems
Tobias Peter Scheipel (Teilnehmer/-in), Meinhard Kissich (Teilnehmer/-in), Vignesh Manjunath (Teilnehmer/-in), Muhammad Tanveer Ali Ahmad (Teilnehmer/-in), Tim Sagaster (Teilnehmer/-in) & Marcel Carsten Baunach (Teilnehmer/-in)
3 Apr. 2023 → 6 Apr. 2023Aktivität: Teilnahme an / Organisation von › Konferenz oder Fachtagung (Teilnahme an/Organisation von)
-
System-on-Chip Design From Requirements to ASIC: Open-Source, Optimized, and Human-out-of-the-Loop
Meinhard Kissich (Redner/in)
13 Apr. 2023Aktivität: Vortrag oder Präsentation › Posterpräsentation › Science to science
-
Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide
Meinhard Kissich (Redner/in)
7 Sept. 2023Aktivität: Vortrag oder Präsentation › Posterpräsentation › Science to science