Axel Schairer

16 papers A* 1A 3Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2007 J jnl
Security of multi-agent systems: A case study on comparison shopping.
J. Appl. Log.
Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer
2006 — —
Transformations of specifications and proofs to support an evolutionary formal software development.
Axel Schairer
2005 — conf
Exploiting Generic Aspects of Security Models in Formal Developments.
Mechanizing Mathematical Reasoning
Heiko Mantel, Axel Schairer
2004 A conf
Possibilistic Information Flow Control in the Presence of Encrypted Communication.
ESORICS
Dieter Hutter, Axel Schairer
2003 J jnl
Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen.
Prax. Inf.verarb. Kommun.
Dieter Hutter, Heiko Mantel, Axel Schairer
2003 — conf
Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems.
SPC
Axel Schairer
2002 — conf
Proof Transformations for Evolutionary Formal Software Development.
AMAST
Axel Schairer, Dieter Hutter
2002 — conf
The Development Graph Manager MAYA.
AMAST
Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
2002 J jnl
Verified Formal Security Models for Multiapplicative Smart Cards.
J. Comput. Secur.
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
2001 — conf
A Pragmatic Approach to Reuse in Tactical Theorem Proving.
STRATEGIES@IJCAR
Axel Schairer, Serge Autexier, Dieter Hutter
2001 A* conf
Towards an Evolutionary Formal Software Development.
ASE
Dieter Hutter, Axel Schairer
2000 J jnl
VSE: formal methods meet industrial needs.
Int. J. Softw. Tools Technol. Transf.
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
2000 A conf
Verification of a Formal Security Model for Multiapplicative Smart Cards.
ESORICS
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
1999 A conf
System Description: inka 5.0 - A Logic Voyager.
CADE
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
1999 — conf
Towards an Evolutionary Formal Software-Development Using CASL.
WADT
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
1998 — conf
Similarities and Reuse of Proofs in Formal Software Verification.
EWCBR
Erica Melis, Axel Schairer