Concepedia

Jeremy Morse

JM

6

Publications

231

Citations

6

H-Index

2012

Active since

Affiliations

University of Bristol(Current)

University of Southampton

Universidade Federal do Amazonas

Stellenbosch University

Jeremy Morse is an author at University of Bristol specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisEnergy EfficiencyEnergy ManagementSoftware AnalysisSystems EngineeringComputer EngineeringPower-aware ComputingEnergy

Publications per year

2012–2018

6

Publications

6

ESBMC 5.0: an industrial-strength C model checker

Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse et al. · 2018 · 99 citations

Program Checking, Engineering, Hardware Verification Language +23

Static analysis of energy consumption for LLVM IR programs

Neville Grech, Kyriakos Georgiou, James Pallister et al. · 2015 · 58 citations · Full text

Engineering, Energy Efficiency, Computer Architecture +16

Model checking LTL properties over ANSI-C programs with bounded traces

Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole et al. · Software & Systems Modeling · 2013 · 24 citations

Formal Specification, Engineering, Runtime Verification +12

ENTRA: Whole-systems energy transparency

Kerstin Eder, John P. Gallagher, Pedro López-García et al. · Microprocessors and Microsystems · 2016 · 20 citations · Full text

Power-aware Computing, Engineering, Energy Analysis +8

Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis

James Pallister, Steve Kerrison, Jeremy Morse et al. · 2017 · 19 citations · Full text

Engineering, Energy Efficiency, Computer Architecture +27

Rows per page

1–5 of 6