Search for persons
X
?
1
Safety Verification of Real-Time Control Systems with Flexi..
FAU Studien aus der Elektrotechnik ; 20
?
2022 18th European Dependable Computing Conference (EDCC) ,
2
DECO: Optimizing Software-based Soft-Error Detector Configu..:
, In:
?
2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC) ,
3
Taming Non-Deterministic Low-Level I/O: Predictable Multi-C..:
, In:
?
Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems ,
4
Annotate once – analyze anywhere: context-aware WCET analys..:
, In:
?
2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) ,
5
Proving Real-Time Capability of Generic Operating Systems b..:
, In:
?
2019 IEEE Real-Time Systems Symposium (RTSS) ,
6
Work-in-Progress: Migration Hints in Real-Time Operating Sy..:
, In:
?
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) ,
7
A New Perspective on Quality Evaluation for Control Systems..:
, In:
?
Proceedings of the 26th International Conference on Real-Time Networks and Systems ,
9
Data Propagation Delay Constraints in Multi-Rate Systems ..:
, In:
?
Betriebssysteme und Echtzeit; Informatik aktuell ,
12
React in Time: Ereignisbasierter Entwurf zeitgesteuerter ve..:
, In:
?
Proceedings of the 2011 ACM Symposium on Applied Computing ,
14
I4Copter : an adaptable and modular quadrotor platform:
, In:
?
Petermanns geographische Mitteilungen / Begr. [August] Petermann
15
Die Ausstattung von Siedlungen mit ausgewählten Kapazität..
, In:Referat 1973 in Leipzig
Copies:
Zentrale:Magazin Zs fb 9194