dblp.uni-trier.dewww.uni-trier.de

Thomas Santen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
29 Maritta Heisel, Denis Hatebur, Thomas Santen, Dirk Seifen: Using UML Environment Models for Test Case Generation. Software Engineering (Workshops) 2008: 399-406
28EEThomas Santen: Preservation of probabilistic information flow under refinement. Inf. Comput. 206(2-4): 213-249 (2008)
2006
27EEThomas Santen: A Formal Framework for Confidentiality-Preserving Refinement. ESORICS 2006: 225-242
26EEThomas Santen: Stepwise Development of Secure Systems. SAFECOMP 2006: 142-155
25 Seda F. Gürses, Thomas Santen: Contextualizing Security Goals: A Method for Multilateral Security Requirements Elicitation. Sicherheit 2006: 42-53
24 Thomas Santen, Dirk Seifert: TEAGER - Test Automation for UML State Machines. Software Engineering 2006: 73-84
2005
23EESeda F. Gürses, Jens H. Jahnke, Christina Obry, Adeniyi Onabajo, Thomas Santen, Morgan Price: Eliciting confidentiality requirements in practice. CASCON 2005: 101-116
22 Thomas Santen: Probabilistic Confidentiality Properties based on Indistinguishability. Sicherheit 2005: 113-124
2004
21EEFelix C. Freiling, Thomas Santen: On the Composition of Compositional Reasoning. Architecting Systems with Trustworthy Components 2004: 137-151
2003
20EEDirk Seifert, Steffen Helke, Thomas Santen: Test Case Generation for UML Statecharts. Ershov Memorial Conference 2003: 462-468
2002
19EEThomas Santen, Maritta Heisel, Andreas Pfitzmann: Confidentiality-Preserving Refinement is Compositional - Sometimes. ESORICS 2002: 194-211
18EEMaritta Heisel, Thomas Santen, Jeanine Souquières: Toward a Formal Model of Software Components. ICFEM 2002: 57-68
17EEGraeme Smith, Florian Kammüller, Thomas Santen: Encoding Object-Z in Isabelle/HOL. ZB 2002: 82-99
2001
16EEMaritta Heisel, Andreas Pfitzmann, Thomas Santen: Confidentiality-Preserving Refinement. CSFW 2001: 295-306
15EESteffen Helke, Thomas Santen: Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries. FME 2001: 20-42
2000
14 Wolfgang Grieskamp, Thomas Santen, Bill Stoddart: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings Springer 2000
13EEEric Meyer, Thomas Santen: Behavioral Conformance Verification in an Integrated Approach Using UML and B. IFM 2000: 358-379
1999
12EEThomas Santen: Isomorphisms - A Link Between the Shallow and the Deep. TPHOLs 1999: 37-54
1998
11EEKirsten Winter, Thomas Santen, Maritta Heisel: An Agenda for Specifying Software Components with Complex Data Models. SAFECOMP 1998: 16-31
10 Thomas Santen: On the Semantic Relation of Z and HOL. ZUM 1998: 96-115
1997
9 Thomas Santen: A Theory of Structured Model-Based Specifications in Isabelle/HOL. TPHOLs 1997: 243-258
8 Steffen Helke, Thomas Neustupny, Thomas Santen: Automating Test Case Generation from Z Specifications with Isabelle. ZUM 1997: 52-71
7 Sabine Dick, Thomas Santen: Searching for a Global Search Algorithm. Autom. Softw. Eng. 4(1): 7-31 (1997)
1996
6  Kolyang, Thomas Santen, Burkhart Wolff: Correct and User-Friendly Implementations of Transformation Systems. FME 1996: 629-648
5  Kolyang, Thomas Santen, Burkhart Wolff: A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs 1996: 283-298
1995
4 Maritta Heisel, Thomas Santen, Dominik Zimmermann: Tool Support for Formal Software Development: A Generic Architecture. ESEC 1995: 272-293
3 Sabine Dick, Thomas Santen: Searching for a Global Algorithm. KBSE 1995: 52-59
2 Thomas Santen, Florian Kammüller, Stefan Jähnichen, Martin Beyer: Formalization of Algebraic Specification in the Development Language DEVA. KORSO Book 1995: 223-238
1993
1 Matthias Anlauff, Martin Beyer, Thomas Santen: Generische Sprachen in Systemen zur formalen Softwareentwicklung (Extended Abstract). GI Jahrestagung 1993: 247-252

Coauthor Index

1Matthias Anlauff [1]
2Martin Beyer [1] [2]
3Sabine Dick [3] [7]
4Felix C. Freiling (Felix C. Gärtner) [21]
5Wolfgang Grieskamp [14]
6Seda F. Gürses [23] [25]
7Denis Hatebur [29]
8Maritta Heisel [4] [11] [16] [18] [19] [29]
9Steffen Helke [8] [15] [20]
10Stefan Jähnichen [2]
11Florian Kammüller [2] [17]
12 Kolyang [5] [6]
13Eric Meyer [13]
14Thomas Neustupny [8]
15Christina Obry [23]
16Adeniyi Onabajo [23]
17Andreas Pfitzmann [16] [19]
18Morgan Price [23]
19Dirk Seifen [29]
20Dirk Seifert [20] [24]
21Graeme Smith [17]
22Jeanine Souquières [18]
23Bill Stoddart [14]
24Jens H. Weber-Jahnke (Jens H. Jahnke) [23]
25Kirsten Winter [11]
26Burkhart Wolff [5] [6]
27Dominik Zimmermann [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)