Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Axel
    Last name: Schairer
    DBLP: 13/752
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 15 of 15  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer.
    Security of multi-agent systems: A case study on comparison shopping.
    J. Applied Logic 2007, Volume 5 (0) 2007
    Conference paper
    Heiko Mantel, Axel Schairer.
    Exploiting Generic Aspects of Security Models in Formal Developments.
    Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday 2005 (0) 2005
    Conference paper
    Dieter Hutter, Axel Schairer.
    Possibilistic Information Flow Control in the Presence of Encrypted Communication.
    Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings 2004 (0) 2004
    Journal article
    Dieter Hutter, Heiko Mantel, Axel Schairer.
    Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen.
    Praxis der Informationsverarbeitung und Kommunikation 2003, Volume 26 (0) 2003
    Conference paper
    Axel Schairer.
    Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems.
    Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers 2004 (0) 2003
    Conference paper
    Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer.
    The Development Graph Manager MAYA.
    Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Axel Schairer, Dieter Hutter.
    Proof Transformations for Evolutionary Formal Software Development.
    Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll.
    Verified Formal Security Models for Multiapplicative Smart Cards.
    Journal of Computer Security 2002, Volume 10 (0) 2002
    Conference paper
    Dieter Hutter, Axel Schairer.
    Towards an Evolutionary Formal Software Development.
    16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA 2001 (0) 2001
    Conference paper
    Axel Schairer, Serge Autexier, Dieter Hutter.
    A Pragmatic Approach to Reuse in Tactical Theorem Proving.
    Electr. Notes Theor. Comput. Sci. 2001, Volume 58 (0) 2001
    Conference paper
    Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll.
    Verification of a Formal Security Model for Multiapplicative Smart Cards.
    Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers.
    VSE: formal methods meet industrial needs.
    STTT 2000, Volume 3 (0) 2000
    Conference paper
    Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer.
    System Description: inka 5.0 - A Logic Voyager.
    Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings 1999 (0) 1999
    Conference paper
    Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer.
    Towards an Evolutionary Formal Software-Development Using CASL.
    Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers 2000 (0) 1999
    Conference paper
    Erica Melis, Axel Schairer.
    Similarities and Reuse of Proofs in Formal Software Verification.
    Advances in Case-Based Reasoning, 4th European Workshop, EWCBR-98, Dublin, Ireland, September 1998, Proceedings 1998 (0) 1998
    Show item 1 to 15 of 15  

    Your query returned 15 matches in the database.