|
Search the dblp DataBase
Thomas Santen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Seda F. Gürses, Jens H. Jahnke, Christina Obry, Adeniyi Onabajo, Thomas Santen, Morgan Price
Eliciting confidentiality requirements in practice. [Citation Graph (0, 0)][DBLP] CASCON, 2005, pp:101-116 [Conf]
- Maritta Heisel, Andreas Pfitzmann, Thomas Santen
Confidentiality-Preserving Refinement. [Citation Graph (0, 0)][DBLP] CSFW, 2001, pp:295-306 [Conf]
- Felix C. Freiling, Thomas Santen
On the Composition of Compositional Reasoning. [Citation Graph (0, 0)][DBLP] Architecting Systems with Trustworthy Components, 2004, pp:137-151 [Conf]
- Dirk Seifert, Steffen Helke, Thomas Santen
Test Case Generation for UML Statecharts. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2003, pp:462-468 [Conf]
- Maritta Heisel, Thomas Santen, Dominik Zimmermann
Tool Support for Formal Software Development: A Generic Architecture. [Citation Graph (0, 0)][DBLP] ESEC, 1995, pp:272-293 [Conf]
- Thomas Santen
A Formal Framework for Confidentiality-Preserving Refinement. [Citation Graph (0, 0)][DBLP] ESORICS, 2006, pp:225-242 [Conf]
- Thomas Santen, Maritta Heisel, Andreas Pfitzmann
Confidentiality-Preserving Refinement is Compositional - Sometimes. [Citation Graph (0, 0)][DBLP] ESORICS, 2002, pp:194-211 [Conf]
- Steffen Helke, Thomas Santen
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. [Citation Graph (0, 0)][DBLP] FME, 2001, pp:20-42 [Conf]
- Kolyang, Thomas Santen, Burkhart Wolff
Correct and User-Friendly Implementations of Transformation Systems. [Citation Graph (0, 0)][DBLP] FME, 1996, pp:629-648 [Conf]
- Matthias Anlauff, Martin Beyer, Thomas Santen
Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). [Citation Graph (0, 0)][DBLP] GI Jahrestagung, 1993, pp:247-252 [Conf]
- Maritta Heisel, Thomas Santen, Jeanine Souquières
Toward a Formal Model of Software Components. [Citation Graph (0, 0)][DBLP] ICFEM, 2002, pp:57-68 [Conf]
- Eric Meyer, Thomas Santen
Behavioral Conformance Verification in an Integrated Approach Using UML and B. [Citation Graph (0, 0)][DBLP] IFM, 2000, pp:358-379 [Conf]
- Sabine Dick, Thomas Santen
Searching for a Global Algorithm. [Citation Graph (0, 0)][DBLP] KBSE, 1995, pp:52-59 [Conf]
- Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer
Formalization of Algebraic Specification in the Development Language DEVA. [Citation Graph (0, 0)][DBLP] KORSO Book, 1995, pp:223-238 [Conf]
- Thomas Santen
Stepwise Development of Secure Systems. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2006, pp:142-155 [Conf]
- Kirsten Winter, Thomas Santen, Maritta Heisel
An Agenda for Specifying Software Components with Complex Data Models. [Citation Graph (0, 0)][DBLP] SAFECOMP, 1998, pp:16-31 [Conf]
- Thomas Santen, Dirk Seifert
TEAGER - Test Automation for UML State Machines. [Citation Graph (0, 0)][DBLP] Software Engineering, 2006, pp:73-84 [Conf]
- Seda F. Gürses, Thomas Santen
Contextualizing Security Goals: A Method for Multilateral Security Requirements Elicitation. [Citation Graph (0, 0)][DBLP] Sicherheit, 2006, pp:42-53 [Conf]
- Thomas Santen
Probabilistic Confidentiality Properties based on Indistinguishability. [Citation Graph (0, 0)][DBLP] Sicherheit, 2005, pp:113-124 [Conf]
- Kolyang, Thomas Santen, Burkhart Wolff
A Structure Preserving Encoding of Z in Isabelle/HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 1996, pp:283-298 [Conf]
- Thomas Santen
A Theory of Structured Model-Based Specifications in Isabelle/HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 1997, pp:243-258 [Conf]
- Thomas Santen
Isomorphisms - A Link Between the Shallow and the Deep. [Citation Graph (0, 0)][DBLP] TPHOLs, 1999, pp:37-54 [Conf]
- Steffen Helke, Thomas Neustupny, Thomas Santen
Automating Test Case Generation from Z Specifications with Isabelle. [Citation Graph (0, 0)][DBLP] ZUM, 1997, pp:52-71 [Conf]
- Thomas Santen
On the Semantic Relation of Z and HOL. [Citation Graph (0, 0)][DBLP] ZUM, 1998, pp:96-115 [Conf]
- Graeme Smith, Florian Kammüller, Thomas Santen
Encoding Object-Z in Isabelle/HOL. [Citation Graph (0, 0)][DBLP] ZB, 2002, pp:82-99 [Conf]
- Sabine Dick, Thomas Santen
Searching for a Global Search Algorithm. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1997, v:4, n:1, pp:7-31 [Journal]
Invariants, Modularity, and Rights. [Citation Graph (, )][DBLP]
Verifying the Microsoft Hyper-V Hypervisor with VCC. [Citation Graph (, )][DBLP]
VCC: Contract-based modular verification of concurrent C. [Citation Graph (, )][DBLP]
Using UML Environment Models for Test Case Generation. [Citation Graph (, )][DBLP]
Specifying and Composing Non-functional Requirements in Model-Based Development. [Citation Graph (, )][DBLP]
VCC: A Practical System for Verifying Concurrent C. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.306secs
|