Context-Bounded Model Checking of LTL Properties for ANSI-C Software. - Jeremy Morse; Lucas C. Cordeiro; Denis A. Nicole; Bernd Fischer 002 (SEFM, 2011)

Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). - Lucas C. Cordeiro; Jeremy Morse; Denis A. Nicole; Bernd Fischer 002 (TACAS, 2012)

Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). - Jeremy Morse; Lucas C. Cordeiro; Denis A. Nicole; Bernd Fischer 002 (TACAS, 2013)

ESBMC 1.22 - (Competition Contribution). - Jeremy Morse; Mikhail Ramalho; Lucas C. Cordeiro; Denis A. Nicole; Bernd Fischer 002 (TACAS, 2014)

Measuring the impact of input data on energy consumption of software. - Jeremy Morse (CoRR, 2014)

Applying symbolic bounded model checking to the 2012 RERS greybox challenge. - Jeremy Morse; Lucas C. Cordeiro; Denis A. Nicole; Bernd Fischer 002 (Int. J. Softw. Tools Technol. Transf., 2014)

Static analysis of energy consumption for LLVM IR programs. - Neville Grech; Kyriakos Georgiou; James Pallister; Steve Kerrison; Jeremy Morse; Kerstin Eder (SCOPES, 2015)

Data dependent energy modelling: A worst case perspective. - James Pallister; Steve Kerrison; Jeremy Morse; Kerstin Eder (CoRR, 2015)

Model checking LTL properties over ANSI-C programs with bounded traces. - Jeremy Morse; Lucas C. Cordeiro; Denis A. Nicole; Bernd Fischer 002 (Softw. Syst. Model., 2015)

Expressive and efficient bounded model checking of concurrent software. - Jeremy Morse (2015)

Towards the Specification of Adaptive Robotic Systems. - Jeremy Morse; Dejanira Araiza-Illan; Jonathan Lawry; Kerstin Eder (CoRR, 2016)

A formal approach to analysing requirements conformance in adaptive systems. - Jeremy Morse; Dejanira Araiza-Illan; Jonathan Lawry; Arthur Richards; Kerstin Eder (CoRR, 2016)

On the infeasibility of analysing worst-case dynamic energy. - Jeremy Morse; Steve Kerrison; Kerstin Eder (CoRR, 2016)

ENTRA: Whole-systems energy transparency. - Kerstin Eder; John P. Gallagher; Pedro López-García 001; Henk L. Muller; Zorana Bankovic; Kyriakos Georgiou; Rémy Haemmerlé; Manuel V. Hermenegildo; Bishoksan Kafle; Steve Kerrison; Maja H. Kirkeby; Maximiliano Klemen; et al. (Microprocess. Microsystems, 2016)

A fuzzy approach to qualification in design exploration for autonomous robots and systems. - Jeremy Morse; Dejanira Araiza-Illan; Kerstin Eder; Jonathan Lawry; Arthur Richards (FUZZ-IEEE, 2017)

Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. - James Pallister; Steve Kerrison; Jeremy Morse; Kerstin Eder (SCOPES, 2017)

ESBMC 5.0: an industrial-strength C model checker. - Mikhail Y. R. Gadelha; Felipe R. Monteiro; Jeremy Morse; Lucas C. Cordeiro; Bernd Fischer 002; Denis A. Nicole (ASE, 2018)

On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing. - Jeremy Morse; Steve Kerrison; Kerstin Eder (ACM Trans. Embed. Comput. Syst., 2018)