Thomas Santen

According to our database, Thomas Santen authored at least 43 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Debugging Frame Conditions.

Thomas Santen

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2022

On the Pragmatics of Moving from System Models to Program Contracts.

Thomas Santen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2021

Verification in the Grand Challenge.

Jim Woodcock, Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2014

Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics.

Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

2013

Model-based energy optimization of automotive control systems.

Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme.

Thomas Santen

Proceedings of the Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

2010

A comparison of security requirements engineering methods.

Benjamin Fabian, Seda F. Gürses, Maritta Heisel, Thomas Santen, Holger Schmidt

Requir. Eng., 2010

Components, platforms and possibilities: towards generic automation for MDA.

Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen

Proceedings of the 10th International conference on Embedded software, 2010

2009

VCC: A Practical System for Verifying Concurrent C.

Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Specifying and Composing Non-functional Requirements in Model-Based Development.

Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj S. Bjørner, Wolfram Schulte

Proceedings of the Software Composition - 8th International Conference, 2009

VCC: Contract-based modular verification of concurrent C.

Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte

Proceedings of the 31st International Conference on Software Engineering, 2009

Verifying the Microsoft Hyper-V Hypervisor with VCC.

Dirk Leinenbach, Thomas Santen

Proceedings of the FM 2009: Formal Methods, 2009

Invariants, Modularity, and Rights.

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

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Testing Against Requirements Using UML Environment Models.

Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifert

Softwaretechnik-Trends, 2008

Preservation of probabilistic information flow under refinement.

Thomas Santen

Inf. Comput., 2008

Using UML Environment Models for Test Case Generation.

Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen

Proceedings of the Software Engineering 2008, 2008

2006

Contextualizing Security Goals: A Method for Multilateral Security Requirements Elicitation.

Seda F. Gürses, Thomas Santen

Proceedings of the Sicherheit 2006: Sicherheit, 2006

TEAGER - Test Automation for UML State Machines.

Thomas Santen, Dirk Seifert

Proceedings of the Software Engineering 2006, 2006

Stepwise Development of Secure Systems.

Thomas Santen

Proceedings of the Computer Safety, 2006

A Formal Framework for Confidentiality-Preserving Refinement.

Thomas Santen

Proceedings of the Computer Security, 2006

2005

Probabilistic Confidentiality Properties based on Indistinguishability.

Thomas Santen

Proceedings of the Sicherheit 2005: Sicherheit, 2005

Eliciting confidentiality requirements in practice.

Seda F. Gürses, Jens H. Jahnke, Christina Obry, Adeniyi Onabajo, Thomas Santen, Morgan Price

Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative Research, 2005

2004

On the Composition of Compositional Reasoning.

Felix C. Freiling, Thomas Santen

Proceedings of the Architecting Systems with Trustworthy Components, 2004

2003

Test Case Generation for UML Statecharts.

Dirk Seifert, Steffen Helke, Thomas Santen

Proceedings of the Perspectives of Systems Informatics, 2003

2002

Encoding Object-Z in Isabelle/HOL.

Graeme Smith, Florian Kammüller, Thomas Santen

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Toward a Formal Model of Software Components.

Maritta Heisel, Thomas Santen, Jeanine Souquières

Proceedings of the Formal Methods and Software Engineering, 2002

Confidentiality-Preserving Refinement is Compositional - Sometimes.

Thomas Santen, Maritta Heisel, Andreas Pfitzmann

Proceedings of the Computer Security, 2002

2001

Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries.

Steffen Helke, Thomas Santen

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Confidentiality-Preserving Refinement.

Maritta Heisel, Andreas Pfitzmann, Thomas Santen

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

2000

A mechanized logical model of Z and object oriented specification.

Thomas Santen

PhD thesis, 2000

Behavioral Conformance Verification in an Integrated Approach Using UML and B.

Eric Meyer, Thomas Santen

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Isomorphisms - A Link Between the Shallow and the Deep.

Thomas Santen

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1998

On the Semantic Relation of Z and HOL.

Thomas Santen

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

An Agenda for Specifying Software Components with Complex Data Models.

Kirsten Winter, Thomas Santen, Maritta Heisel

Proceedings of the Computer Safety, 1998

1997

Searching for a Global Search Algorithm.

Sabine Dick, Thomas Santen

Autom. Softw. Eng., 1997

Automating Test Case Generation from Z Specifications with Isabelle.

Steffen Helke, Thomas Neustupny, Thomas Santen

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

A Theory of Structured Model-Based Specifications in Isabelle/HOL.

Thomas Santen

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

1996

A Structure Preserving Encoding of Z in Isabelle/HOL.

Kolyang, Thomas Santen, Burkhart Wolff

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Correct and User-Friendly Implementations of Transformation Systems.

Kolyang, Thomas Santen, Burkhart Wolff

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Formalization of Algebraic Specification in the Development Language DEVA.

Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer

Proceedings of the KORSO, 1995

Searching for a Global Algorithm.

Sabine Dick, Thomas Santen

Proceedings of the Proceedings KBSE'95, 1995

Tool Support for Formal Software Development: A Generic Architecture.

Maritta Heisel, Thomas Santen, Dominik Zimmermann

Proceedings of the 5th European Software Engineering Conference, 1995

1993

Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract).

Matthias Anlauff, Martin Beyer, Thomas Santen

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993