Publications
] , “System Call Logs with Natural Random Faults: Experimental Design and Application”, in Silicon Errors in Logic – System Effects (SELSE), Boston, USA, 2017.
, “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.
, “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.
, “Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications”, Towards a Logic for Inferring Properties of Event Streams, 2016.
, “Runtime Verification”, nfer – A Notation and System for Inferring Event Stream Abstractions, 2016.
