81 citations · 102 across the 9 of their papers we have counts for
4 papers · 1 filter
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…
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…
Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs
Lawrence M. Murray, Daniel Lundén, Jan Kudlicka +2
We introduce a dynamic mechanism for the solution of analytically-tractable substructure in probabilistic programs, using conjugate priors and affine transformations to reduce vari…
Co-simulation: State of the art
Cláudio Gomes, Casper Thule, David Broman +2
It is essential to find new ways of enabling experts in different disciplines to collaborate more efficient in the development of ever more complex systems, under increasing market…