Martin Toft

Learn More
Safe and tight worst-case execution times (WCETs) are important when scheduling hard real-time systems. This paper presents METAMOC, a path-based, modular method, based on model checking and static analysis, that determines safe and tight WCETs for programs running on platforms featuring caching and pipelining. The method works by constructing a UPPAAL(More)
Rats with implanted telemetry transponders were blood sampled by jugular puncture, periorbital puncture or tail vein puncture, or sampled by jugular puncture in carbon dioxide (CO2), isoflurane or without anaesthesia in a crossover design. Heart rate, blood pressure and body temperature were registered for three days after sampling. Initially blood pressure(More)
Whereas a significant role for intestinal microbiota in affecting the pathogenesis and progression of chronic hepatic diseases is well documented, the contribution of the intestinal flora to acute liver injury has not been extensively addressed. Elucidating the influence of the intestinal microbiota on acute liver inflammation would be important for better(More)
  • 1