| 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 | 63 | 2014 |
| 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 | 58 | 2015 |
| 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 | 57 | 2012 |
| 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 | 48 | 2013 |
| 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 | 33 | 2012 |
| Data dependent energy modelling for worst case energy consumption analysis J Pallister, S Kerrison, J Morse, K Eder arXiv preprint arXiv:1505.03374, 2015 | 18 | 2015 |
| 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 | 18 | 2011 |
| Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis J Pallister, S Kerrison, J Morse, K Eder | 18* | |
| On the infeasibility of analysing worst-case dynamic energy J Morse, S Kerrison, K Eder arXiv preprint arXiv:1603.02580, 2016 | 14 | 2016 |
| Data dependent energy modelling: A worst case perspective J Pallister, S Kerrison, J Morse, K Eder arXiv preprint arXiv:1505.03374, 2015 | 14 | 2015 |
| On the limitations of analysing worst-case dynamic energy of processing J Morse, S Kerrison, K Eder CoRR, vol. abs/1603.02580, 2016 | 13 | 2016 |
| ENTRA: Whole-Systems Energy Transparency K Eder, JP Gallagher, P Lopez-Garcia, H Muller, Z Bankovic, K Georgiou, ... arXiv preprint arXiv:1606.04074, 2016 | 10 | 2016 |
| Expressive and efficient bounded model checking of concurrent software J Morse UNIVERSITY OF SOUTHAMPTON, 2015 | 8 | 2015 |
| 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 | 5 | 2016 |
| 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 | 3 | 2016 |
| 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 | 3 | 2016 |
| Towards the Specification of Adaptive Robotic Systems J Morse, D Araiza-Illan, J Lawry, K Eder arXiv preprint arXiv:1603.01082, 2016 | 2 | 2016 |
| 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 | | |
Lucas CordeiroSenior Lecturer (Associate Professor), Dept of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
