Publikationen

Hier die Ausgabe Ihrer Suche - bereits vorsortiert nach allgemeine Inhalten, Personen, Projekte und Publikationen - wählen Sie einfach den jeweiligen Reiter an.

2017

Gesture controlled hospital beds for home care

Fudickar, Sebastian and Flessner, Jannik and Volkening, Nils and Steen, Enno-Edzard and Isken, Melvin and Hein, Andreas; Zukunft-Lebensräume-Kongress 2016; 2017

BIB
Power and Execution Time Measurement Methodology for SDF Applications on FPGA-based MPSoCs

Christof Schlaak and Maher Fakih and Ralf Stemmer; HIP3ES 2017; 01 / 2017

Provably Correct Systems

Martin Fränzle and Yang Gao and Sebastian Gerwinn; 2017

Towards State-Based RT Analysis of FSM-SADFGs on MPSoCs with Shared Memory Communication

Ralf Stemmer and Maher Fakih and Kim Grüttner and Wolfgang Nebel; RAPIDO 2017; 01 / 2017

BIB
Verifying a PI Controller using SoapBox and Stabhyli

Eike Möhlmann and Willem Hagemann and Astrid Rakow; ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems; 2017