2022 |
[bibtex]
[issue]
|
Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Philipp Berger. Einblick DZSF-Projekt „Identifikation von Kapazitätsengpässen“, Eisenbahntechnische Rundschau 5, pages 33-37, DVV Media Group, Eurailpress, 2022.
|
[bibtex]
[issue]
|
Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Jana Berger. Einblick DZSF-Projekt „Identifikation von Kapazitätsengpässen", Eisenbahntechnische Rundschau 71 (5), pages 33-37, DVV Media Group, Eurailpress, 2022.
|
[bibtex]
[issue]
|
Kevin Batz, Ira Justus Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll. Foundations for Entailment Checking in Quantitative Separation Logic, 31st European Symposium on Programming (ESOP 2022), Volume 13240 of LNCS, 57-84, Springer, 2022.
|
2021 |
[bibtex]
[issue]
|
Alexander Hoppen, Thomas Noll. A Debugger for Probabilistic Programs, International Conference on Software Engineering and Formal Methods (SEFM 2021), Volume 13085 of LNCS, 282-289, Springer, 2021.
|
[bibtex]
[issue]
|
Sascha Müller, Adeline Jordon, Andreas Gerndt, Thomas Noll. A Modular Approach to Non-deterministic Dynamic Fault Trees, 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2021), Volume 12852 of Programming and Software Engineering, 243-257, Springer, 2021.
|
[bibtex]
[issue]
|
Ira Justus Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte. Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars, 14th International Conference on Graph Transformation (ICGT21), Volume 12741 of LNCS, 283-293, Springer, 2021.
|
Show all |
---|