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)
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