The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jeremy Morse" ( http://dblp.L3S.de/Authors/Jeremy_Morse )

  Author page on DBLP  Author page in RDF  Community of Jeremy Morse in ASPL-2

Publication years (Num. hits)
2011-2016 (15) 2017-2018 (4)
Publication types (Num. hits)
article(10) inproceedings(8) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 20 publication records. Showing 19 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jeremy Morse, Steve Kerrison, Kerstin Eder On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer 0002, Denis A. Nicole ESBMC 5.0: an industrial-strength C model checker. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards A fuzzy approach to qualification in design exploration for autonomous robots and systems. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. Search on Bibsonomy SCOPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-systems energy transparency. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder A formal approach to analysing requirements conformance in adaptive systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-Systems Energy Transparency. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder Towards the Specification of Adaptive Robotic Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jeremy Morse, Steve Kerrison, Kerstin Eder On the infeasibility of analysing worst-case dynamic energy. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 Model checking LTL properties over ANSI-C programs with bounded traces. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder Data dependent energy modelling: A worst case perspective. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder Static analysis of energy consumption for LLVM IR programs. Search on Bibsonomy SCOPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jeremy Morse Expressive and efficient bounded model checking of concurrent software. Search on Bibsonomy 2015   RDF
1Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 Applying symbolic bounded model checking to the 2012 RERS greybox challenge. Search on Bibsonomy STTT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jeremy Morse Measuring the impact of input data on energy consumption of software. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jeremy Morse, Mikhail Ramalho, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 ESBMC 1.22 - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lucas C. Cordeiro, Jeremy Morse, Denis A. Nicole, Bernd Fischer 0002 Context-Bounded Model Checking with ESBMC 1.17 - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jeremy Morse, Lucas C. Cordeiro, Denis A. Nicole, Bernd Fischer 0002 Context-Bounded Model Checking of LTL Properties for ANSI-C Software. Search on Bibsonomy SEFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license