Jeremy Morse

According to our database, Jeremy Morse authored at least 18 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing.

Jeremy Morse, Steve Kerrison, Kerstin Eder

ACM Trans. Embed. Comput. Syst., 2018

ESBMC 5.0: an industrial-strength C model checker.

Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis.

James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder

Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017

A fuzzy approach to qualification in design exploration for autonomous robots and systems.

Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016

ENTRA: Whole-systems energy transparency.

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

Microprocess. Microsystems, 2016

On the infeasibility of analysing worst-case dynamic energy.

Jeremy Morse, Steve Kerrison, 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

Towards the Specification of Adaptive Robotic Systems.

Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder

CoRR, 2016

2015

Expressive and efficient bounded model checking of concurrent software.

Jeremy Morse

PhD thesis, 2015

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

Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Softw. Syst. Model., 2015

Data dependent energy modelling: A worst case perspective.

James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder

CoRR, 2015

Static analysis of energy consumption for LLVM IR programs.

Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder

Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015

2014

Applying symbolic bounded model checking to the 2012 RERS greybox challenge.

Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Int. J. Softw. Tools Technol. Transf., 2014

Measuring the impact of input data on energy consumption of software.

Jeremy Morse

CoRR, 2014

ESBMC 1.22 - (Competition Contribution).

Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution).

Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution).

Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

Context-Bounded Model Checking of LTL Properties for ANSI-C Software.

Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011