Verifying critical cyber-physical systems after deployment by O'Halloran, C

Automated verification of code automatically generated from Simulink (R) by O'Halloran, C

From Control Law Diagrams to Ada via Circus by Cavalcanti, A, Clayton, P, O'Halloran, C

From control law diagrams to Ada via Circus by Cavalcanti, A, Clayton, P, O'Halloran, C

Space heating flexibility potential in British homes by Halloran, C, McCulloch, M, Lizana, J

Test-data generation for control coverage by proof by Cavalcanti, A, King, S, O'Halloran, C, Woodcock, J

Test−data Generation for Control Coverage by Proof by Cavalcanti, A, King, S, O'Halloran, C, Woodcock, J

A super industrial application of PSGraph by Lin, Y, Grov, G, O'Halloran, C, G, P

Data-based, high spatiotemporal resolution heat pump demand for power system planning by Halloran, C, Lizana, J, Fele, F, McCulloch, M

GeoH2 model: geospatial cost optimization of green hydrogen production including storage and transportation by Halloran, C, Leonard, A, Salmon, N, Müller, L, Hirmer, S

Integrated post-occupancy evaluation and intervention that achieve real-world zero-carbon buildings by Lizana, J, Wheeler, S, Azizi, E, Halloran, C, Wheeler, J, Wallom, DCH, McCulloch, M

Periampullary Cancer ESPAC-3(v2) trial: a Randomised Controlled Phase III Trial of Adjuvant Chemotherapy Versus Observation in Patients With Periampullary Adenocarcinomas of the He... by Neoptolemos, J, Moore, M, Cox, T, Valle, J, Palmer, D, Mcdonald, A, Carter, R, Tebbutt, N, Dervenis, C, Smith, D, Glimelius, B, Coxon, F, Lacaine, F, Middleton, M, Ghaneh, P, Bassi, C, Halloran, C, Olah, A, Rawcliffe, C, Buechler, M

Effect of adjuvant chemotherapy with fluorouracil plus folinic acid or gemcitabine vs observation on survival in patients with resected periampullary adenocarcinoma: the ESPAC-3 pe... by Neoptolemos, J, Moore, M, Cox, T, Valle, J, Palmer, D, McDonald, A, Carter, R, Tebbutt, N, Dervenis, C, Smith, D, Glimelius, B, Charnley, R, Lacaine, F, Scarfe, A, Middleton, MR, Anthoney, A, Ghaneh, P, Halloran, C, Lerch, M, Oláh, A, Rawcliffe, C, Verbeke, C, Campbell, F, Büchler, M

Selected 'Starter kit' energy system modelling data for selected countries in Africa, East Asia, and South America (#CCG, 2021) by Allington, L, Cannone, C, Pappis, I, Cervantes Barron, K, Usher, W, Pye, S, Brown, E, Howells, M, Zachau Walker, M, Ahsan, A, Charbonnier, F, Halloran, C, Hirmer, SA, Cronin, J, Taliotis, C, Sundin, C, Sridharan, V, Ramos, E, Brinkerink, M, Deane, P, Gritsevskyi, A, Moura, G, Rouget, A, Wogan, D, Barcelona, E, Niet, T, Rogner, H, Bock, F, Quirós-Tortós, J, Angulo-Paniagua, J, Krishnamurthy, S, Harrison, J, To, LS