Publications by Thomas Noll

2020
DOI [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{D2020,
title = {Debona},
author = {Christopher Brix and Thomas Noll},
type = {Preprint},
year = {2020},
url = { https://arxiv.org/abs/2006.09040},
}×
[issue]
Christopher Brix, Thomas Noll. Debona, 2020. https://arxiv.org/abs/2006.09040
2019
DOI [bibtex]
@article{I2019,
title = {IC3 software model checking},
author = {Tim Felix Lange and Martin R. Neuhäußer and Thomas Noll and Joost-Pieter Katoen},
publisher = {Springer},
journal = {International journal on software tools for technology transfer},
volume = {22(2)},
pages = {pages 135–161},
type = {Journal Article},
year = {2019},
doi = {10.1007/s10009-019-00547-x},
url = { https://publications.rwth-aachen.de/record/772976},
}×
[issue]
Tim Felix Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. IC3 software model checking, International journal on software tools for technology transfer 22 (2), pages 135–161, Springer, 2019.
DOI [bibtex]
@conference{SOFRSFT2019,
title = {Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees},
author = {Liana Mikaelyan and Sascha Müller and Andreas Gerndt and Thomas Noll},
publisher = {Springer},
booktitle = {Communications in computer and information science},
volume = {1008},
pages = {37-54},
type = {Conference Paper},
year = {2019},
doi = {10.1007/978-3-030-12988-0_3},
url = { https://publications.rwth-aachen.de/record/759164},
}×
[issue]
Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees, 6th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Volume 1008 of Communications in computer and information science, 37-54, Springer, 2019.
DOI fulltext PDF [bibtex]
@article{Q2019,
title = {Quantitative separation logic},
author = {Kevin Batz and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja and Thomas Noll},
publisher = {ACM},
journal = {Proceedings of the ACM on programming languages},
volume = {3(POPL)},
pages = {pages 34},
type = {Journal Article},
year = {2019},
doi = {10.1145/3290347},
url = { https://publications.rwth-aachen.de/record/753722},
}×
[issue]
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative separation logic, Proceedings of the ACM on programming languages 3 (POPL), pages 34, ACM, 2019.
Show all