On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers by Kwiatkowska, M, Mereacre, A, Paoletti, N

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers by Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A

Time−Bounded Verification of CTMCs Against Real−Time Specifications by Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A

Verification of Linear Duration Properties over Continuous−Time Markov Chains by Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A

Quantitative Verification of Implantable Cardiac Pacemakers by Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems by Tkachev, I, Abate, A, Mereacre, A, Katoen, J

Efficient CTMC Model Checking of Linear Real−Time Objectives by Barbot, B, Chen, T, Han, T, Katoen, J, Mereacre, A

Building power consumption models from executable timed I/O automata specifications by Kwiatkowska, M, Barbot, B, Mereacre, A, Paoletti, N

Verification of Linear Duration Properties over Continuous Time Markov Chains by Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A, ACM

Quantitative model-checking of controlled discrete-time Markov processes by Tkachev, I, Mereacre, A, Katoen, J, Abate, A

Synthesising Optimal Timing Delays for Timed I/O Automata by Diciolla, M, Kim, C, Kwiatkowska, M, Mereacre, A

SoK: How not to architect your next-generation TEE malware? by Kucuk, KA, Moyle, S, Martin, A, Mereacre, A, Allott, N

Formal Modelling and Validation of Rate−Adaptive Pacemakers by Kwiatkowska, M, Lea−Banks, H, Mereacre, A, Paoletti, N

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers by Barker, C, Kwiatkowska, M, Mereacre, A, Paoletti, N, Patanè, A