All Stories

  1. Building models of dynamical systems using neural networks

    Article • ACM Computing Surveys, November 2022, ACM (Association for Computing Machinery)

    Peter Gorm Larsen, Christian Legaard

  2. A Survey of Practical Formal Methods for Security

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

    Peter Gorm Larsen

  3. Co-Simulation

    Article • ACM Computing Surveys, May 2019, ACM (Association for Computing Machinery)

    Peter Gorm Larsen, Peter Gorm Larsen