3 citations · 4 across the 2 of their papers we have counts for
3 papers
cs.PL2018★ 1 cited
Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs
Daniel Lundén, David Broman, Fredrik Ronquist +1
Probabilistic programming is a programming paradigm for expressing flexible probabilistic models. Implementations of probabilistic programming languages employ a variety of inferen…
cs.SE2017★ 3 cited
A Brief Overview of the KTA WCET Tool
David Broman
KTA (KTH's timing analyzer) is a research tool for performing timing analysis of program code. The currently available toolchain can perform two different kinds of analyses: i) exh…
cs.CY2017
Hybrid Simulation Safety: Limbos and Zero Crossings
David Broman
Physical systems can be naturally modeled by combining continuous and discrete models. Such hybrid models may simplify the modeling task of complex system, as well as increase simu…