• Publications
  • Influence
Measuring energy consumption for short code paths using RAPL
Measuring the energy consumption of software components is a major building block for generating models that allow for energy-aware scheduling, accounting and budgeting. Current measurementExpand
  • 175
  • 13
Flattening hierarchical scheduling
Recently, the application of virtual-machine technology to integrate real-time systems into a single host has received significant attention and caused controversy. Drawing two examples fromExpand
  • 55
  • 10
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
KeYmaera X is a theorem prover for differential dynamic logic ( Open image in new window ), a logic for specifying and verifying properties of hybrid systems. Reasoning about complicated hybridExpand
  • 133
  • 7
eBond: energy saving in heterogeneous R.A.I.N
Network energy is a significant, although not the largest, cost factor in medium to large scale server installations. On the other hand, most server installations work with redundant link andExpand
  • 20
  • 5
Has energy surpassed timeliness? Scheduling energy-constrained mixed-criticality systems
In the past, we have silently accepted that energy consumption in real-time and embedded systems is subordinate to time. That is, we have tried to reduce energy always under the constraint that allExpand
  • 31
  • 3
Avoiding timing channels in fixed-priority schedulers
A practically feasible modification to fixed-priority schedulers allows to avoid timing channels despite threads having access to precise clocks. This modification is rather simple: we compute atExpand
  • 25
  • 3
Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems
Semi-autonomous driver assists are already widely deployed and fully autonomous cars are progressively leaving the realm of laboratories. This evolution coexists with a progressive connectivity andExpand
  • 25
  • 2
Formally verified differential dynamic logic
We formalize the soundness theorem for differential dynamic logic, a logic for verifying hybrid systems. To increase confidence in the formalization, we present two versions: one in Isabelle/HOL andExpand
  • 36
  • 2
Reconfigurable nanowire transistors with multiple independent gates for efficient and programmable combinational circuits
We present MUX based programmable logic circuits built from newly proposed compact and efficient designs of combinational logic gate. These are enabled by reconfigurable Schottky barrier nanowireExpand
  • 25
  • 2
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
Our increasing dependence on complex and critical information infrastructures and the emerging threat of sophisticated attacks, ask for extended efforts to ensure the correctness and security ofExpand
  • 15
  • 2