All Stories

  1. Experiences from the European ProCoS Projects: Provably Correct Systems

    Article • Formal Aspects of Computing, March 2026, ACM (Association for Computing Machinery)

    Professor Jonathan P Bowen, Dines Bjørner

  2. Formal Methods - My 50+ Years as an Engineer, Researcher and Scientist

    Article • Formal Aspects of Computing, March 2026, ACM (Association for Computing Machinery)

    Dines Bjørner

  3. The 0'th PEPM Event: October 1987—and Andrei Petrovich Ershov: 1977–1988 (Invited Contribution)

    Article • January 2024, ACM (Association for Computing Machinery)

    Dines Bjørner

  4. Domain Analysis and Description Principles, Techniques, and Modelling Languages

    Article • ACM Transactions on Software Engineering and Methodology, April 2019, ACM (Association for Computing Machinery)

    Dines Bjørner