Thomas Santen

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 2

Top Venues

Applicable Formal Methods for Safe Industrial Products

MMB/DFT

DATE

ISoLA (1)

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Thomas Santen
Debugging Frame Conditions. Applicable Formal Methods for Safe Industrial Products (2023)
Thomas Santen
On the Pragmatics of Moving from System Models to Program Contracts. ISoLA (1) (2022)
Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu
Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics. MMB/DFT (2014)
Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert
Model-based energy optimization of automotive control systems. DATE (2013)
Thomas Santen
Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme. Software Engineering (2012)
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen
Components, platforms and possibilities: towards generic automation for MDA. EMSOFT (2010)
Benjamin Fabian, Seda F. Gürses, Maritta Heisel, Thomas Santen, Holger Schmidt
A comparison of security requirements engineering methods. Requir. Eng. 15 (1) (2010)
Dirk Leinenbach, Thomas Santen
Verifying the Microsoft Hyper-V Hypervisor with VCC. FM (2009)
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte
Specifying and Composing Non-functional Requirements in Model-Based Development. SC@TOOLS (2009)
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)
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
VCC: Contract-based modular verification of concurrent C. ICSE Companion (2009)
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)
Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen
Using UML Environment Models for Test Case Generation. Software Engineering (Workshops) (2008)
Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifert
Testing Against Requirements Using UML Environment Models. Softwaretechnik-Trends 28 (3) (2008)
Thomas Santen
Preservation of probabilistic information flow under refinement. Inf. Comput. 206 (2-4) (2008)
Thomas Santen
Stepwise Development of Secure Systems. SAFECOMP (2006)
Thomas Santen
A Formal Framework for Confidentiality-Preserving Refinement. ESORICS (2006)
Seda F. Gürses, Thomas Santen
Contextualizing Security Goals: A Method for Multilateral Security Requirements Elicitation. Sicherheit (2006)
Thomas Santen, Dirk Seifert
TEAGER - Test Automation for UML State Machines. Software Engineering (2006)
Seda F. Gürses, Jens H. Jahnke, Christina Obry, Adeniyi Onabajo, Thomas Santen, Morgan Price
Eliciting confidentiality requirements in practice. CASCON (2005)
Thomas Santen
Probabilistic Confidentiality Properties based on Indistinguishability. Sicherheit (2005)
Felix C. Freiling, Thomas Santen
On the Composition of Compositional Reasoning. Architecting Systems with Trustworthy Components (2004)
Dirk Seifert, Steffen Helke, Thomas Santen
Test Case Generation for UML Statecharts. Ershov Memorial Conference (2003)
Maritta Heisel, Thomas Santen, Jeanine Souquières
Toward a Formal Model of Software Components. ICFEM (2002)
Graeme Smith, Florian Kammüller, Thomas Santen
Encoding Object-Z in Isabelle/HOL. ZB (2002)
Thomas Santen, Maritta Heisel, Andreas Pfitzmann
Confidentiality-Preserving Refinement is Compositional - Sometimes. ESORICS (2002)
Steffen Helke, Thomas Santen
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. FME (2001)
Maritta Heisel, Andreas Pfitzmann, Thomas Santen
Confidentiality-Preserving Refinement. CSFW (2001)
Eric Meyer, Thomas Santen
Behavioral Conformance Verification in an Integrated Approach Using UML and B. IFM (2000)
Thomas Santen
Isomorphisms - A Link Between the Shallow and the Deep. TPHOLs (1999)
Thomas Santen
On the Semantic Relation of Z and HOL. ZUM (1998)
Kirsten Winter, Thomas Santen, Maritta Heisel
An Agenda for Specifying Software Components with Complex Data Models. SAFECOMP (1998)
Steffen Helke, Thomas Neustupny, Thomas Santen
Automating Test Case Generation from Z Specifications with Isabelle. ZUM (1997)
Sabine Dick, Thomas Santen
Searching for a Global Search Algorithm. Autom. Softw. Eng. 4 (1) (1997)
Thomas Santen
A Theory of Structured Model-Based Specifications in Isabelle/HOL. TPHOLs (1997)
Kolyang, Thomas Santen, Burkhart Wolff
Correct and User-Friendly Implementations of Transformation Systems. FME (1996)
Kolyang, Thomas Santen, Burkhart Wolff
A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs (1996)
Sabine Dick, Thomas Santen
Searching for a Global Algorithm. KBSE (1995)
Maritta Heisel, Thomas Santen, Dominik Zimmermann
Tool Support for Formal Software Development: A Generic Architecture. ESEC (1995)
Matthias Anlauff, Martin Beyer, Thomas Santen
Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). GI Jahrestagung (1993)

Thomas Santen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Santen