Jeremy Morse
Jeremy Morse
Verified email at bristol.ac.uk - Homepage
Title
Cited by
Cited by
Year
ESBMC 1.22
J Morse, M Ramalho, L Cordeiro, D Nicole, B Fischer
Tools and Algorithms for the Construction and Analysis of Systems, 405-407, 2014
612014
Static analysis of energy consumption for LLVM IR programs
N Grech, K Georgiou, J Pallister, S Kerrison, J Morse, K Eder
Proceedings of the 18th International Workshop on Software and Compilers for …, 2015
562015
Context-bounded model checking with ESBMC 1.17
L Cordeiro, J Morse, D Nicole, B Fischer
Tools and Algorithms for the Construction and Analysis of Systems, 534-537, 2012
522012
Handling unbounded loops with ESBMC 1.20
J Morse, L Cordeiro, D Nicole, B Fischer
Tools and Algorithms for the Construction and Analysis of Systems, 619-622, 2013
492013
Model checking LTL properties over ANSI-C programs with bounded traces
J Morse, L Cordeiro, N Denis, F Bernd
Software and Systems Modelling on SEFM'11, 2012
342012
Context-bounded model checking of LTL properties for ANSI-C software
J Morse, L Cordeiro, D Nicole, B Fischer
Software Engineering and Formal Methods, 302-317, 2011
202011
Data dependent energy modelling for worst case energy consumption analysis
J Pallister, S Kerrison, J Morse, K Eder
arXiv preprint arXiv:1505.03374, 2015
162015
Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis
J Pallister, S Kerrison, J Morse, K Eder
16*
On the infeasibility of analysing worst-case dynamic energy
J Morse, S Kerrison, K Eder
arXiv preprint arXiv:1603.02580, 2016
142016
Data dependent energy modelling: A worst case perspective
J Pallister, S Kerrison, J Morse, K Eder
arXiv preprint arXiv:1505.03374, 2015
132015
On the limitations of analysing worst-case dynamic energy of processing
J Morse, S Kerrison, K Eder
CoRR, vol. abs/1603.02580, 2016
112016
Expressive and efficient bounded model checking of concurrent software
J Morse
UNIVERSITY OF SOUTHAMPTON, 2015
112015
ENTRA: Whole-Systems Energy Transparency
K Eder, JP Gallagher, P Lopez-Garcia, H Muller, Z Bankovic, K Georgiou, ...
arXiv preprint arXiv:1606.04074, 2016
102016
Applying Symbolic Bounded Model Checking to the 2012 RERS Greybox Challenge
J Morse, L Cordeiro, D Nicole, B Fischerj
8*
Formal Specification and Analysis of Autonomous Systems under Partial Compliance
J Morse, D Araiza-Illan, J Lawry, A Richards, K Eder
arXiv preprint arXiv:1603.01082, 2016
52016
A Fuzzy Approach to Qualification in Design Exploration for Autonomous Robots and Systems
J Morse, D Araiza-Illan, J Lawry, A Richards, K Eder
arXiv preprint arXiv:1606.01077, 2016
32016
A formal approach to analysing requirements conformance in adaptive systems
J Morse, D Araiza-Illan, J Lawry, A Richards, K Eder
arXiv preprint arXiv:1606.01077, 2016
22016
Towards the Specification of Adaptive Robotic Systems
J Morse, D Araiza-Illan, J Lawry, K Eder
arXiv preprint arXiv:1603.01082, 2016
22016
Improved loop unwinding in ESBMC 2.1
M Ramalho, J Morse, L Cordeiro, D Nicole
ICT-ENERGY LETTERS Worst case energy modelling
J Pallister, S Kerrison, J Morse, K Eder
Power 224 (240), 256, 0
The system can't perform the operation now. Try again later.
Articles 1–20