Skip to content

Tobias Scheipel

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

3

Active years

2017–2026

Best venue rank

C

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2026SACMiKB-RAG: A Microarchitecture Knowledge Base Framework for Embedded Software Development.Vignesh Manjunath, Jess Pestana Puerta, Tobias Scheipel, Marcel Baunach
2025DSDYou Shall Not Stall: Achieving RISC-V On-Demand Runtime-Reconfiguration using SCAIE-V.Tobias Scheipel, Maximilian Ogris, Marcel Baunach
2025SACFormal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness.Vignesh Manjunath, Tobias Scheipel, Marcel Baunach
2024SACFair and Starvation-Free Spinlock for Real-Time AUTOSAR systems: M-HLP.Drona Nagarajan, Tobias Scheipel, Marcel Baunach
2024RTNSFormal Specifications of Real-Time AUTOSAR-Compliant Operating Systems.Drona Nagarajan, Tobias Scheipel, Marcel Baunach
2022DSDmoreMCU: A Runtime-reconfigurable RISC-V Platform for Sustainable Embedded Systems.Tobias Scheipel, Florian Angermair, Marcel Baunach
2021DSDA Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime.Tobias Scheipel, Peter Brungs, Marcel Baunach
2017DSDSystem-Aware Performance Monitoring Unit for RISC-V Architectures.Tobias Scheipel, Fabian Mauroner, Marcel Baunach