Follow
David Broman
Title
Cited by
Cited by
Year
2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)| 978-1-6654-2587-2/21/$31.00© 2021 IEEE| DOI: 10.1109/ISSRE52982. 2021.00066
R Abreu, P Adão, SV Adve, E Al-Hossami, G An, P Arcaini, A Arcuri, ...
2nd International Workshop on Equation-Based Object-Oriented Languages and Tools
P Fritzson, F Cellier, D Broman
2008
3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools
P Fritzson, E Lee, F Cellier, D Broman
2010
4aa15479-6aeb-447e-9882-f9caf2a78e5f-syad045. pdf Page 18
J Truszkowski, A Perrigo, D Broman, F Ronquist, A Antonelli
4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools
FE Cellier, D Broman, P Fritzson, EA Lee
4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools: Proceedings
FE Cellier, D Broman, P Fritzon, E Lee
Linköping Electronic Conference Proceedings 2011 (56), 2011
2011
A brief overview of the KTA WCET tool
D Broman
arXiv preprint arXiv:1712.05264, 2017
92017
A comparison of metacompilation approaches to implementing Modelica
D Broman, P Fritzson, G Hedin, J Åkesson
Department of Computer Science, Lund University, 2011
12011
A comparison of two metacompilation approaches to implementing a complex domain-specific language
D Broman, P Fritzson, G Hedin, J Åkesson
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1919-1921, 2012
42012
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
532015
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
1272012
A process for student group supervision
D Broman
Technical report, KTH Royal Institute of Technology, 2015
22015
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
512017
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
212019
Abstract syntax can make the definition of Modelica less abstract
D Broman, P Fritzson
1st International Workshop on Equation-Based Object-Oriented Languages and …, 2007
82007
An architectural mechanism for resilient IoT services
H Kim, E Kang, D Broman, EA Lee
Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 8-13, 2017
142017
An assessment model for large project courses
M Vasilevskaya, D Broman, K Sandahl
Proceedings of the 45th ACM technical symposium on Computer science …, 2014
212014
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
26*2015
Assessing large-project courses: model, activities, and lessons learned
M Vasilevskaya, D Broman, K Sandahl
ACM Transactions on Computing Education (TOCE) 15 (4), 1-30, 2015
232015
Atomic Standards Group
M Weiss, YS Li-Baboud, A Shrivastava, M Khayatian, P Derlery, ...
2009
The system can't perform the operation now. Try again later.
Articles 1–20