Activities per year
Activities
- 18 results
Search results
-
A Modeling Concept for Formal Verification of OS-Based Compositional Software
Batista Ribeiro, L. (Speaker)
Apr 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Protection and Relocation Extension for RISC-V
Malenko, M. (Speaker)
19 Jun 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Towards Automatic SW Integration in Dependable Embedded Systems
Batista Ribeiro, L. (Speaker)
18 Feb 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Towards Automatic SW Integration in Dependable Embedded Systems
Batista Ribeiro, L. (Speaker)
21 Nov 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
COFIE: a regex-like interaction and control flow description
Batista Ribeiro, L. (Speaker)
9 May 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
mosartMCU: Multi-Core Operating-System-Aware Real-Time Microcontroller
Mauroner, F. (Speaker) & Baunach, M. C. (Contributor)
12 Jun 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
EventQueue: An Event based and Priority aware Interprocess Communication for Embedded Systems
Mauroner, F. (Speaker) & Baunach, M. C. (Contributor)
6 Jun 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Remote Instruction Call: An RPC approach on Instructions for Embedded Multi-Core Systems
Mauroner, F. (Speaker) & Baunach, M. C. (Contributor)
22 Feb 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Task Priority aware SoC-Bus for Embedded Systems
Mauroner, F. (Speaker) & Baunach, M. C. (Contributor)
22 Feb 2018Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Embedded Automotive Systems
Baunach, M. C. (Speaker)
3 Feb 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
meto1 - A Versatile and Modular 32 bit low power Sensor Node Prototyping Platform for the IoT
Baunach, M. C. (Speaker)
20 Feb 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Towards Dynamically Composed Real-time Embedded Systems
Batista Ribeiro, L. (Speaker)
2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Flexible Computing Platforms for a Dependable Internet of Things
Baunach, M. C. (Speaker)
28 May 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
System-Aware Performance Monitoring Unit for RISC-V Architectures
Scheipel, T. P. (Speaker), Mauroner, F. (Contributor) & Baunach, M. C. (Contributor)
31 Aug 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
EventIRQ: An Event based and Priority aware IRQ handling for Multi-Tasking Environments
Mauroner, F. (Speaker) & Baunach, M. C. (Contributor)
1 Sept 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
StackMMU: Dynamic Stack Sharing for Embedded Systems
Mauroner, F. (Speaker) & Baunach, M. C. (Contributor)
30 Sept 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Einheit zur anwendungsbezogenen Leistungsmessung für die RISC-V-Architektur
Scheipel, T. P. (Speaker), Mauroner, F. (Contributor) & Baunach, M. C. (Contributor)
16 Nov 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
meto1 - A Versatile and Modular 32 bit low power Sensor Node Prototyping Platform for the IoT
Sailer, N. (Contributor), Mauroner, F. (Contributor) & Baunach, M. C. (Contributor)
20 Feb 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science