jfas.de > axel > publications

Axel Schairer's Publications

Books

Axel Schairer. Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development, Shaker Verlag, 2006 [Publisher's info, cf. my dissertation thesis]

Book Chapter

Heiko Mantel, Axel Schairer. Exploiting Generic Aspects of Security Models in Formal Developments. In Mechanizing Mathematical Reasoning, Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday, LNAI 2605, Springer, 2005

Journal Articles

Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers. VSE: Formal Methods Meet Industrial Needs. In Springer International Journal on Software Tools for Technology Transfer (STTT) 3(1):66--77, Springer, 2000

Axel Schairer, Serge Autexier, Dieter Hutter. A Pragmatic Approach to Reuse in Tactical Theorem Proving. In Electronic Notes in Theoretical Computer Science (ENTCS), 58(2), Elsevier Science Publishers, 2001

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll. Verified Formal Security Models for Multiapplicative Smart Cards. In Journal of Computer Security, 10(4):339--367, IOS Press, 2002

Dieter Hutter, Heiko Mantel, Axel Schairer. Informationsflusskontrolle als Grundlage für die Sicherheit von Multi-Agenten-Systemen. In Praxis der Informationsverarbeitung und Kommunikation, 26(1):40--48, 2003

Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer: Security of Multiagent Systems: A Case Study on Comparison Shopping. Accepted for publication. In Journal of Applied Logic, Special Issue on Logic-Based Agent Verification, 2006

Refereed Conference and Workshop Proceedings

Erica Melis, Axel Schairer. Similarities and Reuse of Proofs in Formal Software Verification. In Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning (EWCBR 98), LNAI 1488, pp. 76--87. Springer 1998

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer. INKA 5.0 --- A Logic Voyager (System Description). In Proceedings of the 16th International Conference on Automated Deduction (CADE-16), LNAI 1632, pp. 207--211, Springer, 1999

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer. Towards an Evolutionary Formal Software-Development Using CASL. In Recent Trends in Algebraic Development Techniques, Proceedings of the 14th International Workshop on Algebraic Development Techniques (WADT'99), LNCS 1827, pp. 73--88, Springer, 2000

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll. Verification of a Formal Security Model for Multiapplicative Smart Cards. In Proceedings of the 6th European Symposium on Research in Computer Security (ESORICS 2000), LNCS 1895, pp. 17--36, Springer, 2000

Axel Schairer, Serge Autexier, Dieter Hutter. A Pragmatic Approach to Reuse in Tactical Theorem Proving. In Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), pp. 75--86, 2001

Dieter Hutter, Axel Schairer. Towards an Evolutionary Formal Software Development (Short Paper). In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pp. 417--420, IEEE, 2001

Axel Schairer. Proof Transformations for Reusing Proofs after Changing Subformulae of Verification Conditions. In Proceedings of the First Workshop on Evolutionary Formal Software Development (EFSD'2002), pp. 31--41, 2002

Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer. The Development Graph Manager Maya (System Description). In Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology (AMAST 2002), LNCS 2422, pp. 495--501, Springer 2002

Axel Schairer, Dieter Hutter. Proof Transformations for Evolutionary Formal Software Development. In Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology (AMAST 2002), LNCS 2422, pp. 441--456, Springer, 2002

Axel Schairer. Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems. In Proceedings of the First International Conference on Security in Pervasive Computing (SPC 2003). LNCS 2802, pp. 101--115, Springer, 2004

Dieter Hutter, Axel Schairer. Possibilistic Information Flow Control in the Presence of Encrypted Communication. In Proceedings of the 9th European Symposium on Research in Computer Security (ESORICS 2004), LNCS 3193, pp. 209--224, Springer, 2004

Theses

Verfahren zur aufgabenbezogenen Auslegung von Roboterkinematiken. Studienarbeit, Institut für Industrielle Fertigung und Fabrikbetrieb der Universität Stuttgart und Fraunhofer Institut für Produktionstechnik und Automatisierung, Stuttgart, Januar 1997

A Technique for Reusing Proofs in Software Verification. Diplomarbeit, FB Informatik der Universität des Saarlandes und Institut A für Mechanik der Universität Stuttgart, März 1998

Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development, Dissertation, Universität des Saarlandes, Saarbrücken, 2005; available from Shaker Verlag, Aachen [Saarland University Server entry]

Technical Reports and Other Publications

Axel Schairer. Radioaktiver Zerfall im Computer - hardwareunabhängige Graphikprogrammierung am Beispiel einer Zerfallsreihe. In Chip-Special -- Turbo-Pascal, Ausgabe 10/88, Vogel Verlag, Würzburg, 1988

Rainer Moritz, Axel Schairer, Ulrich Vollmer. Fuzzy-Regelung einer propellergetriebenen Eisenbahn. Abschlussbericht Projektierungspraktikum, Institut A für Mechanik, Universität Stuttgart, März 1996

Axel Schairer. Using Standard Tools to Create Lexers and Parsers for Casl. CoFI Tools Note T7, April 1999

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Werner Stephan. A Generic Security Model for Multiapplicative Smart Cards. Abschlussbericht des SmaCos-Projektes, BSI-Bericht, September 1999

Heiko Mantel, Axel Schairer, Matthias Kabatnik, Michael Kreutzer, Alf Zugenmaier. Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks. Technical Report No. 159, Institut für Informatik, Universität Freiburg, August 2001

Last update Mon Oct 30 20:44:35 CET 2006 by axel