default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Santen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2000
[b1]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
- 2010
- [j4]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]Thomas Santen:
Preservation of probabilistic information flow under refinement. Inf. Comput. 206(2-4): 213-249 (2008) - [j2]Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifert:
Testing Against Requirements Using UML Environment Models. Softwaretechnik-Trends 28(3) (2008) - 1997
- [j1]Sabine Dick, Thomas Santen:
Searching for a Global Search Algorithm. Autom. Softw. Eng. 4(1): 7-31 (1997)
Conference and Workshop Papers
- 2023
- [c36]Thomas Santen:
Debugging Frame Conditions. Applicable Formal Methods for Safe Industrial Products 2023: 320-332 - 2022
- [c35]Thomas Santen:
On the Pragmatics of Moving from System Models to Program Contracts. ISoLA (1) 2022: 124-138 - 2014
- [c34]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]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]Thomas Santen:
Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme. Software Engineering 2012: 17 - 2010
- [c31]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]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]Dirk Leinenbach, Thomas Santen:
Verifying the Microsoft Hyper-V Hypervisor with VCC. FM 2009: 806-809 - [c28]Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte:
VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430 - [c27]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]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]Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen:
Using UML Environment Models for Test Case Generation. Software Engineering (Workshops) 2008: 399-406 - 2006
- [c24]Thomas Santen:
A Formal Framework for Confidentiality-Preserving Refinement. ESORICS 2006: 225-242 - [c23]Thomas Santen:
Stepwise Development of Secure Systems. SAFECOMP 2006: 142-155 - [c22]Thomas Santen, Dirk Seifert:
TEAGER - Test Automation for UML State Machines. Software Engineering 2006: 73-84 - [c21]Seda F. Gürses, Thomas Santen:
Contextualizing Security Goals: A Method for Multilateral Security Requirements Elicitation. Sicherheit 2006: 42-53 - 2005
- [c20]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]Thomas Santen:
Probabilistic Confidentiality Properties based on Indistinguishability. Sicherheit 2005: 113-124 - 2004
- [c18]Felix C. Freiling, Thomas Santen:
On the Composition of Compositional Reasoning. Architecting Systems with Trustworthy Components 2004: 137-151 - 2003
- [c17]Dirk Seifert, Steffen Helke, Thomas Santen:
Test Case Generation for UML Statecharts. Ershov Memorial Conference 2003: 462-468 - 2002
- [c16]Thomas Santen, Maritta Heisel, Andreas Pfitzmann:
Confidentiality-Preserving Refinement is Compositional - Sometimes. ESORICS 2002: 194-211 - [c15]Maritta Heisel, Thomas Santen, Jeanine Souquières:
Toward a Formal Model of Software Components. ICFEM 2002: 57-68 - [c14]Graeme Smith, Florian Kammüller, Thomas Santen:
Encoding Object-Z in Isabelle/HOL. ZB 2002: 82-99 - 2001
- [c13]Maritta Heisel, Andreas Pfitzmann, Thomas Santen:
Confidentiality-Preserving Refinement. CSFW 2001: 295-306 - [c12]Steffen Helke, Thomas Santen:
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. FME 2001: 20-42 - 2000
- [c11]Eric Meyer, Thomas Santen:
Behavioral Conformance Verification in an Integrated Approach Using UML and B. IFM 2000: 358-379 - 1999
- [c10]Thomas Santen:
Isomorphisms - A Link Between the Shallow and the Deep. TPHOLs 1999: 37-54 - 1998
- [c9]Kirsten Winter, Thomas Santen, Maritta Heisel:
An Agenda for Specifying Software Components with Complex Data Models. SAFECOMP 1998: 16-31 - [c8]Thomas Santen:
On the Semantic Relation of Z and HOL. ZUM 1998: 96-115 - 1997
- [c7]Thomas Santen:
A Theory of Structured Model-Based Specifications in Isabelle/HOL. TPHOLs 1997: 243-258 - [c6]Steffen Helke, Thomas Neustupny, Thomas Santen:
Automating Test Case Generation from Z Specifications with Isabelle. ZUM 1997: 52-71 - 1996
- [c5]Kolyang, Thomas Santen, Burkhart Wolff:
Correct and User-Friendly Implementations of Transformation Systems. FME 1996: 629-648 - [c4]Kolyang, Thomas Santen, Burkhart Wolff:
A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs 1996: 283-298 - 1995
- [c3]Maritta Heisel, Thomas Santen, Dominik Zimmermann:
Tool Support for Formal Software Development: A Generic Architecture. ESEC 1995: 272-293 - [c2]Sabine Dick, Thomas Santen:
Searching for a Global Algorithm. KBSE 1995: 52-59 - 1993
- [c1]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
- 2021
- [p2]Jim Woodcock, Janet Barnes, Rod Chapman, Simon Foster, Thomas Santen:
Verification in the Grand Challenge. Theories of Programming 2021: 125-156 - 1995
- [p1]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
- 2000
- [e1]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
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
