Activities per year
Activities
- 31 results
Search results
-
Gesellschaft für Informatik, Fachgruppe Automotive Software Engineering (External organisation)
Marcel Carsten Baunach (Member)
2024Activity: Membership › Membership of research network or expert group
-
Leitungsgremium der Fachgruppe "Echtzeitsysteme" der GI e.V., Gesellschaft für Informatik e.V. (Deutschland) (External organisation)
Marcel Carsten Baunach (Chair)
2024Activity: Membership › Membership of research network or expert group
-
21st Workshop on Automotive Software Engineering (Event)
Marcel Carsten Baunach (Chair)
26 Feb 2024Activity: Membership › Membership in Programm Committee
-
A Modeling Concept for Formal Verification of OS-Based Compositional Software
Leandro Batista Ribeiro (Speaker)
Apr 2023Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
3rd Winter School on Operating Systems
Marcel Carsten Baunach (Organiser)
3 Apr 2023 → 6 Apr 2023Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
Workshop on Automotive Software Engineering 2023 (Event)
Marcel Carsten Baunach (Chair)
20 Feb 2023Activity: Membership › Membership in Programm Committee
-
Leitungsgremium der Fachgruppe "Echtzeitsysteme" der GI e.V., Gesellschaft für Informatik e.V. (Deutschland) (External organisation)
Marcel Carsten Baunach (Chair)
2023 → …Activity: Membership › Membership of research network or expert group
-
Gesellschaft für Informatik, Fachgruppe Automotive Software Engineering (External organisation)
Marcel Carsten Baunach (Member)
2023Activity: Membership › Membership of research network or expert group
-
Panel Discussion zu Ablenkung und Assistenzsysteme - Fluch oder Segen
Marcel Carsten Baunach (Speaker)
12 Mar 2022Activity: Public engagement › Participation in TV / radio programme or webbased media
-
2022 GI Fachgruppentreffen Betriebssysteme (Event)
Marcel Carsten Baunach (Chair)
17 Mar 2022Activity: Membership › Membership in Programm Committee
-
Protection and Relocation Extension for RISC-V
Maja Malenko (Speaker)
19 Jun 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Gesellschaft für Informatik e.V. (External organisation)
Marcel Carsten Baunach (Member)
2021Activity: Membership › Membership of research network or expert group
-
Reviewer for the DFG Priority Programme "Disruptive Main-Memory Technologies" SPP 2377
Marcel Carsten Baunach (Evaluator)
Dec 2021 → Feb 2022Activity: Consultancy or evaluation › Project evaluation
-
Gesellschaft für Informatik e.V. (External organisation)
Marcel Carsten Baunach (Member)
2021Activity: Membership › Membership of research network or expert group
-
18. Automotive Software Engineering Workshop 2021 (Event)
Marcel Carsten Baunach (Chair)
2021Activity: Membership › Membership in Programm Committee
-
Gesellschaft für Informatik e.V. (External organisation)
Marcel Carsten Baunach (Member)
2021Activity: Membership › Membership of research network or expert group
-
The Embedded Automotive Systems Group and its Work with UPPAAL
Marcel Carsten Baunach (Speaker)
24 Aug 2021Activity: Talk or presentation › Invited talk › Science to science
-
Towards Automatic SW Integration in Dependable Embedded Systems
Leandro Batista Ribeiro (Speaker)
18 Feb 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Gesellschaft für Informatik, Fachgruppe Automotive Software Engineering (External organisation)
Marcel Carsten Baunach (Chair)
2019 → …Activity: Membership › Membership of external institution
-
Towards Automatic SW Integration in Dependable Embedded Systems
Leandro Batista Ribeiro (Speaker)
21 Nov 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Gesellschaft für Informatik, Fachgruppe Betriebssysteme (External organisation)
Marcel Carsten Baunach (Chair)
2019 → …Activity: Membership › Membership in Jury
-
Leitungsgremium der Fachgruppe "Echtzeitsysteme" der GI e.V., Gesellschaft für Informatik e.V. (Deutschland) (External organisation)
Marcel Carsten Baunach (Chair)
2019 → 2022Activity: Membership › Membership of research network or expert group
-
COFIE: a regex-like interaction and control flow description
Leandro Batista Ribeiro (Speaker)
9 May 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Embedded Automotive Systems
Marcel Carsten Baunach (Speaker)
3 Feb 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Dependable Computing Platforms for the Internet of Things
Marcel Carsten Baunach (Speaker)
7 Sept 2017Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
ECHTZEIT 2017
Marcel Carsten Baunach (Participant)
16 Nov 2017 → 17 Nov 2017Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
Herbsttreffen der GI Fachgruppe Betriebssysteme 2017
Marcel Carsten Baunach (Participant)
28 Sept 2017 → 29 Sept 2017Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
meto1 - A Versatile and Modular 32 bit low power Sensor Node Prototyping Platform for the IoT
Norbert Sailer (Contributor), Fabian Mauroner (Contributor) & Marcel Carsten Baunach (Contributor)
20 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
Marcel Carsten Baunach (Speaker)
20 Feb 2017Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Compositional Embedded Software Design
Marcel Carsten Baunach (Speaker)
9 Sept 2017Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Towards Dynamically Composed Real-time Embedded Systems
Leandro Batista Ribeiro (Speaker)
2017Activity: Talk or presentation › Talk at conference or symposium › Science to science