• Publications
  • Influence
Impact of Community Structure on SAT Solver Performance
TLDR
In this paper, we provide evidence that the community structure of real-world SAT instances is correlated with the running time of CDCL SAT solvers. Expand
  • 57
  • 8
  • PDF
Time-Aware Instrumentation of Embedded Software
TLDR
In this work, we propose an instrumentation technique for applications with temporal constraints, specifically targeting background/foreground or cyclic executive systems. Expand
  • 44
  • 6
  • PDF
Transferring Performance Prediction Models Across Different Hardware Platforms
TLDR
We propose a technique for enhancing generality of performance models across different hardware environments using linear transformation and demonstrate its generality using three real-world software systems. Expand
  • 29
  • 6
  • PDF
Sampling-Based Runtime Verification
TLDR
In this paper, we introduce a time-triggered approach for runtime verification of sequential systems where the monitor is timetriggered. Expand
  • 46
  • 5
  • PDF
Compositional Feasibility Analysis of Conditional Real-Time Task Models
TLDR
In this work, we introduce a class of conditional task models and derive efficient schedulability analysis techniques for them. Expand
  • 24
  • 4
  • PDF
A dynamic scheduling approach to designing flexible safety-critical systems
TLDR
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. Expand
  • 25
  • 4
  • PDF
Anomaly Detection Using Inter-Arrival Curves for Real-Time Systems
TLDR
We propose inter-arrival curves as a novel analytic modelling technique for discrete event traces that can detect anomalies in the behaviour of real-time systems. Expand
  • 20
  • 3
  • PDF
Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques
TLDR
We introduce a time-triggered runtime verification method that can reduce the runtime overhead of a program under scrutiny at run time. Expand
  • 10
  • 3
  • PDF
Plug-and-play for medical devices: experiences from a case study.
Medical devices are pervasive throughout modern healthcare, but each device works on its own and in isolation. Interoperable medical devices would lead to clear benefits for the care provider and theExpand
  • 54
  • 2
  • PDF
RiTHM: a tool for enabling time-triggered runtime verification for C programs
We introduce the tool RiTHM (Runtime Time-triggered Heterogeneous Monitoring). RiTHM takes a C program under inspection and a set of LTL properties as input and generates an instrumented C programExpand
  • 41
  • 2
  • PDF