HOME /

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.