Thomas Santen

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