Frederik Palludan Madsen

According to our database, Frederik Palludan Madsen authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Co-simulation at different levels of expertise with Maestro2.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen

J. Syst. Softw., March, 2024

2022

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Palludan Madsen, Jesus Alfonso, José Ángel Castellanos, José Manuel Rodriguez-Fortun

Int. J. Softw. Tools Technol. Transf., 2022

2021

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

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021