Articles with public access mandates - David BromanLearn more
Available somewhere: 37
Co-simulation: a survey
C Gomes, C Thule, D Broman, PG Larsen, H Vangheluwe
ACM Computing Surveys (CSUR) 51 (3), 1-33, 2018
Mandates: Research Foundation (Flanders), European Commission
Determinate composition of FMUs for co-simulation
D Broman, C Brooks, L Greenberg, EA Lee, M Masin, S Tripakis, M Wetter
2013 Proceedings of the International Conference on Embedded Software …, 2013
Mandates: Swedish Research Council
FlexPRET: A processor platform for mixed-criticality systems
M Zimmer, D Broman, C Shaver, EA Lee
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014
Mandates: Swedish Research Council
A PRET microarchitecture implementation with repeatable timing and competitive performance
I Liu, J Reineke, D Broman, M Zimmer, EA Lee
2012 IEEE 30th international conference on computer design (ICCD), 87-93, 2012
Mandates: Swedish Research Council
Viewpoints, formalisms, languages, and tools for cyber-physical systems
D Broman, EA Lee, S Tripakis, M Törngren
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 49-54, 2012
Mandates: Swedish Research Council
Hybrid co-simulation: it’s about time
F Cremona, M Lohstroh, D Broman, EA Lee, M Masin, S Tripakis
Software & Systems Modeling 18, 1655-1679, 2019
Mandates: US National Science Foundation, Academy of Finland, Swedish Research Council
Requirements for hybrid cosimulation standards
D Broman, L Greenberg, EA Lee, M Masin, S Tripakis, M Wetter
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
Mandates: US Department of Energy, Academy of Finland, Swedish Research Council
Delayed sampling and automatic Rao-Blackwellization of probabilistic programs
L Murray, D Lundén, J Kudlicka, D Broman, T Schön
International Conference on Artificial Intelligence and Statistics, 1037-1046, 2018
Mandates: Swedish Research Council
A predictable and command-level priority-based DRAM controller for mixed-criticality systems
H Kim, D Broman, EA Lee, M Zimmer, A Shrivastava, J Oh
21st IEEE Real-Time and Embedded Technology and Applications Symposium, 317-326, 2015
Mandates: Swedish Research Council
A toolkit for construction of authorization service infrastructure for the internet of things
H Kim, E Kang, EA Lee, D Broman
Proceedings of the second international conference on Internet-of-Things …, 2017
Mandates: US Department of Defense
Temporal issues in cyber-physical systems
D Broman, P Derler, J Eidson
Journal of the Indian Institute of Science 93 (3), 389-402, 2013
Mandates: Swedish Research Council
Universal probabilistic programming offers a powerful approach to statistical phylogenetics
F Ronquist, J Kudlicka, V Senderov, J Borgström, N Lartillot, D Lundén, ...
Communications biology 4 (1), 244, 2021
Mandates: Swedish Research Council, European Commission
WCET-aware dynamic code management on scratchpads for software-managed multicores
Y Kim, D Broman, J Cai, A Shrivastaval
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014
Mandates: Swedish Research Council
Step revision in hybrid co-simulation with FMI
F Cremona, M Lohstroh, D Broman, M Di Natale, EA Lee, S Tripakis
2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016
Mandates: US National Science Foundation, Academy of Finland, European Commission
Relaxing the synchronous approach for mixed-criticality systems
E Yip, MMY Kuo, PS Roop, D Broman
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014
Mandates: Swedish Research Council
Resilient authentication and authorization for the Internet of Things (IoT) using edge computing
H Kim, E Kang, D Broman, EA Lee
ACM Transactions on Internet of Things 1 (1), 1-27, 2020
Mandates: US National Science Foundation
Precision timed infrastructure: Design challenges
D Broman, M Zimmer, Y Kim, H Kim, J Cai, A Shrivastava, SA Edwards, ...
Proceedings of the 2013 Electronic System Level Synthesis Conference (ESLsyn …, 2013
Mandates: Swedish Research Council
Modelyze: a gradually typed host language for embedding equation-based modeling languages
D Broman, JG Siek
EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS …, 2012
Mandates: Swedish Research Council
Approximate synchrony: An abstraction for distributed almost-synchronous systems
A Desai, SA Seshia, S Qadeer, D Broman, JC Eidson
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
Mandates: Swedish Research Council
A vision of miking: Interactive programmatic modeling, sound language composition, and self-learning compilation
D Broman
Proceedings of the 12th ACM SIGPLAN International Conference on Software …, 2019
Mandates: Swedish Research Council
Publication and funding information is determined automatically by a computer program