Author Info
Name
Affiliation
Papers
JEREMY MORSE
Electronics and Computer Science, University of Southampton, UK
16
Collaborators
Citations 
PageRank 
31
80
7.10
Referers 
Referees 
References 
156
377
247
Search Limit
100377
Title
Citations
PageRank
Year
On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing.00.342018
ESBMC 5.0: an industrial-strength C model checker.60.532018
A fuzzy approach to qualification in design exploration for autonomous robots and systems00.342017
Data dependent energy modelling for worst case energy consumption analysis30.392017
Towards the Specification of Adaptive Robotic Systems.00.342016
ENTRA: Whole-Systems Energy Transparency.40.422016
A formal approach to analysing requirements conformance in adaptive systems.00.342016
On the infeasibility of analysing worst-case dynamic energy.30.382016
Static analysis of energy consumption for LLVM IR programs180.672015
Data dependent energy modelling: A worst case perspective.50.402015
Model checking LTL properties over ANSI-C programs with bounded traces110.562015
Applying symbolic bounded model checking to the 2012 RERS greybox challenge30.382014
ESBMC 1.22 - (Competition Contribution).110.632014
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution).50.412013
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution).40.442012
Context-bounded model checking of LTL properties for ANSI-C software70.542011