Tim Leinmüller

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 11

Top Topics

Formal Verification

Vehicular Networks

Intelligent Transportation Systems

Top Venues

Publications

Czea Sie Chuah, Alexander Hepp, Christian Appold, Tim Leinmüller
Trojan Assets and Attack Vectors in Processors. ISQED (2024)
Czea Sie Chuah, Christian Appold, Tim Leinmüller
Formal Verification of Security Properties on RISC-V Processors. MEMOCODE (2023)
Ammad Ali Syed, Serkan Ayaz, Tim Leinmüller, Madhu Chandra
Network Coding Based Fault-Tolerant Dynamic Scheduling and Routing for In-Vehicle Networks. J. Netw. Syst. Manag. 31 (1) (2023)
Ammad Ali Syed, Serkan Ayaz, Tim Leinmüller, Madhu Chandra
Fault-Tolerant Static Scheduling and Routing for In-vehicle Networks. ITNAC (2022)
Prachi Mittal, Tim Leinmüller
Multi-MNO Predictive-QoS for Vehicular Applications. VEHITS (2021)
Ammad Ali Syed, Serkan Ayaz, Tim Leinmüller, Madhu Chandra
Fault-Tolerant Dynamic Scheduling and Routing for TSN based In-vehicle Networks. VNC (2021)
Ammad Ali Syed, Serkan Ayaz, Tim Leinmüller, Madhu Chandra
Dynamic Scheduling and Routing for TSN based In-vehicle Networks. ICC Workshops (2021)
Ammad Ali Syed, Serkan Ayaz, Tim Leinmüller, Madhu Chandra
MIP-based Joint Scheduling and Routing with Load Balancing for TSN based In-vehicle Networks. VNC (2020)
Rens Wouter van der Heijden, Stefan Dietzel, Tim Leinmüller, Frank Kargl
Survey on Misbehavior Detection in Cooperative Intelligent Transportation Systems. IEEE Commun. Surv. Tutorials 21 (1) (2019)
Christoph Allig, Tim Leinmüller, Prachi Mittal, Gerd Wanielik
Trustworthiness Estimation of Entities within Collective Perception. VNC (2019)
Rens W. van der Heijden, Stefan Dietzel, Tim Leinmüller, Frank Kargl
Survey on Misbehavior Detection in Cooperative Intelligent Transportation Systems. CoRR (2016)
Robert Karl Schmidt, Achim Brakemeier, Tim Leinmüller, Frank Kargl, Günter Schäfer
Advanced carrier sensing to resolve local channel congestion. Vehicular Ad Hoc Networks (2011)
Tim Leinmüller, Elmar Schoch, Frank Kargl, Christian Maihöfer
routing. Secur. Commun. Networks 3 (4) (2010)
Robert Karl Schmidt, Tim Leinmüller, Elmar Schoch, Frank Kargl, Günter Schäfer
Exploration of adaptive beaconing for efficient intervehicle safety communication. IEEE Netw. 24 (1) (2010)
Robert Karl Schmidt, Thomas Köllmer, Tim Leinmüller, Bert Böddeker, Günter Schäfer
Degradation of Transmission Range in VANETs caused by Interference. Prax. Inf.verarb. Kommun. 32 (4) (2009)
Frank Kargl, Elmar Schoch, Björn Wiedersheim, Tim Leinmüller
Secure and efficient beaconing for vehicular networks. Vehicular Ad Hoc Networks (2008)
Philipp Wex, Jochen Breuer, Albert Held, Tim Leinmüller, Luca Delgrossi
Trust Issues for Vehicular Ad Hoc Networks. VTC Spring (2008)
Elmar Schoch, Frank Kargl, Tim Leinmüller, Stefan Schlott, Panos Papadimitratos
Impact of Pseudonym Changes on Geographic Routing in VANETs. ESAS (2006)
Tim Leinmüller, Christian Maihöfer, Elmar Schoch, Frank Kargl
Improved security in geographic ad hoc routing through autonomous position verification. Vehicular Ad Hoc Networks (2006)
Tim Leinmüller, Elmar Schoch, Frank Kargl
Position Verification Approaches for Vehicular Ad Hoc Networks. IEEE Wirel. Commun. 13 (5) (2006)
Eranga Perera, Aruna Seneviratne, Roksana Boreli, Michael Eyrich, Michael Wolf, Tim Leinmüller
Failover for Mobile Routers: A Vision of Resilient Ambience. ICN (2) (2005)
Michael Eyrich, Mikko Majanen, Eranga Perera, Ralf Toenjes, Roksana Boreli, Tim Leinmüller
GSA: an architecture for optimising gateway selection in dynamic routing groups. PIMRC (2005)
Christian Maihöfer, Tim Leinmüller, Reinhold Eberhardt
Improving the Usable Capacity of Ad Hoc Networks. KiVS (2005)
Christian Maihöfer, Tim Leinmüller, Elmar Schoch
Abiding geocast: time--stable geocast for ad hoc networks. Vehicular Ad Hoc Networks (2005)