| 2007 |
|---|
| 14 | EE | Dieter 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 |
|---|
| 13 | EE | Heiko Mantel,
Axel Schairer:
Exploiting Generic Aspects of Security Models in Formal Developments.
Mechanizing Mathematical Reasoning 2005: 452-475 |
| 2004 |
|---|
| 12 | EE | Dieter Hutter,
Axel Schairer:
Possibilistic Information Flow Control in the Presence of Encrypted Communication.
ESORICS 2004: 209-224 |
| 2003 |
|---|
| 11 | EE | Axel Schairer:
Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems.
SPC 2003: 101-115 |
| 2002 |
|---|
| 10 | EE | Axel Schairer,
Dieter Hutter:
Proof Transformations for Evolutionary Formal Software Development.
AMAST 2002: 441-456 |
| 9 | EE | Serge 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 |
|---|
| 7 | EE | Dieter Hutter,
Axel Schairer:
Towards an Evolutionary Formal Software Development.
ASE 2001: 417-420 |
| 6 | EE | Axel Schairer,
Serge Autexier,
Dieter Hutter:
A Pragmatic Approach to Reuse in Tactical Theorem Proving.
Electr. Notes Theor. Comput. Sci. 58(2): (2001) |
| 2000 |
|---|
| 5 | EE | Gerhard 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 |
| 4 | EE | 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 3(1): 66-77 (2000) |
| 1999 |
|---|
| 3 | EE | Serge 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 |
|---|
| 1 | EE | Erica Melis,
Axel Schairer:
Similarities and Reuse of Proofs in Formal Software Verification.
EWCBR 1998: 76-87 |
