Axel Schairer

According to our database, Axel Schairer authored at least 16 papers between 1998 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Security of multi-agent systems: A case study on comparison shopping.

Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer

J. Appl. Log., 2007

2006

Transformations of specifications and proofs to support an evolutionary formal software development.

Axel Schairer

PhD thesis, 2006

2005

Exploiting Generic Aspects of Security Models in Formal Developments.

Heiko Mantel, Axel Schairer

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Possibilistic Information Flow Control in the Presence of Encrypted Communication.

Dieter Hutter, Axel Schairer

Proceedings of the Computer Security, 2004

2003

Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen.

Dieter Hutter, Heiko Mantel, Axel Schairer

Prax. Inf.verarb. Kommun., 2003

Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems.

Axel Schairer

Proceedings of the Security in Pervasive Computing, 2003

2002

Verified Formal Security Models for Multiapplicative Smart Cards.

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll

J. Comput. Secur., 2002

Proof Transformations for Evolutionary Formal Software Development.

Axel Schairer, Dieter Hutter

Proceedings of the Algebraic Methodology and Software Technology, 2002

The Development Graph Manager MAYA.

Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

A Pragmatic Approach to Reuse in Tactical Theorem Proving.

Axel Schairer, Serge Autexier, Dieter Hutter

Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001

Towards an Evolutionary Formal Software Development.

Dieter Hutter, Axel Schairer

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

VSE: formal methods meet industrial needs.

Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers

Int. J. Softw. Tools Technol. Transf., 2000

Verification of a Formal Security Model for Multiapplicative Smart Cards.

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll

Proceedings of the Computer Security, 2000

1999

Towards an Evolutionary Formal Software-Development Using CASL.

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

System Description: inka 5.0 - A Logic Voyager.

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer

Proceedings of the Automated Deduction, 1999

1998

Similarities and Reuse of Proofs in Formal Software Verification.

Erica Melis, Axel Schairer

Proceedings of the Advances in Case-Based Reasoning, 4th European Workshop, 1998