Interface Controller Synthesis from Requirement Specifications. - Franz Korf; Rainer Schlör (EDAC-ETC-EUROASIC, 1994)

Verification of a production cell controller using symbolic timing diagrams. - Rainer Schlör; Franz Korf (EURO-DAC, 1995)

Symbolic Timing Diagrams. - Franz Korf; Rainer Schlör (Formal Development of Reactive Systems, 1995)

System-Level Synthesewerkzeuge: von der Theorie zur Anwendung. - Franz Korf (1997)

FAUST: Entwicklung von Fahrerassistenz- und autonomen Systemen - Technische Informatik an der Hochschule für Angewandte Wissenschaften Hamburg. - Stephan Pareigis; Bernd Schwarz; Franz Korf (PEARL, 2007)

Performance Analysis of Time-Triggered Ether-Networks Using Off-the-Shelf-Components. - Florian Bartols; Till Steinbach; Franz Korf; Thomas C. Schmidt (ISORC Workshops, 2011)

An extension of the OMNeT++ INET framework for simulating real-time ethernet with high accuracy. - Till Steinbach; Hermand Dieumo Kenfack; Franz Korf; Thomas C. Schmidt (SimuTools, 2011)

Tomorrow's In-Car Interconnect? A Competitive Evaluation of IEEE 802.1 AVB and Time-Triggered Ethernet (AS6802). - Till Steinbach; Hyung-Taek Lim; Franz Korf; Thomas C. Schmidt; Daniel Herrscher; Adam Wolisz (VTC Fall, 2012)

Simulation und Evaluation von Echtzeit-Ethernet in Fahrzeugnetzen. - Till Steinbach; Franz Korf; Thomas C. Schmidt (Prax. Inf.verarb. Kommun., 2012)

Simulation based timing analysis of FlexRay communication at system level. - Stefan Buschmann; Till Steinbach; Franz Korf; Thomas C. Schmidt (SimuTools, 2013)

A hardware/software platform for real-time ethernet cluster simulation in OMNeT++: poster abstract. - Oleg Karfich; Florian Bartols; Till Steinbach; Franz Korf; Thomas C. Schmidt (SimuTools, 2013)

Evaluating requirements of high precision time synchronisation protocols using simulation. - Lazar T. Todorov; Till Steinbach; Franz Korf; Thomas C. Schmidt (SimuTools, 2013)

Extending IEEE 802.1 AVB with time-triggered scheduling: A simulation study of the coexistence of synchronous and asynchronous traffic. - Philipp Meyer; Till Steinbach; Franz Korf; Thomas C. Schmidt (VNC, 2013)

Design of TDMA-based in-car networks: Applying multiprocessor scheduling strategies on time-triggered switched ethernet communication. - Jan Kamieth; Till Steinbach; Franz Korf; Thomas C. Schmidt (ETFA, 2014)

A hardware/software co-design approach for Ethernet controllers to support time-triggered traffic in the upcoming IEEE TSN standards. - Friedrich Gross; Till Steinbach; Franz Korf; Thomas C. Schmidt; Bernd Schwarz (ICCE-Berlin, 2014)

Software stacks for mixed-critical applications: Consolidating IEEE 802.1 AVB and time-triggered ethernet in next-generation automotive electronics. - Soeren Rumpf; Till Steinbach; Franz Korf; Thomas C. Schmidt (ICCE-Berlin, 2014)

Object tracking and dynamic estimation on evidential grids. - Ruben Jungnickel; Franz Korf (ITSC, 2014)

Real-time Ethernet Residual Bus Simulation: A Model-Based Testing Approach for the Next-Generation In-Car Network. - Florian Bartols; Till Steinbach; Franz Korf; Bettina Buth; Thomas C. Schmidt (RTNS, 2014)

Demo: Real-time Ethernet in-car backbones: First insights into an automotive prototype. - Till Steinbach; Kai Muller; Franz Korf; Rene Röllig (VNC, 2014)

Beware of the hidden! How cross-traffic affects quality assurances of competing real-time Ethernet standards for in-car communication. - Till Steinbach; Hyung-Taek Lim; Franz Korf; Thomas C. Schmidt; Daniel Herrscher; Adam Wolisz (LCN, 2015)

Efficient automotive grid maps using a sensor ray based refinement process. - Ruben Jungnickel; Michael Kohler; Franz Korf (Intelligent Vehicles Symposium, 2016)

Extending OMNeT++ Towards a Platform for the Design of Future In-Vehicle Network Architectures. - Till Steinbach; Philipp Meyer; Stefan Buschmann; Franz Korf (CoRR, 2016)

Migration from SERCOS III to TSN - Simulation Based Comparison of TDMA and CBS Transportation. - Sebastian Szancer; Philipp Meyer; Franz Korf (OMNeT++, 2018)

Simulation of Mixed Critical In-vehicular Networks. - Philipp Meyer; Franz Korf; Till Steinbach; Thomas C. Schmidt (CoRR, 2018)

A QoS Aware Approach to Service-Oriented Communication in Future Automotive Networks. - Mehmet Çakir; Timo Häckel; Sandra Reider; Philipp Meyer; Franz Korf; Thomas C. Schmidt (VNC, 2019)

Software-Defined Networks Supporting Time-Sensitive In-Vehicular Communication. - Timo Häckel; Philipp Meyer; Franz Korf; Thomas C. Schmidt (VTC Spring, 2019)

DoS Protection through Credit Based Metering - Simulation Based Evaluation for Time-Sensitive Networking in Cars. - Philipp Meyer; Timo Häckel; Franz Korf; Thomas C. Schmidt (CoRR, 2019)

SDN4CoRE: A Simulation Model for Software-Defined Networking for Communication over Real-Time Ethernet. - Timo Häckel; Philipp Meyer; Franz Korf; Thomas C. Schmidt (CoRR, 2019)

Integration realer Angriffe in simulierte Echtzeit-Ethernet-Netzwerke. - Sandra Reider; Philipp Meyer; Timo Häckel; Franz Korf; Thomas C. Schmidt (Echtzeit, 2020)

Strategies for Integrating Control Flows in Software-Defined In-Vehicle Networks and Their Impact on Network Security. - Timo Häckel; Anja Schmidt; Philipp Meyer; Franz Korf; Thomas C. Schmidt (VNC, 2020)

Demo: A Security Infrastructure for Vehicular Information Using SDN, Intrusion Detection, and a Defense Center in the Cloud. - Philipp Meyer; Timo Häckel; Falk Langer; Lukas Stahlbock; Jochen Decker; Sebastian A. Eckhardt; Franz Korf; Thomas C. Schmidt; Fabian Schüppel (VNC, 2020)

Requirements Analysis and Performance Evaluation of SDN Controllers for Automotive Use Cases. - Randolf Rotermund; Timo Häckel; Philipp Meyer; Franz Korf; Thomas C. Schmidt (VNC, 2020)

Network Anomaly Detection in Cars based on Time-Sensitive Ingress Control. - Philipp Meyer; Timo Häckel; Franz Korf; Thomas C. Schmidt (VTC Fall, 2020)

Strategies for Integrating Controls Flows in Software-Defined In-Vehicle Networks and Their Impact on Network Security. - Timo Häckel; Anja Schmidt; Philipp Meyer; Franz Korf; Thomas C. Schmidt (CoRR, 2020)

Simulation-based Evaluation of a Synchronous Transaction Model for Time-Sensitive Software-Defined Networks. - Tobias Haugg; Mohammad Fazel Soltani; Timo Häckel; Philipp Meyer; Franz Korf; Thomas C. Schmidt (CoRR, 2021)

Authenticated and Secure Automotive Service Discovery with DNSSEC and DANE. - Mehmet Mueller; Timo Häckel; Philipp Meyer; Franz Korf; Thomas C. Schmidt (VNC, 2023)

Dynamic Service-Orientation for Software-Defined In-Vehicle Networks. - Timo Häckel; Philipp Meyer; Mehmet Mueller; Jan Schmitt-Solbrig; Franz Korf; Thomas C. Schmidt (VTC2023-Spring, 2023)

A Multilayered Security Infrastructure for Connected Vehicles - First Lessons from the Field. - Timo Häckel; Philipp Meyer; Lukas Stahlbock; Falk Langer; Sebastian A. Eckhardt; Franz Korf; Thomas C. Schmidt (CoRR, 2023)

Secure Time-Sensitive Software-Defined Networking in Vehicles. - Timo Häckel; Philipp Meyer; Franz Korf; Thomas C. Schmidt (IEEE Trans. Veh. Technol., 2023)

A Framework for the Systematic Assessment of Anomaly Detectors in Time-Sensitive Automotive Networks. - Philipp Meyer; Timo Häckel; Teresa Lübeck; Franz Korf; Thomas C. Schmidt (VNC, 2024)

Network anomaly detection in cars: A case for time-sensitive stream filtering and policing. - Philipp Meyer; Timo Häckel; Sandra Reider; Franz Korf; Thomas C. Schmidt (Comput. Networks, 2024)

Asynchronous Traffic Shaping and Redundancy: Avoiding Unbounded Latencies in In-Car Networks. - Teresa Lübeck; Philipp Meyer; Timo Häckel; Franz Korf; Thomas C. Schmidt (VNC, 2025)

Negotiating Strict Latency Limits for Dynamic Real-Time Services in Vehicular Time-Sensitive Networks. - Timo Häckel; Lisa Maile; Philipp Meyer; Franz Korf; Thomas C. Schmidt (CoRR, 2025)