Jeremy Morse

19 papers A* 1A 3B 2C 2Journal 10
YearRankTypeTitle / Venue / Authors
2018 A* conf
ESBMC 5.0: an industrial-strength C model checker.
ASE
Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
2018 J jnl
On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing.
ACM Trans. Embed. Comput. Syst.
Jeremy Morse, Steve Kerrison, Kerstin Eder
2017 B conf
A fuzzy approach to qualification in design exploration for autonomous robots and systems.
FUZZ-IEEE
Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards
2017 C conf
Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis.
SCOPES
James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
2016 J jnl
A formal approach to analysing requirements conformance in adaptive systems.
CoRR
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder
2016 J jnl
ENTRA: Whole-Systems Energy Transparency.
CoRR
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
2016 J jnl
ENTRA: Whole-systems energy transparency.
Microprocess. Microsystems
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
2016 J jnl
On the infeasibility of analysing worst-case dynamic energy.
CoRR
Jeremy Morse, Steve Kerrison, Kerstin Eder
2016 J jnl
Towards the Specification of Adaptive Robotic Systems.
CoRR
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder
2015 J jnl
Data dependent energy modelling: A worst case perspective.
CoRR
James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
2015 — —
Expressive and efficient bounded model checking of concurrent software.
Jeremy Morse
2015 J jnl
Model checking LTL properties over ANSI-C programs with bounded traces.
Softw. Syst. Model.
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2015 C conf
Static analysis of energy consumption for LLVM IR programs.
SCOPES
Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder
2014 J jnl
Applying symbolic bounded model checking to the 2012 RERS greybox challenge.
Int. J. Softw. Tools Technol. Transf.
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2014 A conf
ESBMC 1.22 - (Competition Contribution).
TACAS
Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2014 J jnl
Measuring the impact of input data on energy consumption of software.
CoRR
Jeremy Morse
2013 A conf
Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution).
TACAS
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer
2012 A conf
Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution).
TACAS
Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer
2011 B conf
Context-Bounded Model Checking of LTL Properties for ANSI-C Software.
SEFM
Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer