HOME /

Publications

Search
Author Title Type Year(Asc)
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.
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.