Daniel Lüdtke

According to our database, Daniel Lüdtke authored at least 15 papers between 2006 and 2023.

Collaborative distances:

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

2023

DEL: Dynamic Symbolic Execution-based Lifter for Enhanced Low-Level Intermediate Representation.

Hany Abdelmaksoud, Zain Alabedin Haj Hammadeh, Görschwin Fey, Daniel Lüdtke

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

DELOOP: Automatic Flow Facts Computation Using Dynamic Symbolic Execution.

Hazem Abaza, Zain Alabedin Haj Hammadeh, Daniel Lüdtke

Proceedings of the 20th International Workshop on Worst-Case Execution Time Analysis, 2022

2020

Model-Based Reconfiguration Planning for a Distributed On-board Computer.

Andrii Kovalov, Tobias Franz, Hannes Watolla, Vishav Vishav, Andreas Gerndt, Daniel Lüdtke

Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

2017

Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver.

Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Lüdtke

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

A Component-Based Middleware for a Reliable Distributed and Reconfigurable Spacecraft Onboard Computer.

Ting Peng, Kilian Hoflinger, Benjamin Weps, Olaf Maibaum, Kurt Schwenk, Daniel Lüdtke, Andreas Gerndt

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.

Daniel Lüdtke, Dietmar Tutsch

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016

2014

Collaborative modeling and simulation in spacecraft design.

Volker Schaus, Daniel Lüdtke, Philipp Martin Fischer, Andreas Gerndt

Proceedings of the Modeling and Simulation-Based Systems Engineering Handbook., 2014

2012

Collaborative Development and Cataloging of Simulation and Calculation Models for Space Systems.

Daniel Lüdtke, Jean-Sébastien Ardaens, Meenakshi Deshmukh, Rosa Paris Lopez, Andy Braukhane, Ivanka Pelivan, Stephan Theil, Andreas Gerndt

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

2011

Collaborative Development of a Space System Simulation Model.

Volker Schaus, Karsten Großekatthofer, Daniel Lüdtke, Andreas Gerndt

Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

2009

The modeling power of CINSim: Performance evaluation of interconnection networks.

Daniel Lüdtke, Dietmar Tutsch

Comput. Networks, 2009

An Application-Optimized Network on Chip Platform.

Daniel Lüdtke, Carsten Gremzow, Dietmar Tutsch

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.

Dietmar Tutsch, Daniel Lüdtke

Simul., 2008

2007

Lossless static vs. dynamic reconfiguration of interconnection networks in parallel and distributed computer systems.

Daniel Lüdtke, Dietmar Tutsch

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Quantile Estimation for Performance Measures in Network Simulations with CINSim.

Daniel Lüdtke, Dietmar Tutsch, Matthias Kühm

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006

Investigating dynamic reconfiguration of network architectures with CINSim.

Dietmar Tutsch, Daniel Lüdtke, Matthias Kühm

Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006