Axel Schairer

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Security of multi-agent systems: A case study on comparison shopping.
J. Applied Logic, 2007

2006
Transformations of specifications and proofs to support an evolutionary formal software development.
PhD thesis, 2006

2005
Exploiting Generic Aspects of Security Models in Formal Developments.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
Possibilistic Information Flow Control in the Presence of Encrypted Communication.
Proceedings of the Computer Security, 2004

2003
Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen.
Praxis der Informationsverarbeitung und Kommunikation, 2003

Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems.
Proceedings of the Security in Pervasive Computing, 2003

2002
Verified Formal Security Models for Multiapplicative Smart Cards.
Journal of Computer Security, 2002

Proof Transformations for Evolutionary Formal Software Development.
Proceedings of the Algebraic Methodology and Software Technology, 2002

The Development Graph Manager MAYA.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
A Pragmatic Approach to Reuse in Tactical Theorem Proving.
Electr. Notes Theor. Comput. Sci., 2001

Towards an Evolutionary Formal Software Development.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000
VSE: formal methods meet industrial needs.
STTT, 2000

Verification of a Formal Security Model for Multiapplicative Smart Cards.
Proceedings of the Computer Security, 2000

1999
Towards an Evolutionary Formal Software-Development Using CASL.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

System Description: inka 5.0 - A Logic Voyager.
Proceedings of the Automated Deduction, 1999

1998
Similarities and Reuse of Proofs in Formal Software Verification.
Proceedings of the Advances in Case-Based Reasoning, 4th European Workshop, 1998


  Loading...