Christopher Steinmuller

Learn More
A possible mechanism of the induction of lung transplant rejection by cytomegalovirus (CMV) infection is the inflammatory upregulation of adhesion ligand molecules on transplant endothelia by the viral infection leading to leukocyte activation. To study this question a rat model of rat cytomegalovirus (RCMV) infection and acute lung transplant rejection was(More)
n 20 April 2010, the BP-owned, Transocean-operated Deepwater Horizon oildrilling rig exploded, killing 11 workers and injuring 17, and sending massive quantities of crude oil riddled with lethal toxins from the sea floor into the Gulf of Mexico. Geophysicists, Earth-space scientists, and policymakers continue to debate the cause of the explosion, how much(More)
Formal verification of the trusted computing base of a software system is essential for its deployment in mission-critical environments. Commercial off-the-shelf routers are nowadays being used for managing traffic in high-assurance networks. The specifications for the development of these routers are provided by RFCs that are only described informally in(More)
  • 1