41
Publications
1.8K
Citations
25
H-Index
2005
Active since
David Broman is an author at Linköping University specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringSoftware EngineeringComputer EngineeringSoftware AnalysisSoftware DesignFormal VerificationModeling And SimulationFormal Methods
Publications per year
2005–2024
41
41
FlexPRET: A processor platform for mixed-criticality systems
Michael Zimmer, David Broman, Chris Shaver et al. · 2014 · 114 citations · Full text
Heterogeneous Computing, Engineering, Computer Architecture +18
Determinate composition of FMUs for co-simulation
David Broman, Christopher Brooks, Lev Greenberg et al. · 2013 · 107 citations · Full text
The OpenModelica Modeling, Simulation, and Software Development Environment
Peter Fritzson, Peter Aronsson, Håkan Lundvall et al. · 2005 · 104 citations
A PRET microarchitecture implementation with repeatable timing and competitive performance
Isaac Liu, Jan Reineke, David Broman et al. · 2012 · 90 citations · Full text
Rows per page
1–5 of 41