Publications

Search
Author Title Type [ Year(Desc)]
2016
S. Kauffman, Moreno, C. , and Fischmeister, S. , 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), in Static Transformation of Power Consumption for Software Attestation, 2016.
S. Kauffman, Joshi, R. , and Havelund, K. , Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, Towards a Logic for Inferring Properties of Event Streams, 2016.
C. Moreno, Kauffman, S. , and Fischmeister, S. , Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), in Efficient Program Tracing and Monitoring Through Power Consumption — With a Little Help from the Compiler, 2016.
S. Kauffman, Havelund, K. , and Joshi, R. , Runtime Verification, nfer – A Notation and System for Inferring Event Stream Abstractions, 2016.
2017
A. Narayan et al., System Call Logs with Natural Random Faults: Experimental Design and Application, in Silicon Errors in Logic – System Effects (SELSE), Boston, USA, 2017.