Daniel Lüdtke
Orcid: 0000-0002-6758-1562
According to our database1,
Daniel Lüdtke
authored at least 18 papers
between 2006 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Viability of Rust for Avionics Software Development - Current status and way forward.
Proceedings of the Software Engineering 2025 Companion Proceedings, 2025
2024
CoRR, 2024
Proceedings of the Architecture of Computing Systems - 37th International Conference, 2024
2023
DEL: Dynamic Symbolic Execution-based Lifter for Enhanced Low-Level Intermediate Representation.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
2022
Proceedings of the 20th International Workshop on Worst-Case Execution Time Analysis, 2022
2020
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020
2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
2016
A Component-Based Middleware for a Reliable Distributed and Reconfigurable Spacecraft Onboard Computer.
Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016
A DTMC Model for Performance Evaluation of Irregular Interconnection Networks with Asymmetric Spatial Traffic Distributions.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016
2014
Proceedings of the Modeling and Simulation-Based Systems Engineering Handbook., 2014
2012
Collaborative Development and Cataloging of Simulation and Calculation Models for Space Systems.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012
2011
Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011
2009
Comput. Networks, 2009
An Application-Optimized Network on Chip Platform.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009
2008
Chip Multiprocessor Traffic Models Providing Consistent Multicast and Spatial Distributions.
Simul., 2008
2007
Lossless static vs. dynamic reconfiguration of interconnection networks in parallel and distributed computer systems.
Proceedings of the 2007 Summer Computer Simulation Conference, 2007
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007
2006
Investigating dynamic reconfiguration of network architectures with CINSim.
Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006