default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Broman
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j12]Daniel Arnström
, David Broman, Daniel Axehill:
Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control. IEEE Trans. Autom. Control. 69(10): 7190-7196 (2024)- [c49]Krista Opsahl-Ong, Michael J. Ryan, Josh Purtell, David Broman, Christopher Potts, Matei Zaharia, Omar Khattab:
Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs. EMNLP 2024: 9340-9366 - [c48]Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman:
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. ESOP (2) 2024: 302-330 - [i20]Bobby Yan, Alexander J. Root, Trevor Gale, David Broman, Fredrik Kjolstad:
Scorch: A Library for Sparse Deep Learning. CoRR abs/2405.16883 (2024) - [i19]Krista Opsahl-Ong, Michael J. Ryan, Josh Purtell, David Broman, Christopher Potts, Matei Zaharia, Omar Khattab:
Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs. CoRR abs/2406.11695 (2024) - [i18]Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad:
Automatic Tracing in Task-Based Runtime Systems. CoRR abs/2406.18111 (2024) - [i17]Gabriel Poesia, David Broman, Nick Haber, Noah D. Goodman:
Learning Formal Mathematics From Intrinsic Motivation. CoRR abs/2407.00695 (2024) - [i16]Viktor Palmkvist, Anders Ågren Thuné, Elias Castegren, David Broman:
Repr Types: One Abstraction to Rule Them All. CoRR abs/2409.07950 (2024) - 2023
- [j11]Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman:
Statically Resolvable Ambiguity. Proc. ACM Program. Lang. 7(POPL): 1686-1712 (2023) - [c47]Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman:
Logical Time for Reactive Software. CPS-IoT Week Workshops 2023: 313-318 - [c46]Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman:
Automatic Alignment in Higher-Order Probabilistic Programming Languages. ESOP 2023: 535-563 - [c45]Oscar Eriksson, Viktor Palmkvist, David Broman:
Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers. GPCE 2023: 57-71 - [i15]Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman:
Automatic Alignment in Higher-Order Probabilistic Programming Languages. CoRR abs/2301.11664 (2023) - [i14]Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman:
Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages. CoRR abs/2302.13051 (2023) - [i13]Daniel Arnström, David Broman, Daniel Axehill:
Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control. CoRR abs/2304.11576 (2023) - [i12]Lars Hummelgren, Matthias Becker, David Broman:
Real-Time Probabilistic Programming. CoRR abs/2311.06788 (2023) - 2022
- [c44]Robert Bereza, Oscar Eriksson, Mohamed Rasheed-Hilmy Abdalmoaty, David Broman, Håkan Hjalmarsson:
Stochastic Approximation for Identification of Non-Linear Differential-Algebraic Equations with Process Disturbances. CDC 2022: 6712-6717 - [c43]Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman:
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. ESOP 2022: 29-56 - [i11]Linnea Stjerna, David Broman:
Programming with Context-Sensitive Holes using Dependency-Aware Tuning. CoRR abs/2209.01000 (2022) - [i10]Lars Hummelgren, John Wikman, Oscar Eriksson, Philipp Haller, David Broman:
Expression Acceleration: Seamless Parallelization of Typed High-Level Languages. CoRR abs/2211.00621 (2022) - 2021
- [j10]David Broman:
Interactive Programmatic Modeling. ACM Trans. Embed. Comput. Syst. 20(4): 33:1-33:26 (2021) - [c42]Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman:
Resolvable ambiguity: principled resolution of syntactically ambiguous programs. CC 2021: 153-164 - [c41]Mohamed Rasheed-Hilmy Abdalmoaty, Oscar Eriksson, Robert Bereza, David Broman, Håkan Hjalmarsson:
Identification of Non-Linear Differential-Algebraic Equation Models with Process Disturbances. CDC 2021: 2300-2305 - [c40]Daniel Lundén, Johannes Borgström, David Broman:
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. ESOP 2021: 404-431 - [c39]Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry:
The Behavioral Diversity of Java JSON Libraries. ISSRE 2021: 412-422 - [e5]Linh Thi Xuan Phan, David Broman:
EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8 - 15, 2021. ACM 2021, ISBN 978-1-4503-8712-5 [contents] - [i9]Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry:
The Behavioral Diversity of Java JSON Libraries. CoRR abs/2104.14323 (2021) - [i8]Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry:
Automatic Diversity in the Software Supply Chain. CoRR abs/2111.03154 (2021) - [i7]Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman:
Universal Probabilistic Programming Language Compilation with Parallel Efficient Sequential Monte Carlo Inference. CoRR abs/2112.00364 (2021) - 2020
- [j9]Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee:
Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing. ACM Trans. Internet Things 1(1): 4:1-4:27 (2020) - [c38]Saranya Natarajan, David Broman:
Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. FDL 2020: 1-8 - [i6]Daniel Lundén, Johannes Borgström, David Broman:
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. CoRR abs/2003.05191 (2020)
2010 – 2019
- 2019
- [j8]Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid co-simulation: it's about time. Softw. Syst. Model. 18(3): 1655-1679 (2019) - [c37]David Broman, Oscar Eriksson:
Functional programmatic modeling in modelyze. EOOLT 2019: 7 - [c36]Viktor Palmkvist, David Broman:
Creating Domain-Specific Languages by Composing Syntactical Constructs. PADL 2019: 187-203 - [c35]Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen:
From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C. RTSS 2019: 167-180 - [c34]David Broman:
A vision of miking: interactive programmatic modeling, sound language composition, and self-learning compilation. SLE 2019: 55-60 - [i5]Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman:
Resolvable Ambiguity. CoRR abs/1911.05672 (2019) - 2018
- [j7]Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe:
Co-Simulation: A Survey. ACM Comput. Surv. 51(3): 49:1-49:33 (2018) - [c33]Lawrence M. Murray, Daniel Lundén, Jan Kudlicka, David Broman, Thomas B. Schön:
Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs. AISTATS 2018: 1037-1046 - [c32]David Broman:
Hybrid Simulation Safety: Limbos and Zero Crossings. Principles of Modeling 2018: 106-121 - [c31]Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid Co-simulation: It's About Time. MoDELS 2018: 368 - [c30]David Broman, Jeremy G. Siek:
Gradually typed symbolic expressions. PEPM 2018: 15-29 - [c29]Saranya Natarajan, David Broman:
Timed C: An Extension to the C Programming Language for Real-Time Systems. RTAS 2018: 227-239 - [i4]Daniel Lundén, David Broman, Fredrik Ronquist, Lawrence M. Murray:
Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs. CoRR abs/1812.07439 (2018) - 2017
- [j6]Yooseong Kim, David Broman, Aviral Shrivastava:
WCET-Aware Function-Level Dynamic Code Management on Scratchpad Memory. ACM Trans. Embed. Comput. Syst. 16(4): 112:1-112:26 (2017) - [c28]Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman:
A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. IoTDI 2017: 147-158 - [c27]Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee:
An Architectural Mechanism for Resilient IoT Services. SafeThings@SenSys 2017: 8-13 - [i3]Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe:
Co-simulation: State of the art. CoRR abs/1702.00686 (2017) - [i2]David Broman:
Hybrid Simulation Safety: Limbos and Zero Crossings. CoRR abs/1710.06516 (2017) - [i1]David Broman:
A Brief Overview of the KTA WCET Tool. CoRR abs/1712.05264 (2017) - 2016
- [j5]Leif Jonsson, Markus Borg, David Broman, Kristian Sandahl, Sigrid Eldh, Per Runeson:
Automated bug assignment: Ensemble-based machine learning in large scale industrial contexts. Empir. Softw. Eng. 21(4): 1533-1578 (2016) - [c26]Viktor Kozma, David Broman:
MORAP: a modular robotic arm platform for teaching and experimenting with equation-based modeling languages. EOOLT 2016: 27-30 - [c25]Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis:
Step revision in hybrid Co-simulation with FMI. MEMOCODE 2016: 173-183 - [c24]Leif Jonsson, David Broman, Måns Magnusson, Kristian Sandahl, Mattias Villani, Sigrid Eldh:
Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems Using Bayesian Classification. QRS 2016: 423-430 - [c23]Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten:
Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. RTNS 2016: 289-298 - 2015
- [j4]Maria Vasilevskaya, David Broman, Kristian Sandahl:
Assessing Large-Project Courses: Model, Activities, and Lessons Learned. ACM Trans. Comput. Educ. 15(4): 20:1-20:30 (2015) - [c22]Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson:
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. CAV (2) 2015: 429-448 - [c21]David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Requirements for hybrid cosimulation standards. HSCC 2015: 179-188 - [c20]Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh:
A predictable and command-level priority-based DRAM controller for mixed-criticality systems. RTAS 2015: 317-326 - 2014
- [c19]Eugene Yip, Matthew M. Y. Kuo, Partha S. Roop, David Broman:
Relaxing the synchronous approach for mixed-criticality systems. RTAS 2014: 89-100 - [c18]Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee:
FlexPRET: A processor platform for mixed-criticality systems. RTAS 2014: 101-110 - [c17]Yooseong Kim, David Broman, Jian Cai, Aviral Shrivastava:
WCET-aware dynamic code management on scratchpads for Software-Managed Multicores. RTAS 2014: 179-188 - [c16]Maria Vasilevskaya, David Broman, Kristian Sandahl:
An assessment model for large project courses. SIGCSE 2014: 253-258 - [e4]Peter Pepper, David Broman:
Equation-Based Object-Oriented Modeling Languages and Tools 2014, EOOLT 2014, Berlin, Germany, October 10, 2014. ACM 2014, ISBN 978-1-4503-2953-8 [contents] - 2013
- [j3]David Broman:
High-confidence cyber-physical co-design. SIGBED Rev. 10(2): 23 (2013) - [c15]David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter:
Determinate composition of FMUs for co-simulation. EMSOFT 2013: 2:1-2:12 - 2012
- [j2]David Broman, Kristian Sandahl, Mohamed Abu Baker:
The Company Approach to Software Engineering Project Courses. IEEE Trans. Educ. 55(4): 445-452 (2012) - [c14]Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee:
A PRET microarchitecture implementation with repeatable timing and competitive performance. ICCD 2012: 87-93 - [c13]Leif Jonsson, David Broman, Kristian Sandahl, Sigrid Eldh:
Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization. ICST 2012: 437-446 - [c12]David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Viewpoints, formalisms, languages, and tools for cyber-physical systems. MPM@MoDELS 2012: 49-54 - [c11]David Broman, Henrik Nilsson:
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. PADL 2012: 258-272 - [c10]David Broman, Peter Fritzson, Görel Hedin, Johan Åkesson:
A comparison of two metacompilation approaches to implementing a complex domain-specific language. SAC 2012: 1919-1921 - 2011
- [c9]David Broman, Kristian Sandahl:
How can we make software engineering text books well-founded, up-to-date, and accessible to students? CSEE&T 2011: 386-390 - [e3]François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee:
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011. Linköping Electronic Conference Proceedings 56, Linköping University Electronic Press 2011 [contents] - 2010
- [b1]David Broman:
Meta-Languages and Semantics for Equation-Based Modeling and Simulation. Linköping University, Sweden, 2010 - [c8]David Broman:
Should Software Engineering Projects Be the Backbone or the Tail of Computing Curricula? CSEE&T 2010: 153-156 - [c7]Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman:
Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010. MoDELS (Workshops) 2010: 140-144 - [e2]Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman:
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010. Linköping Electronic Conference Proceedings 47, Linköping University Electronic Press 2010 [contents]
2000 – 2009
- 2009
- [j1]David Broman, Peter Fritzson:
High-Order Acausal Models. Simul. Notes Eur. 19(1): 5-16 (2009) - [c6]Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson:
Formal Semantics Based Translator Generation and Tool Development in Practice. Australian Software Engineering Conference 2009: 256-266 - 2008
- [c5]Peter Fritzson, David Broman, François E. Cellier:
Equation-Based Object-Oriented Languages and Tools. ECOOP Workshops 2008: 18-29 - [c4]David Broman, Peter Fritzson:
Higher-Order Acausal Models. EOOLT 2008: 59-69 - [e1]Peter Fritzson, François E. Cellier, David Broman:
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2008, Paphos, Cyprus, July 8, 2008. Linköping Electronic Conference Proceedings 29, Linköping University Electronic Press 2008 [contents] - 2007
- [c3]Peter Fritzson, David Broman, François E. Cellier, Christoph Nytsch-Geusen:
Equation-Based Object-Oriented Languages and Tools Report on the Workshop EOOLT 2007 at ECOOP 2007. ECOOP Workshops 2007: 27-39 - [c2]David Broman, Peter Fritzson:
Abstract Syntax Can Make the Definition of Modelica Less Abstract. EOOLT 2007: 111-126 - 2006
- [c1]David Broman, Kaj Nyström, Peter Fritzson:
Determining over- and under-constrained systems of equations using structural constraint delta. GPCE 2006: 151-160
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-15 19:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
