@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},
}×

@unpublished{D2020,
title = {Debona},
author = {Christopher Brix and Thomas Noll},
type = {Preprint},
year = {2020},
url = { https://arxiv.org/abs/2006.09040},
}×

@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},
}×

@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},
}×

@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},
}×