859 citations
- Centre National de la Recherche ScientifiqueFR15 papers
- Technical University of DenmarkDK14 papers
- University of CopenhagenDK14 papers
- University of ManchesterGB13 papers
- Aarhus UniversityDK10 papers
- Deimos (Spain)ES9 papers
- École Polytechnique Fédérale de LausanneCH9 papers
- University of StuttgartDE9 papers
- Tokyo Institute of TechnologyJP8 papers
- University of OuluFI8 papers
- University of OxfordGB8 papers
- EurocontrolFR7 papers
Showing 2024 · cs.LOShow all
3 papers · 2 filters
cs.LO2024
A Type System for Data Flow and Alias Analysis in ReScript
Nicky Ask Lund, Hans Hüttel
ReScript is a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. In this paper, we present a sound type system for…
cs.LO2024★ 3 cited
Efficient Shield Synthesis via State-Space Transformation
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen +1
We consider the problem of synthesizing safety strategies for control systems, also known as shields. Since the state space is infinite, shields are typically computed over a finit…
cs.LO2024
The Complexity of Data-Free Nfer
Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
Nfer is a Runtime Verification language for the analysis of event traces that applies rules to create hierarchies of time intervals. This work examines the complexity of the evalua…