- Suche

- Kontakt

Publications

    2012

  • The COST IC0701 Verification Competition 2011
    Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen and Mattias Ulbrich
    In Proc. of Formal Verification of Object-Oriented Software (FoVeOOS) , Springer (LNCS) to appear
    abstract;
     

    • 2011

  • Interleaved Programs and Rely-Guarantee Reasoning with ITL
    G. Schellhorn, B.Tofan, G. Ernst, and W. Reif
    In Proc. of International Symposium on Temporal Representation and Reasoning in AI (TIME), IEEE (CPS), P4508, pp. 99 - 106
    abstract;
     
  • Local Rely-Guarantee Conditions for Linearizability and Lock-Freedom
    B.Tofan, G. Schellhorn, and W. Reif
    In Pre-Proceedings of Conference on Formal Verification of Object Oriented Software (FoVeOOS), Karlsruhe Reports in Informatics, vol. 26, pp. 342 - 359
    abstract;
     
  • Formal Verification of a Lock-Free Stack with Hazard Pointers
    B. Tofan, G. Schellhorn, and W. Reif
    In Proc. of International Colloquium on Theoretical Aspects of Computing (ICTAC), Springer, LNCS, vol. 6916, pp. 239 - 255
    abstract;
     
  • Verifying a Stack with Hazard Pointers in Temporal Logic
    B. Tofan, G. Schellhorn, and W. Reif
    Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, OPUS, Report 2011-08
    abstract;
     

    • 2010

  • Embedding Rely-Guarantee Reasoning in Temporal Logic
    B. Tofan, G. Schellhorn, S. Bäumler, and W. Reif
    Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, OPUS, Report 2010-07
    abstract;
     
  • Temporal Logic Verification of Lock-Freedom
    B. Tofan, S. Bäumler, G. Schellhorn, and W. Reif
    In Proc. of Mathematics of Program Construction (MPC), Springer, LNCS, vol. 6120, pp. 377 - 396
    abstract;
     

    • 2009

  • Verifying Linearizability and Lock-Freedom with Temporal Logic
    B. Tofan, S. Bäumler, G. Schellhorn, and W. Reif
    Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, OPUS, Report 2009-20
    abstract;
     
  • Proving Linearizability with Temporal Logic
    S. Bäumler, G. Schellhorn, B. Tofan and W. Reif
    Journal of Formal Aspects of Computing (FAC), Springer, 23(1), pp. 91 - 112
    abstract;