Items where Author is "Hustadt, Ullrich"

Journal Article

Papacchini, Fabio and Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare (2022) Local is Best: Efficient Reductions to Modal Logic K. Journal of Automated Reasoning, 66 (4): 4. pp. 639-666. ISSN 0168-7433

Gainer, Paul and Linker, Sven and Dixon, Clare and Hustadt, Ullrich and Fisher, Michael (2020) Multi-scale verification of distributed synchronisation. Formal Methods in System Design, 55. 171–221.

Contribution in Book/Report/Proceedings

Nalon, Cláudia and Hustadt, Ullrich and Papacchini, Fabio and Dixon, Clare (2023) Buy One Get 14 Free : Evaluating Local Reductions for Modal Logic. In: Automated Deduction – CADE 29 :. Lecture Notes in Computer Science . Springer, Cham, pp. 382-400. ISBN 9783031384981

Papacchini, Fabio and Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare (2021) Efficient Local Reductions to Basic Modal Logic. In: Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 76-92. ISBN 9783030798758

Gainer, Paul and Linker, Sven and Dixon, Clare and Hustadt, Ullrich and Fisher, Michael (2018) The Power of Synchronisation : Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. In: Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 160-176. ISBN 9783030024499

Gainer, Paul and Linker, Sven and Dixon, Clare and Hustadt, Ullrich and Fisher, Michael (2017) Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. In: Quantitative Evaluation of Systems : Proceedings of the 14th International Conference on Quantitative Evaluation of Systems, QEST 2017. Lecture Notes in Computer Science . Springer, Cham, 224–239. ISBN 9783319663340