The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. - Jonas Kjær Rask; Frederik Palludan Madsen; Nick Battle; Hugo Daniel Macedo; Peter Gorm Larsen (F-IDE@NFM, 2021)

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001; Jaco van de Pol; Maurizio Palmieri; Emin Oguz Inci; Frederik Palludan Madsen; Jesus Alfonso; José Ángel Castellanos 001; José Manuel Rodriguez-Fortun (Int. J. Softw. Tools Technol. Transf., 2022)

Co-simulation at different levels of expertise with Maestro2. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001; Kenneth Lausdahl; Frederik Palludan Madsen; Giuseppe Abbiati; Peter Gorm Larsen (J. Syst. Softw., 2024)