14 citations · 28 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021★ 1 cited
A Survey of Practical Formal Methods for Security
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen +4
In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the f…
cs.SE2021★ 5 cited
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions
Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle +2
The Language Server Protocol (LSP) changed the field of Integrated Development Environments(IDEs), as it decouples core (programming) language features functionality from editor sm…