Jeremy Morse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2011–2017
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SCOPES | Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. | James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder |
| 2015 | SCOPES | Static analysis of energy consumption for LLVM IR programs. | Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder |
| 2014 | TACAS | ESBMC 1.22 - (Competition Contribution). | Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2013 | TACAS | Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |
| 2012 | TACAS | Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). | Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer |
| 2011 | SEFM | Context-Bounded Model Checking of LTL Properties for ANSI-C Software. | Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer |