 | 2009 |
|---|
| 33 |       | Dirk Leinenbach,
Thomas Santen:
Verifying the Microsoft Hyper-V Hypervisor with VCC.
FM 2009: 806-809 |
| 32 | | Markus Dahlweid,
Michal Moskal,
Thomas Santen,
Stephan Tobies,
Wolfram Schulte:
VCC: Contract-based modular verification of concurrent C.
ICSE Companion 2009: 429-430 |
| 31 | | Ethan K. Jackson,
Dirk Seifert,
Markus Dahlweid,
Thomas Santen,
Nikolaj Bjørner,
Wolfram Schulte:
Specifying and Composing Non-functional Requirements in Model-Based Development.
Software Composition 2009: 72-89 |
| 30 | | 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 |
|---|
| 29 |  | Maritta Heisel,
Denis Hatebur,
Thomas Santen,
Dirk Seifen:
Using UML Environment Models for Test Case Generation.
Software Engineering (Workshops) 2008: 399-406 |
| 28 | | Thomas Santen:
Preservation of probabilistic information flow under refinement.
Inf. Comput. 206(2-4): 213-249 (2008) |
| 2006 |
|---|
| 27 | | Thomas Santen:
A Formal Framework for Confidentiality-Preserving Refinement.
ESORICS 2006: 225-242 |
| 26 | | 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 | | 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 | | Felix C. Freiling,
Thomas Santen:
On the Composition of Compositional Reasoning.
Architecting Systems with Trustworthy Components 2004: 137-151 |
| 2003 |
|---|
| 20 | | Dirk Seifert,
Steffen Helke,
Thomas Santen:
Test Case Generation for UML Statecharts.
Ershov Memorial Conference 2003: 462-468 |
| 2002 |
|---|
| 19 | | Thomas Santen,
Maritta Heisel,
Andreas Pfitzmann:
Confidentiality-Preserving Refinement is Compositional - Sometimes.
ESORICS 2002: 194-211 |
| 18 | | Maritta Heisel,
Thomas Santen,
Jeanine Souquières:
Toward a Formal Model of Software Components.
ICFEM 2002: 57-68 |
| 17 | | Graeme Smith,
Florian Kammüller,
Thomas Santen:
Encoding Object-Z in Isabelle/HOL.
ZB 2002: 82-99 |
| 2001 |
|---|
| 16 | | Maritta Heisel,
Andreas Pfitzmann,
Thomas Santen:
Confidentiality-Preserving Refinement.
CSFW 2001: 295-306 |
| 15 | | 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 | | Eric Meyer,
Thomas Santen:
Behavioral Conformance Verification in an Integrated Approach Using UML and B.
IFM 2000: 358-379 |
| 1999 |
|---|
| 12 | | Thomas Santen:
Isomorphisms - A Link Between the Shallow and the Deep.
TPHOLs 1999: 37-54 |
| 1998 |
|---|
| 11 | | 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 |
