Jeremy Morse

ORCID

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 12

Top Venues

CoRR

TACAS

SCOPES

ACM Trans. Embed. Comput. Syst.

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Jeremy Morse, Steve Kerrison, Kerstin Eder
On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing. ACM Trans. Embed. Comput. Syst. 17 (3) (2018)
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
ESBMC 5.0: an industrial-strength C model checker. ASE (2018)
Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards
A fuzzy approach to qualification in design exploration for autonomous robots and systems. FUZZ-IEEE (2017)
James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. SCOPES (2017)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder
Towards the Specification of Adaptive Robotic Systems. CoRR (2016)
Jeremy Morse, Steve Kerrison, Kerstin Eder
On the infeasibility of analysing worst-case dynamic energy. CoRR (2016)
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder
A formal approach to analysing requirements conformance in adaptive systems. CoRR (2016)
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
Static analysis of energy consumption for LLVM IR programs. SCOPES (2015)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Model checking LTL properties over ANSI-C programs with bounded traces. Softw. Syst. Model. 14 (1) (2015)
James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
Data dependent energy modelling: A worst case perspective. CoRR (2015)
Jeremy Morse
Measuring the impact of input data on energy consumption of software. CoRR (2014)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Applying symbolic bounded model checking to the 2012 RERS greybox challenge. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
ESBMC 1.22 - (Competition Contribution). TACAS (2014)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). TACAS (2013)
Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). TACAS (2012)
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
Context-Bounded Model Checking of LTL Properties for ANSI-C Software. SEFM (2011)

Jeremy Morse.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jeremy Morse