The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Axel Schairer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
    The Development Graph Manager MAYA. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:495-501 [Conf]
  2. Axel Schairer, Dieter Hutter
    Proof Transformations for Evolutionary Formal Software Development. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:441-456 [Conf]
  3. Heiko Mantel, Axel Schairer
    Exploiting Generic Aspects of Security Models in Formal Developments. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:452-475 [Conf]
  4. Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
    System Description: inka 5.0 - A Logic Voyager. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:207-211 [Conf]
  5. Dieter Hutter, Axel Schairer
    Possibilistic Information Flow Control in the Presence of Encrypted Communication. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2004, pp:209-224 [Conf]
  6. Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
    Verification of a Formal Security Model for Multiapplicative Smart Cards. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2000, pp:17-36 [Conf]
  7. Erica Melis, Axel Schairer
    Similarities and Reuse of Proofs in Formal Software Verification. [Citation Graph (0, 0)][DBLP]
    EWCBR, 1998, pp:76-87 [Conf]
  8. Dieter Hutter, Axel Schairer
    Towards an Evolutionary Formal Software Development. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:417-420 [Conf]
  9. Axel Schairer
    Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    SPC, 2003, pp:101-115 [Conf]
  10. Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
    Towards an Evolutionary Formal Software-Development Using CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:73-88 [Conf]
  11. Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer
    Security of multi-agent systems: A case study on comparison shopping. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:303-332 [Journal]
  12. Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
    Verified Formal Security Models for Multiapplicative Smart Cards. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2002, v:10, n:4, pp:339-368 [Journal]
  13. Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
    VSE: formal methods meet industrial needs. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:66-77 [Journal]
  14. Axel Schairer, Serge Autexier, Dieter Hutter
    A Pragmatic Approach to Reuse in Tactical Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]

Search in 0.002secs, Finished in 0.003secs
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