dblp.uni-trier.dewww.uni-trier.de

Axel Schairer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Vernon Austel [5] [8]
2Serge Autexier [2] [3] [4] [6] [9]
3Dieter Hutter [2] [3] [4] [6] [7] [9] [10] [12] [14]
4Paul A. Karger [5] [8]
5Bruno Langenstein [4]
6Heiko Mantel [2] [3] [4] [13] [14]
7Erica Melis [1]
8Till Mossakowski [9]
9Wolfgang Reif [5] [8]
10Georg Rock [4]
11Ina Schaefer [14]
12Gerhard Schellhorn [5] [8]
13Werner Stephan [4]
14David C. Toll [5] [8]
15Roland Vogt [4]
16Andreas Wolpers [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)