The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thomas Santen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Maritta Heisel, Andreas Pfitzmann, Thomas Santen
    Confidentiality-Preserving Refinement. [Citation Graph (0, 0)][DBLP]
    CSFW, 2001, pp:295-306 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. Thomas Santen
    A Formal Framework for Confidentiality-Preserving Refinement. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2006, pp:225-242 [Conf]
  7. Thomas Santen, Maritta Heisel, Andreas Pfitzmann
    Confidentiality-Preserving Refinement is Compositional - Sometimes. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2002, pp:194-211 [Conf]
  8. 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]
  9. Kolyang, Thomas Santen, Burkhart Wolff
    Correct and User-Friendly Implementations of Transformation Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:629-648 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. Sabine Dick, Thomas Santen
    Searching for a Global Algorithm. [Citation Graph (0, 0)][DBLP]
    KBSE, 1995, pp:52-59 [Conf]
  14. 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]
  15. Thomas Santen
    Stepwise Development of Secure Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2006, pp:142-155 [Conf]
  16. 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]
  17. Thomas Santen, Dirk Seifert
    TEAGER - Test Automation for UML State Machines. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2006, pp:73-84 [Conf]
  18. 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]
  19. Thomas Santen
    Probabilistic Confidentiality Properties based on Indistinguishability. [Citation Graph (0, 0)][DBLP]
    Sicherheit, 2005, pp:113-124 [Conf]
  20. 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]
  21. Thomas Santen
    A Theory of Structured Model-Based Specifications in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:243-258 [Conf]
  22. Thomas Santen
    Isomorphisms - A Link Between the Shallow and the Deep. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:37-54 [Conf]
  23. 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]
  24. Thomas Santen
    On the Semantic Relation of Z and HOL. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:96-115 [Conf]
  25. Graeme Smith, Florian Kammüller, Thomas Santen
    Encoding Object-Z in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:82-99 [Conf]
  26. 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]

  27. Invariants, Modularity, and Rights. [Citation Graph (, )][DBLP]


  28. Verifying the Microsoft Hyper-V Hypervisor with VCC. [Citation Graph (, )][DBLP]


  29. VCC: Contract-based modular verification of concurrent C. [Citation Graph (, )][DBLP]


  30. Using UML Environment Models for Test Case Generation. [Citation Graph (, )][DBLP]


  31. Specifying and Composing Non-functional Requirements in Model-Based Development. [Citation Graph (, )][DBLP]


  32. VCC: A Practical System for Verifying Concurrent C. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002