Publications by Thomas Noll

2021
DOI [bibtex]
@conference{AMANDFT2021,
title = {A Modular Approach to Non-deterministic Dynamic Fault Trees},
author = {Sascha Müller and Adeline Jordon and Andreas Gerndt and Thomas Noll},
publisher = {Springer},
booktitle = {Programming and Software Engineering},
volume = {12852},
pages = {243-257},
type = {Conference Paper},
year = {2021},
doi = {10.1007/978-3-030-83903-1_16},
url = { https://publications.rwth-aachen.de/record/835216},
}×
[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.
DOI [bibtex]
@conference{ACCBCHRG2021,
title = {Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars},
author = {Ira Justus Fesefeldt and Christoph Matheja and Thomas Noll and Johannes Schulte},
publisher = {Springer},
booktitle = {LNCS},
volume = {12741},
pages = {283-293},
type = {Conference Paper},
year = {2021},
doi = {10.1007/978-3-030-78946-6_15},
url = { https://publications.rwth-aachen.de/record/820755},
}×
[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.
2020
DOI fulltext PDF [bibtex]
@article{SF2020,
title = {Synthesizing and optimizing FDIR recovery strategies from fault trees},
author = {Sascha Müller and Liana Mikaelyan and Andreas Gerndt and Thomas Noll},
publisher = {Elsevier Science},
journal = {Science of computer programming},
volume = {196},
pages = {pages 102478},
type = {Journal Article},
year = {2020},
doi = {10.1016/j.scico.2020.102478},
url = { https://publications.rwth-aachen.de/record/796082},
}×
[issue]
Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll. Synthesizing and optimizing FDIR recovery strategies from fault trees, Science of computer programming 196, pages 102478, Elsevier Science, 2020.
arXiv:2006.09040 [bibtex]
@unpublished{DDBNATBFARP2020,
title = {Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs},
author = {Christopher Jan-Steffen Brix and Thomas Noll},
pages = {12 Seiten},
type = {Preprint},
year = {2020},
url = { https://arxiv.org/abs/2006.09040},
}×
[issue]
Christopher Jan-Steffen Brix, Thomas Noll. Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs, 12 Seiten, 2020. https://arxiv.org/abs/2006.09040
Show all