Thomas Santen

Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert: Model-based energy optimization of automotive control systems. DATE 2013: 761-766

Thomas Santen: Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme. Software Engineering 2012: 17

Benjamin Fabian, Seda F. Gürses, Maritta Heisel, Thomas Santen, Holger Schmidt: A comparison of security requirements engineering methods. Requir. Eng. 15(1): 7-40 (2010)

Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen: Components, platforms and possibilities: towards generic automation for MDA. EMSOFT 2010: 39-48

Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55

Dirk Leinenbach, Thomas Santen: Verifying the Microsoft Hyper-V Hypervisor with VCC. FM 2009: 806-809

Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte: VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430

Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte: Specifying and Composing Non-functional Requirements in Model-Based Development. Software Composition 2009: 72-89

Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies: VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42

Thomas Santen: Preservation of probabilistic information flow under refinement. Inf. Comput. 206(2-4): 213-249 (2008)

Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifert: Testing Against Requirements Using UML Environment Models. Softwaretechnik-Trends 28(3) (2008)

Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen: Using UML Environment Models for Test Case Generation. Software Engineering (Workshops) 2008: 399-406

Thomas Santen: A Formal Framework for Confidentiality-Preserving Refinement. ESORICS 2006: 225-242

Thomas Santen: Stepwise Development of Secure Systems. SAFECOMP 2006: 142-155

Thomas Santen, Dirk Seifert: TEAGER - Test Automation for UML State Machines. Software Engineering 2006: 73-84

Seda F. Gürses, Thomas Santen: Contextualizing Security Goals: A Method for Multilateral Security Requirements Elicitation. Sicherheit 2006: 42-53

Seda F. Gürses, Jens H. Jahnke, Christina Obry, Adeniyi Onabajo, Thomas Santen, Morgan Price: Eliciting confidentiality requirements in practice. CASCON 2005: 101-116

Thomas Santen: Probabilistic Confidentiality Properties based on Indistinguishability. Sicherheit 2005: 113-124

Felix C. Freiling, Thomas Santen: On the Composition of Compositional Reasoning. Architecting Systems with Trustworthy Components 2004: 137-151

Dirk Seifert, Steffen Helke, Thomas Santen: Test Case Generation for UML Statecharts. Ershov Memorial Conference 2003: 462-468

Thomas Santen, Maritta Heisel, Andreas Pfitzmann: Confidentiality-Preserving Refinement is Compositional - Sometimes. ESORICS 2002: 194-211

Maritta Heisel, Thomas Santen, Jeanine Souquières: Toward a Formal Model of Software Components. ICFEM 2002: 57-68

Graeme Smith, Florian Kammüller, Thomas Santen: Encoding Object-Z in Isabelle/HOL. ZB 2002: 82-99

Maritta Heisel, Andreas Pfitzmann, Thomas Santen: Confidentiality-Preserving Refinement. CSFW 2001: 295-306

Steffen Helke, Thomas Santen: Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. FME 2001: 20-42

Eric Meyer, Thomas Santen: Behavioral Conformance Verification in an Integrated Approach Using UML and B. IFM 2000: 358-379

Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (Eds.): Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings. Lecture Notes in Computer Science 1945, Springer 2000, isbn 3-540-41196-8

Thomas Santen: Isomorphisms - A Link Between the Shallow and the Deep. TPHOLs 1999: 37-54

Kirsten Winter, Thomas Santen, Maritta Heisel: An Agenda for Specifying Software Components with Complex Data Models. SAFECOMP 1998: 16-31

Thomas Santen: On the Semantic Relation of Z and HOL. ZUM 1998: 96-115

Sabine Dick, Thomas Santen: Searching for a Global Search Algorithm. Autom. Softw. Eng. 4(1): 7-31 (1997)

Thomas Santen: A Theory of Structured Model-Based Specifications in Isabelle/HOL. TPHOLs 1997: 243-258

Steffen Helke, Thomas Neustupny, Thomas Santen: Automating Test Case Generation from Z Specifications with Isabelle. ZUM 1997: 52-71

Kolyang, Thomas Santen, Burkhart Wolff: Correct and User-Friendly Implementations of Transformation Systems. FME 1996: 629-648

Kolyang, Thomas Santen, Burkhart Wolff: A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs 1996: 283-298

Maritta Heisel, Thomas Santen, Dominik Zimmermann: Tool Support for Formal Software Development: A Generic Architecture. ESEC 1995: 272-293

Sabine Dick, Thomas Santen: Searching for a Global Algorithm. KBSE 1995: 52-59

Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer: Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book 1995: 223-238

Matthias Anlauff, Martin Beyer, Thomas Santen: Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). GI Jahrestagung 1993: 247-252