Generating web-based systems from specifications. - Tue Becher Jensen; Terkel K. Tolstrup; Michael R. Hansen (SAC, 2004)

Information Flow Analysis for VHDL. - Terkel K. Tolstrup; Flemming Nielson; Hanne Riis Nielson (PaCT, 2005)

Locality-Based Security Policies. - Terkel K. Tolstrup; Flemming Nielson; René Rydhof Hansen (Formal Aspects in Security and Trust, 2006)

Goal-Oriented Composition of Services. - Sebastian Nanz; Terkel K. Tolstrup (SC@ETAPS, 2008)