David Broman

According to our database, David Broman authored at least 70 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.

Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman

Proceedings of the Programming Languages and Systems, 2024

2023

Statically Resolvable Ambiguity.

Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman

Proc. ACM Program. Lang., January, 2023

Real-Time Probabilistic Programming.

Lars Hummelgren, Matthias Becker, David Broman

CoRR, 2023

Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control.

Daniel Arnström, David Broman, Daniel Axehill

CoRR, 2023

Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages.

Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman

CoRR, 2023

Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers.

Oscar Eriksson, Viktor Palmkvist, David Broman

Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023

Automatic Alignment in Higher-Order Probabilistic Programming Languages.

Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman

Proceedings of the Programming Languages and Systems, 2023

Logical Time for Reactive Software.

Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages.

Lars Hummelgren, John Wikman, Oscar Eriksson, Philipp Haller, David Broman

CoRR, 2022

Programming with Context-Sensitive Holes using Dependency-Aware Tuning.

Linnea Stjerna, David Broman

CoRR, 2022

Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.

Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman

Proceedings of the Programming Languages and Systems, 2022

Stochastic Approximation for Identification of Non-Linear Differential-Algebraic Equations with Process Disturbances.

Robert Bereza, Oscar Eriksson, Mohamed Rasheed-Hilmy Abdalmoaty, David Broman, Håkan Hjalmarsson

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Interactive Programmatic Modeling.

David Broman

ACM Trans. Embed. Comput. Syst., 2021

Universal Probabilistic Programming Language Compilation with Parallel Efficient Sequential Monte Carlo Inference.

Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman

CoRR, 2021

Automatic Diversity in the Software Supply Chain.

Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry

CoRR, 2021

The Behavioral Diversity of Java JSON Libraries.

Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.

Daniel Lundén, Johannes Borgström, David Broman

Proceedings of the Programming Languages and Systems, 2021

Identification of Non-Linear Differential-Algebraic Equation Models with Process Disturbances.

Mohamed Rasheed-Hilmy Abdalmoaty, Oscar Eriksson, Robert Bereza, David Broman, Håkan Hjalmarsson

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Resolvable ambiguity: principled resolution of syntactically ambiguous programs.

Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman

Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020

Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing.

Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee

ACM Trans. Internet Things, 2020

Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics.

Saranya Natarajan, David Broman

Proceedings of the Forum for Specification and Design Languages, 2020

2019

Hybrid co-simulation: it's about time.

Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis

Softw. Syst. Model., 2019

Resolvable Ambiguity.

Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman

CoRR, 2019

A vision of miking: interactive programmatic modeling, sound language composition, and self-learning compilation.

David Broman

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C.

Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Creating Domain-Specific Languages by Composing Syntactical Constructs.

Viktor Palmkvist, David Broman

Proceedings of the Practical Aspects of Declarative Languages, 2019

Functional programmatic modeling in modelyze.

David Broman, Oscar Eriksson

Proceedings of the EOOLT '19: 9th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2019

2018

Co-Simulation: A Survey.

Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe

ACM Comput. Surv., 2018

Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs.

Daniel Lundén, David Broman, Fredrik Ronquist, Lawrence M. Murray

CoRR, 2018

Timed C: An Extension to the C Programming Language for Real-Time Systems.

Saranya Natarajan, David Broman

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Gradually typed symbolic expressions.

David Broman, Jeremy G. Siek

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

Hybrid Simulation Safety: Limbos and Zero Crossings.

David Broman

Proceedings of the Principles of Modeling, 2018

Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs.

Lawrence M. Murray, Daniel Lundén, Jan Kudlicka, David Broman, Thomas B. Schön

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2018

2017

WCET-Aware Function-Level Dynamic Code Management on Scratchpad Memory.

Yooseong Kim, David Broman, Aviral Shrivastava

ACM Trans. Embed. Comput. Syst., 2017

A Brief Overview of the KTA WCET Tool.

David Broman

CoRR, 2017

Co-simulation: State of the art.

Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe

CoRR, 2017

An Architectural Mechanism for Resilient IoT Services.

Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee

Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 2017

A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things.

Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman

Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

2016

Automated bug assignment: Ensemble-based machine learning in large scale industrial contexts.

Leif Jonsson, Markus Borg, David Broman, Kristian Sandahl, Sigrid Eldh, Per Runeson

Empir. Softw. Eng., 2016

Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting.

Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems Using Bayesian Classification.

Leif Jonsson, David Broman, Måns Magnusson, Kristian Sandahl, Mattias Villani, Sigrid Eldh

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Step revision in hybrid Co-simulation with FMI.

Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

MORAP: a modular robotic arm platform for teaching and experimenting with equation-based modeling languages.

Viktor Kozma, David Broman

Proceedings of the 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2016

2015

Assessing Large-Project Courses: Model, Activities, and Lessons Learned.

Maria Vasilevskaya, David Broman, Kristian Sandahl

ACM Trans. Comput. Educ., 2015

A predictable and command-level priority-based DRAM controller for mixed-criticality systems.

Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Requirements for hybrid cosimulation standards.

David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems.

Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

An assessment model for large project courses.

Maria Vasilevskaya, David Broman, Kristian Sandahl

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

FlexPRET: A processor platform for mixed-criticality systems.

Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Relaxing the synchronous approach for mixed-criticality systems.

Eugene Yip, Matthew M. Y. Kuo, Partha S. Roop, David Broman

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

WCET-aware dynamic code management on scratchpads for Software-Managed Multicores.

Yooseong Kim, David Broman, Jian Cai, Aviral Shrivastava

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

2013

High-confidence cyber-physical co-design.

David Broman

SIGBED Rev., 2013

Determinate composition of FMUs for co-simulation.

David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter

Proceedings of the International Conference on Embedded Software, 2013

2012

The Company Approach to Software Engineering Project Courses.

David Broman, Kristian Sandahl, Mohamed Abu Baker

IEEE Trans. Educ., 2012

A comparison of two metacompilation approaches to implementing a complex domain-specific language.

David Broman, Peter Fritzson, Görel Hedin, Johan Åkesson

Proceedings of the ACM Symposium on Applied Computing, 2012

Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages.

David Broman, Henrik Nilsson

Proceedings of the Practical Aspects of Declarative Languages, 2012

Viewpoints, formalisms, languages, and tools for cyber-physical systems.

David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization.

Leif Jonsson, David Broman, Kristian Sandahl, Sigrid Eldh

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

A PRET microarchitecture implementation with repeatable timing and competitive performance.

Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee

Proceedings of the 30th International IEEE Conference on Computer Design, 2012

2011

How can we make software engineering text books well-founded, up-to-date, and accessible to students?

David Broman, Kristian Sandahl

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010

Meta-Languages and Semantics for Equation-Based Modeling and Simulation.

David Broman

PhD thesis, 2010

Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010.

Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman

Proceedings of the Models in Software Engineering, 2010

Should Software Engineering Projects Be the Backbone or the Tail of Computing Curricula?

David Broman

Proceedings of the Proceedings 23rd IEEE Conference on Software Engineering Education and Training, 2010

2009

High-Order Acausal Models.

David Broman, Peter Fritzson

Simul. Notes Eur., 2009

Formal Semantics Based Translator Generation and Tool Development in Practice.

Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008

Higher-Order Acausal Models.

David Broman, Peter Fritzson

Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008

Equation-Based Object-Oriented Languages and Tools.

Peter Fritzson, David Broman, François E. Cellier

Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

2007

Abstract Syntax Can Make the Definition of Modelica Less Abstract.

David Broman, Peter Fritzson

Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007

Equation-Based Object-Oriented Languages and Tools Report on the Workshop EOOLT 2007 at ECOOP 2007.

Peter Fritzson, David Broman, François E. Cellier, Christoph Nytsch-Geusen

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

2006

Determining over- and under-constrained systems of equations using structural constraint delta.

David Broman, Kaj Nyström, Peter Fritzson

Proceedings of the Generative Programming and Component Engineering, 2006