| 2022 | ISoLA | On the Pragmatics of Moving from System Models to Program Contracts. | Thomas Santen |
| 2013 | DATE | Model-based energy optimization of automotive control systems. | Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert |
| 2010 | EMSOFT | Components, platforms and possibilities: towards generic automation for MDA. | Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen |
| 2009 | FM | Verifying the Microsoft Hyper-V Hypervisor with VCC. | Dirk Leinenbach, Thomas Santen |
| 2009 | ICSE | VCC: Contract-based modular verification of concurrent C. | Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte |
| 2006 | ESORICS | A Formal Framework for Confidentiality-Preserving Refinement. | Thomas Santen |
| 2006 | SAFECOMP | Stepwise Development of Secure Systems. | Thomas Santen |
| 2002 | ESORICS | Confidentiality-Preserving Refinement is Compositional - Sometimes. | Thomas Santen, Maritta Heisel, Andreas Pfitzmann |
| 2002 | ICFEM | Toward a Formal Model of Software Components. | Maritta Heisel, Thomas Santen, Jeanine Souquires |
| 2001 | FM | Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. | Steffen Helke, Thomas Santen |
| 2000 | IFM | Behavioral Conformance Verification in an Integrated Approach Using UML and B. | Eric Meyer, Thomas Santen |
| 1998 | SAFECOMP | An Agenda for Specifying Software Components with Complex Data Models. | Kirsten Winter, Thomas Santen, Maritta Heisel |
| 1996 | FM | Correct and User-Friendly Implementations of Transformation Systems. | Kolyang, Thomas Santen, Burkhart Wolff |
| 1993 | GI | Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). | Matthias Anlauff, Martin Beyer, Thomas Santen |