PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Morse, Jeremy"

Author of the publication

copydeleteadd this publication to your clipboard
On the infeasibility of analysing worst-case dynamic energy.

, , and . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jeremy Nuzzo University of Stuttgart

 

Other publications of authors with the same name

Model checking LTL properties over ANSI-C programs with bounded traces., , , and . Software and Systems Modeling, 14 (1): 65-81 (2015)ENTRA: Whole-Systems Energy Transparency., , , , , , , , , and 7 other author(s). CoRR, (2016)On the infeasibility of analysing worst-case dynamic energy., , and . CoRR, (2016)Applying symbolic bounded model checking to the 2012 RERS greybox challenge., , , and . STTT, 16 (5): 519-529 (2014)Measuring the impact of input data on energy consumption of software.. CoRR, (2014)Handling Unbounded Loops with ESBMC 1.20 - (Competition Contribution)., , , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 619-622. Springer, (2013)ESBMC 1.22 - (Competition Contribution)., , , , and . TACAS, volume 8413 of Lecture Notes in Computer Science, page 405-407. Springer, (2014)Context-Bounded Model Checking of LTL Properties for ANSI-C Software., , , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 302-317. Springer, (2011)Data dependent energy modelling: A worst case perspective., , , and . CoRR, (2015)A formal approach to analysing requirements conformance in adaptive systems., , , , and . CoRR, (2016)