default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas Santen

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2000
[b1]
- view
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/dnb/Santen00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Santen00
Thomas Santen:
A mechanized logical model of Z and object oriented specification. Technical University of Berlin, Germany, Shaker 2000, ISBN 978-3-8265-7650-8, pp. 1-383

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2010
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/re/FabianGHSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/FabianGHSS10
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)
2008
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Santen08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Santen08
Thomas Santen:
Preservation of probabilistic information flow under refinement. Inf. Comput. 206(2-4): 213-249 (2008)
[j2]
- view
  - electronic edition @ uni-siegen.de (archived)
  - no references & citations available
- export record
  dblp key:
  - journals/stt/HeiselHSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/HeiselHSS08
Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifert:
Testing Against Requirements Using UML Environment Models. Softwaretechnik-Trends 28(3) (2008)
1997
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/DickS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/DickS97
Sabine Dick, Thomas Santen:
Searching for a Global Search Algorithm. Autom. Softw. Eng. 4(1): 7-31 (1997)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Santen23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Santen23
Thomas Santen:
Debugging Frame Conditions. Applicable Formal Methods for Safe Industrial Products 2023: 320-332
2022
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Santen22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Santen22
Thomas Santen:
On the Pragmatics of Moving from System Models to Program Contracts. ISoLA (1) 2022: 124-138
2014
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/mmb/KatoenNSSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmb/KatoenNSSW14
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: 57-72
2013
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/date/KatoenNWSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/KatoenNWSS13
Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert:
Model-based energy optimization of automotive control systems. DATE 2013: 761-766
2012
[c32]
- view
- export record
  dblp key:
  - conf/se/Santen12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/Santen12
Thomas Santen:
Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme. Software Engineering 2012: 17
2010
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/JacksonKDSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/JacksonKDSS10
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Dirk Seifert, Thomas Santen:
Components, platforms and possibilities: towards generic automation for MDA. EMSOFT 2010: 39-48
2009
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09
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
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LeinenbachS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LeinenbachS09
Dirk Leinenbach, Thomas Santen:
Verifying the Microsoft Hyper-V Hypervisor with VCC. FM 2009: 806-809
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DahlweidMSTS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DahlweidMSTS09
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte:
VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/soco/JacksonSDSBS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soco/JacksonSDSBS09
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj S. Bjørner, Wolfram Schulte:
Specifying and Composing Non-functional Requirements in Model-Based Development. SC@TOOLS 2009: 72-89
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/CohenDHLMSST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/CohenDHLMSST09
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
2008
[c25]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/HeiselHSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/HeiselHSS08
Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen:
Using UML Environment Models for Test Case Generation. Software Engineering (Workshops) 2008: 399-406
2006
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/Santen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/Santen06
Thomas Santen:
A Formal Framework for Confidentiality-Preserving Refinement. ESORICS 2006: 225-242
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/Santen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/Santen06
Thomas Santen:
Stepwise Development of Secure Systems. SAFECOMP 2006: 142-155
[c22]
- view
- export record
  dblp key:
  - conf/se/SantenS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/SantenS06
Thomas Santen, Dirk Seifert:
TEAGER - Test Automation for UML State Machines. Software Engineering 2006: 73-84
[c21]
- view
- export record
  dblp key:
  - conf/sicherheit/GursesS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sicherheit/GursesS06
Seda F. Gürses, Thomas Santen:
Contextualizing Security Goals: A Method for Multilateral Security Requirements Elicitation. Sicherheit 2006: 42-53
2005
[c20]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/cascon/GursesJOOSP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/GursesJOOSP05
Seda F. Gürses, Jens H. Jahnke, Christina Obry, Adeniyi Onabajo, Thomas Santen, Morgan Price:
Eliciting confidentiality requirements in practice. CASCON 2005: 101-116
[c19]
- view
- export record
  dblp key:
  - conf/sicherheit/Santen05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sicherheit/Santen05
Thomas Santen:
Probabilistic Confidentiality Properties based on Indistinguishability. Sicherheit 2005: 113-124
2004
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/FreilingS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/FreilingS04
Felix C. Freiling, Thomas Santen:
On the Composition of Compositional Reasoning. Architecting Systems with Trustworthy Components 2004: 137-151
2003
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/SeifertHS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/SeifertHS03
Dirk Seifert, Steffen Helke, Thomas Santen:
Test Case Generation for UML Statecharts. Ershov Memorial Conference 2003: 462-468
2002
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/SantenHP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/SantenHP02
Thomas Santen, Maritta Heisel, Andreas Pfitzmann:
Confidentiality-Preserving Refinement is Compositional - Sometimes. ESORICS 2002: 194-211
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/HeiselSS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/HeiselSS02
Maritta Heisel, Thomas Santen, Jeanine Souquières:
Toward a Formal Model of Software Components. ICFEM 2002: 57-68
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/SmithKS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/SmithKS02
Graeme Smith, Florian Kammüller, Thomas Santen:
Encoding Object-Z in Isabelle/HOL. ZB 2002: 82-99
2001
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HeiselPS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HeiselPS01
Maritta Heisel, Andreas Pfitzmann, Thomas Santen:
Confidentiality-Preserving Refinement. CSFW 2001: 295-306
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HelkeS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HelkeS01
Steffen Helke, Thomas Santen:
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. FME 2001: 20-42
2000
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MeyerS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MeyerS00
Eric Meyer, Thomas Santen:
Behavioral Conformance Verification in an Integrated Approach Using UML and B. IFM 2000: 358-379
1999
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/Santen99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Santen99
Thomas Santen:
Isomorphisms - A Link Between the Shallow and the Deep. TPHOLs 1999: 37-54
1998
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/WinterSH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/WinterSH98
Kirsten Winter, Thomas Santen, Maritta Heisel:
An Agenda for Specifying Software Components with Complex Data Models. SAFECOMP 1998: 16-31
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/Santen98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/Santen98
Thomas Santen:
On the Semantic Relation of Z and HOL. ZUM 1998: 96-115
1997
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/Santen97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Santen97
Thomas Santen:
A Theory of Structured Model-Based Specifications in Isabelle/HOL. TPHOLs 1997: 243-258
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/HelkeNS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/HelkeNS97
Steffen Helke, Thomas Neustupny, Thomas Santen:
Automating Test Case Generation from Z Specifications with Isabelle. ZUM 1997: 52-71
1996
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KolyangSW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KolyangSW96
Kolyang, Thomas Santen, Burkhart Wolff:
Correct and User-Friendly Implementations of Transformation Systems. FME 1996: 629-648
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/KolyangSW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/KolyangSW96
Kolyang, Thomas Santen, Burkhart Wolff:
A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs 1996: 283-298
1995
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/HeiselSZ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/HeiselSZ95
Maritta Heisel, Thomas Santen, Dominik Zimmermann:
Tool Support for Formal Software Development: A Generic Architecture. ESEC 1995: 272-293
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/DickS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/DickS95
Sabine Dick, Thomas Santen:
Searching for a Global Algorithm. KBSE 1995: 52-59
1993
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/gi/AnlauffBS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/AnlauffBS93
Matthias Anlauff, Martin Beyer, Thomas Santen:
Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). GI Jahrestagung 1993: 247-252

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2021
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/mc/21/WoodcockBC0S21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mc/21/WoodcockBC0S21
Jim Woodcock, Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen:
Verification in the Grand Challenge. Theories of Programming 2021: 125-156
1995
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/korso/SantenKJB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/korso/SantenKJB95
Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer:
Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book 1995: 223-238

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2000
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/2000
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart:
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 [contents]

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.