Author of the publication

Opportunistic content-centric data transmission during short network contacts.

, , , and . WCNC, page 2516-2521. IEEE, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System., , and . CoRR, (2020)Modulation Scheme Analysis for Low-Power Leadless Pacemaker Synchronization Based on Conductive Intracardiac Communication., , , , , , and . IEEE Trans. Biomed. Circuits Syst., 16 (3): 419-429 (2022)Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV., , and . ICST, page 372-382. IEEE, (2021)Analyse des PV-Potenzials von Wohngebäuden anhand siedlungsgenetischer Merkmale., , and . AGIT Journal, (2016)In-Vitro Measurements of Porcine Conductive Intracardiac Channel Properties., , , , , , and . (June 2022)Safety Analysis for Highly Automated Driving.. ISSRE Workshops, page 154-157. IEEE Computer Society, (2018)Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems., , and . ICST, page 420-429. IEEE, (2019)Towards using coupling measures to guide black-box integration testing in component-based systems., , , and . Softw. Test. Verification Reliab., (2022)An Approach for Structuring a Highly Automated Driving Multiple Channel Vehicle System for Safety Analysis., , and . ICSRS, page 362-367. IEEE, (2018)Formal Verification of a Fail-Operational Automotive Driving System., , , , , and . CoRR, (2021)