Tim Leinmüller

According to our database, Tim Leinmüller authored at least 22 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Network Coding Based Fault-Tolerant Dynamic Scheduling and Routing for In-Vehicle Networks.

Ammad Ali Syed, Serkan Ayaz, Tim Leinmüller, Madhu Chandra

J. Netw. Syst. Manag., March, 2023

Formal Verification of Security Properties on RISC-V Processors.

Czea Sie Chuah, Christian Appold, Tim Leinmüller

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

2022

Fault-Tolerant Static Scheduling and Routing for In-vehicle Networks.

Ammad Ali Syed, Serkan Ayaz, Tim Leinmüller, Madhu Chandra

Proceedings of the 32nd International Telecommunication Networks and Applications Conference, 2022

2021

Fault-Tolerant Dynamic Scheduling and Routing for TSN based In-vehicle Networks.

Ammad Ali Syed, Serkan Ayaz, Tim Leinmüller, Madhu Chandra

Proceedings of the 13th IEEE Vehicular Networking Conference, 2021

Multi-MNO Predictive-QoS for Vehicular Applications.

Prachi Mittal, Tim Leinmüller

Proceedings of the 7th International Conference on Vehicle Technology and Intelligent Transport Systems, 2021

Dynamic Scheduling and Routing for TSN based In-vehicle Networks.

Ammad Ali Syed, Serkan Ayaz, Tim Leinmüller, Madhu Chandra

Proceedings of the IEEE International Conference on Communications Workshops, 2021

2020

MIP-based Joint Scheduling and Routing with Load Balancing for TSN based In-vehicle Networks.

Ammad Ali Syed, Serkan Ayaz, Tim Leinmüller, Madhu Chandra

Proceedings of the IEEE Vehicular Networking Conference, 2020

2019

Survey on Misbehavior Detection in Cooperative Intelligent Transportation Systems.

Rens Wouter van der Heijden, Stefan Dietzel, Tim Leinmüller, Frank Kargl

IEEE Commun. Surv. Tutorials, 2019

Trustworthiness Estimation of Entities within Collective Perception.

Christoph Allig, Tim Leinmüller, Prachi Mittal, Gerd Wanielik

Proceedings of the 2019 IEEE Vehicular Networking Conference, 2019

2011

Advanced carrier sensing to resolve local channel congestion.

Robert Karl Schmidt, Achim Brakemeier, Tim Leinmüller, Frank Kargl, Günter Schäfer

Proceedings of the Eighth International Workshop on Vehicular Ad Hoc Networks, 2011

2010

Decentralized position verification in geographic <i>ad hoc</i> routing.

Tim Leinmüller, Elmar Schoch, Frank Kargl, Christian Maihöfer

Secur. Commun. Networks, 2010

Exploration of adaptive beaconing for efficient intervehicle safety communication.

Robert Karl Schmidt, Tim Leinmüller, Elmar Schoch, Frank Kargl, Günter Schäfer

IEEE Netw., 2010

2009

Degradation of Transmission Range in VANETs caused by Interference.

Robert Karl Schmidt, Thomas Köllmer, Tim Leinmüller, Bert Böddeker, Günter Schäfer

Prax. Inf.verarb. Kommun., 2009

2008

Trust Issues for Vehicular Ad Hoc Networks.

Philipp Wex, Jochen Breuer, Albert Held, Tim Leinmüller, Luca Delgrossi

Proceedings of the 67th IEEE Vehicular Technology Conference, 2008

Secure and efficient beaconing for vehicular networks.

Frank Kargl, Elmar Schoch, Björn Wiedersheim, Tim Leinmüller

Proceedings of the Fifth International Workshop on Vehicular Ad Hoc Networks, 2008

2006

Position Verification Approaches for Vehicular Ad Hoc Networks.

Tim Leinmüller, Elmar Schoch, Frank Kargl

IEEE Wirel. Commun., 2006

Improved security in geographic ad hoc routing through autonomous position verification.

Tim Leinmüller, Christian Maihöfer, Elmar Schoch, Frank Kargl

Proceedings of the Third International Workshop on Vehicular Ad Hoc Networks, 2006

Impact of Pseudonym Changes on Geographic Routing in VANETs.

Elmar Schoch, Frank Kargl, Tim Leinmüller, Stefan Schlott, Panos Papadimitratos

Proceedings of the Security and Privacy in Ad-Hoc and Sensor Networks, 2006

2005

GSA: an architecture for optimising gateway selection in dynamic routing groups.

Michael Eyrich, Mikko Majanen, Eranga Perera, Ralf Toenjes, Roksana Boreli, Tim Leinmüller

Proceedings of the IEEE 16th International Symposium on Personal, 2005

Abiding geocast: time--stable geocast for ad hoc networks.

Christian Maihöfer, Tim Leinmüller, Elmar Schoch

Proceedings of the Second International Workshop on Vehicular Ad Hoc Networks, 2005

Improving the Usable Capacity of Ad Hoc Networks.

Christian Maihöfer, Tim Leinmüller, Reinhold Eberhardt

Proceedings of the Kommunikation in Verteilten Systemen (KiVS), 14. ITG/GI-Fachtagung Kommunikation in Verteilten Systemen (KiVS 2005) Kaiserslautern, 28. Februar, 2005

Failover for Mobile Routers: A Vision of Resilient Ambience.

Eranga Perera, Aruna Seneviratne, Roksana Boreli, Michael Eyrich, Michael Wolf, Tim Leinmüller

Proceedings of the Networking, 2005