2008 |
29 | | Maritta Heisel,
Denis Hatebur,
Thomas Santen,
Dirk Seifen:
Using UML Environment Models for Test Case Generation.
Software Engineering (Workshops) 2008: 399-406 |
28 | EE | Thomas Santen:
Preservation of probabilistic information flow under refinement.
Inf. Comput. 206(2-4): 213-249 (2008) |
2006 |
27 | EE | Thomas Santen:
A Formal Framework for Confidentiality-Preserving Refinement.
ESORICS 2006: 225-242 |
26 | EE | Thomas 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 |
23 | EE | Seda 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 |
21 | EE | Felix C. Freiling,
Thomas Santen:
On the Composition of Compositional Reasoning.
Architecting Systems with Trustworthy Components 2004: 137-151 |
2003 |
20 | EE | Dirk Seifert,
Steffen Helke,
Thomas Santen:
Test Case Generation for UML Statecharts.
Ershov Memorial Conference 2003: 462-468 |
2002 |
19 | EE | Thomas Santen,
Maritta Heisel,
Andreas Pfitzmann:
Confidentiality-Preserving Refinement is Compositional - Sometimes.
ESORICS 2002: 194-211 |
18 | EE | Maritta Heisel,
Thomas Santen,
Jeanine Souquières:
Toward a Formal Model of Software Components.
ICFEM 2002: 57-68 |
17 | EE | Graeme Smith,
Florian Kammüller,
Thomas Santen:
Encoding Object-Z in Isabelle/HOL.
ZB 2002: 82-99 |
2001 |
16 | EE | Maritta Heisel,
Andreas Pfitzmann,
Thomas Santen:
Confidentiality-Preserving Refinement.
CSFW 2001: 295-306 |
15 | EE | Steffen 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 |
13 | EE | Eric Meyer,
Thomas Santen:
Behavioral Conformance Verification in an Integrated Approach Using UML and B.
IFM 2000: 358-379 |
1999 |
12 | EE | Thomas Santen:
Isomorphisms - A Link Between the Shallow and the Deep.
TPHOLs 1999: 37-54 |
1998 |
11 | EE | Kirsten 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 |