Project Details
Description
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/16 → 31/03/22 |
Fingerprint
-
An Adaptive, Provable Correct Simplex Architecture
Maderbacher, B., Schupp, S., Bartocci, E., Bloem, R., Nickovic, D. & Könighofer, B., 4 Feb 2025, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer. 19 p., 2589.Research output: Contribution to journal › Article › peer-review
Open Access -
Understanding Concurrent Transmissions over Ultra-Wideband Complex Channels
Schuh, M., Baddeley, M., Römer, K. U. & Boano, C. A., 4 Nov 2024, SenSys '24: Proceedings of the 22nd ACM Conference on Embedded Networked Sensor Systems. Association for Computing Machinery (ACM), p. 757 - 770 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
A Modeling Concept for Formal Verification of OS-Based Compositional Software
Batista Ribeiro, L., Lorber, F., Nyman, U., Guldstrand Larsen, K. & Baunach, M. C., Apr 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings: International Conference on Fundamental Approaches to Software Engineering. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Cham: Springer, p. 26-46 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13991 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access
Prizes
-
Best Demo Award
Brunner, H. (Recipient), Hofmann, R. (Recipient), Schuß, M. (Recipient), Link, J. (Recipient), Hollick, M. (Recipient), Boano, C. A. (Recipient) & Römer, K. U. (Recipient), 17 Feb 2020
Prize: Prizes / Medals / Awards
-
Best Demo Award for "UWB-based Single-anchor Low-cost Indoor Localization System"
Großwindhager, B. (Recipient), Rath, M. (Recipient), Kulmer, J. (Recipient), Grebien, S. J. (Recipient), Bakr, M. S. A. (Recipient), Boano, C. A. (Recipient), Witrisal, K. (Recipient) & Römer, K. U. (Recipient), 7 Nov 2017
Prize: Prizes / Medals / Awards
-
Bester Vortrag: 54. Regelungstechnische Kolloquium in Boppard
Tranninger, M. (Recipient), 6 Mar 2020
Prize: Prizes / Medals / Awards
Activities
-
Understanding Concurrent Transmissions over Ultra-Wideband Complex Channels
Schuh, M. P. (Speaker)
5 Nov 2024Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
Formal Verification of Arithmetic Masking in Hardware and Software
Gigerl, B. (Speaker)
20 Jun 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