Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Research output
- 3 Conference paper
-
Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems
Nagarajan, D., Scheipel, T. & Baunach, M. C., 3 Jan 2025, RTNS 2024 - 2024 32nd International Conference on Real-Time Networks and Systems. Association for Computing Machinery (ACM), p. 187-196 10 p. (RTNS 2024 - 2024 32nd International Conference on Real-Time Networks and Systems).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems: M-HLP
Nagarajan, D., Scheipel, T. & Baunach, M. C., 8 Apr 2024, Proceedings of the 39th ACM/SIGAPP Symposium On Applied Computing. Association for Computing Machinery (ACM), p. 436-445 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
Verifying Liveness and Real-Time of OS-Based Embedded Software
Batista Ribeiro, L., Nagarajan, D., Manjunath, V., Ali Ahmad, M. T. & Baunach, M. C., Sept 2022, 2022 25th Euromicro Conference on Digital System Design (DSD). Fabelo, H., Ortega, S. & Skavhaug, A. (eds.). IEEE, p. 679-688 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Activities
- 1 Talk at conference or symposium
-
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems
Nagarajan, D. (Speaker), Scheipel, T. P. (Contributor) & Baunach, M. C. (Contributor)
8 Apr 2024 → 12 Apr 2024Activity: Talk or presentation › Talk at conference or symposium › Science to science
Projects
- 3 Finished
-
CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software
Baunach, M. C. (Project manager on research unit), Nagarajan, D. (Attendee / Assistant), Krisper, M. (Consortium manager resp. coordinator with external organisations) & Manjunath, V. (Attendee / Assistant)
1/11/20 → 31/03/25
Project: Research project
-
Embedded Automotive Systems
Martins Gomes, R. (Attendee), Malenko, M. (Attendee), Kissich, M. (Attendee), Nagarajan, D. (Attendee), Manjunath, V. (Attendee), Scheipel, T. P. (Attendee), Baunach, M. C. (Coordinator), Kanics, K. (Attendee), Saikia, A. (Attendee) & Batista Ribeiro, L. (Attendee)
1/09/14 → 31/12/24
Project: Research area
-
Embedded Architectures & Systems
Manjunath, V. (Attendee), Kissich, M. (Attendee), Saikia, A. (Attendee), Scheipel, T. P. (Attendee), Malenko, M. (Attendee), Martins Gomes, R. (Attendee), Nagarajan, D. (Attendee), Kanics, K. (Attendee), Baunach, M. C. (Coordinator) & Batista Ribeiro, L. (Attendee)
1/09/14 → 31/12/24
Project: Research area