Publikationer av David Broman

Refereegranskade

Artiklar

[1]

J. Truszkowski et al., "Online tree expansion could help solve the problem of scalability in Bayesian phylogenetics," Systematic Biology, 2023.

[2]

V. Palmkvist et al., "Statically Resolvable Ambiguity," Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, 2023.

[3]

J. Gross et al., "TECoSA – Trends, Drivers, and Strategic Directions for Trustworthy Edge Computing in Industrial Applications," INSIGHT, vol. 25, no. 4, s. 29-34, 2022.

[4]

D. Broman, "Interactive Programmatic Modeling," ACM Transactions on Embedded Computing Systems, vol. 20, no. 4, s. 1-26, 2021.

[5]

F. Ronquist et al., "Universal probabilistic programming offers a powerful approach to statistical phylogenetics," Communications Biology, vol. 4, no. 1, 2021.

[6]

H. Kim et al., "Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing," ACM Transactions on Internet of Things, vol. 1, no. 1, 2020.

[7]

F. Cremona et al., "Hybrid co-simulation : it's about time," Software and Systems Modeling, vol. 18, no. 3, s. 1655-1679, 2019.

[8]

C. Gomes et al., "Co-Simulation : A Survey," ACM Computing Surveys, vol. 51, no. 3, 2018.

[9]

M. Magnusson et al., "Sparse Partially Collapsed MCMC for Parallel Inference in Topic Models," Journal of Computational And Graphical Statistics, vol. 27, no. 2, s. 449-463, 2018.

[10]

Y. Kim, D. Broman och A. Shrivastava, "Wcet-aware function-level dynamic code management on Scratchpad memory," ACM Transactions on Embedded Computing Systems, vol. 16, no. 4, 2017.

[11]

L. Jonsson et al., "Automated bug assignment : Ensemble-based machine learning in large scale industrial contexts," Empirical Software Engineering, vol. 21, no. 4, s. 1533-1578, 2016.

[12]

M. Vasilevskaya, D. Broman och K. Sandahl, "Assessing Large-Project Courses: Model, Activities, and Lessons Learned," ACM Transactions on Computing Education, vol. 15, no. 4, 2015.

[13]

D. Broman, P. Derler och E. John C., "Temporal Issues in Cyber-Physical Systems," Journal of Indian Institute of Science, vol. 93, no. 3, s. 389-402, 2013.

[14]

D. Broman, K. Sandahl och M. Abu Baker, "The Company Approach to Software Engineering Project Courses," IEEE Transactions on Education, vol. 55, no. 4, s. 445-452, 2012.

[15]

D. Broman och P. Fritzson, "High-Order Acausal Models," Simulation News Europe, vol. 19, no. 1, 2009.

[16]

P. Fritzson et al., "The OpenModelica Modeling, Simulation, and Software Development Environment," Simulation News Europe, vol. 44, s. 8-16, 2005.

Konferensbidrag

[17]

D. Lundén et al., "Automatic Alignment in Higher-Order Probabilistic Programming Languages," i Programming Languages and Systems, 2023.

[18]

M. Lohstroh et al., "Logical Time for Reactive Software," i Proceedings of 2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023 : Workshops, 2023, s. 313-318.

[19]

O. Eriksson, V. Palmkvist och D. Broman, "Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers," i GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023, 2023, s. 57-71.

[20]

D. Lundén et al., "Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference," i Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, 2022, s. 29-56.

[21]

R. Bereza-Jarocinski et al., "Stochastic Approximation for Identification of Non-Linear Differential-Algebraic Equations with Process Disturbances," i 2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, s. 6712-6717.

[22]

D. Lundén, J. Borgström och D. Broman, "Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages," i Programming Languages and Systems, 2021, s. 404-431.

[23]

M. Abdalmoaty et al., "Identification of Non-Linear Differential-Algebraic Equation Models with Process Disturbances," i Proceedings The 60th IEEE conference on Decision and Control (CDC), 2021.

[24]

V. Palmkvist et al., "Resolvable ambiguity : Principled resolution of syntactically ambiguous programs," i CC 2021 : Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, 2021.

[25]

N. Harrand et al., "The Behavioral Diversity of Java JSON Libraries," i 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), 2021.

[26]

S. Natarajan och D. Broman, "Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics," i Proceedings of the 2020 Forum on specification & Design Languages (FDL), 2020, s. 1-8.

[27]

D. Broman, "A vision of miking : Interactive programmatic modeling, sound language composition, and self-learning compilation," i SLE 2019 - Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2019, 2019, s. 55-60.

[28]

V. Palmkvist och D. Broman, "Creating domain-specific languages by composing syntactical constructs," i 21st International Symposium on Practical Aspects of Declarative Languages, PADL 2019, 2019, s. 187-203.

[29]

S. Natarajan et al., "From Code to Weakly Hard Constraints : A Pragmatic End-to-End Toolchain for Timed C," i Proceedings - Real-Time Systems Symposium, 2019, s. 167-180.

[30]

D. Broman och O. Eriksson, "Functional programmatic modeling in modelyze," i ACM International Conference Proceeding Series, 2019.

[31]

L. Murray et al., "Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs," i Proceeding of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 2018.

[32]

F. Cremona et al., "Hybrid Co-simulation : It's about time," i Proceedings - 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, 2018.

[33]

S. Natarajan och D. Broman, "Timed C : An Extension to the C Programming Language for Real-Time Systems," i 24TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS 2018), 2018, s. 227-239.

[34]

H. Kim et al., "A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things," i Internet-of-Things Design and Implementation (IoTDI), 2017 IEEE/ACM Second International Conference on, 2017, s. 147-158.

[35]

H. Kim et al., "An Architectural Mechanism for Resilient IoT Services," i SafeThings 2017 - Proceedings of the 1st ACM International Workshop on the Internet of Safe Things, Part of SenSys 2017, 2017, s. 8-13.

[36]

D. Broman och J. G. Siek, "Gradually typed symbolic expressions," i PEPM 2018 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2018, 2017, s. 15-29.

[37]

L. Jonsson et al., "Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems using Bayesian Classification," i 2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2016), 2016, s. 425-432.

[38]

V. Kozma och D. Broman, "MORAP : a Modular Robotic Arm Platform for Teaching and Experimenting with Equation-based Modeling Languages [Work in Progress]," i Proceedings of 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), 2016, s. 27-30.

[39]

F. Cremona et al., "Step Revision in Hybrid Co-simulation with FMI," i Proceedings of the 14th ACM-IEEE International Conference on formal Methods and Models for System Design (MEMOCODE), 2016.

[40]

I. Fuhrmann et al., "Time for Reactive System Modeling : Interactive Timing Analysis with Hotspot Highlighting," i In Proceedings of the 24th International Conference on Real-Time Networks and Systems (RTNS 2016), 2016.

[41]

H. Kim et al., "A Predictable and Command- Level Priority-Based DRAM Controller for Mixed-Criticality Systems," i Proceedings of the 21th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015, s. 317-326.

[42]

A. Desai et al., "Approximate synchrony: An abstraction for distributed almost-synchronous systems," i Proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, 2015, s. 429-448.

[43]

D. Broman et al., "Requirements for Hybrid Cosimulation Standards," i Proceedings of 18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2015, s. 179-188.

[44]

M. Vasilevskaya, D. Broman och K. Sandahl, "An Assessment Model for Large Project Courses," i Proceedings of the 45th ACM Technical Symposium on Computer Science Education (SIGCSE), 2014, s. 253-258.

[45]

D. Broman et al., "Endlessly Circulating Messages in IEEE 1588-2008 Systems," i Proceedings of the International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS 2014), 2014, s. 7-12.

[46]

M. Zimmer et al., "FlexPRET: A Processor Platform for Mixed-Criticality Systems," i Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), 2014, s. 101-110.

[47]

E. Yip et al., "Relaxing the Synchronous Approach for Mixed-Criticality Systems," i Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), 2014, s. 89-100.

[48]

Y. Kim et al., "WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores," i Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2014), 2014, s. 179-188.

[49]

D. Broman et al., "Determinate Composition of FMUs for Co-Simulation," i Proceedings of the International Conference on Embedded Software (EMSOFT 2013), 2013, s. 1-12.

[50]

D. Broman et al., "Precision Timed Infrastructure : Design Challenges," i Proceedings of the Electronic System Level Synthesis Conference (ESLsyn), 2013.

[51]

L. Isaac et al., "A PRET microarchitecture implementation with repeatable timing and competitive performance," i Proceedings of the 30th IEEE International Conference on Computer Design (ICCD 2012), 2012, s. 87-93.

[52]

D. Broman et al., "A comparison of two metacompilation approaches to implementing a complex domaispecific language," i Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC), 2012, s. 1919-1921.

[53]

D. Broman, "High-confidence cyber-physical co-design," i In Proceedings of the Work-in-Progress (WiP) session of the 33rd IEEE Real-Time Systems Symposium (RTSS'12), 2012.

[54]

D. Broman och H. Nilsson, "Node-Based Connection Semanticsfor Equation-Based Object-Oriented Modeling Languages," i Proceedings of Fourteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2012), 2012, s. 258-272.

[55]

L. Jonsson et al., "Towards Automated Anomaly Report Assignment in Large Complex Systems using Stacked Generalization," i Proceedings of the Fifth International Conference on Software Testing, Verification and Validation (ICST 2012), 2012, s. 437-446.

[56]

D. Broman et al., "Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems," i Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM), 2012, s. 49-54.

[57]

D. Broman och K. Sandahl, "How can we make software engineering text books well-founded, up-to-date, and accessible to students?," i Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T 2011),, 2011, s. 386-390.

[58]

D. Broman, "Should Software Engineering Projects be the Backbone or the Tail of Computing Curricula?," i Software Engineering Education and Training (CSEE&T), 2010, 2010, s. 153-156.

[59]

P. Aronsson och D. Broman, "Extendable Physical Unit Checking with Understandable Error Reporting," i Proceedings of the 7th International Modelica Conference, 2009, s. 890-897.

[60]

P. Fritzson et al., "Formal Semantics Based Translator Generation and Tool Development in Practice," i Proceedings of 20th Australian Software Engineering Conference (ASWEC 2009), 2009, s. 256-266.

[61]

D. Broman, P. Aronsson och P. Fritzson, "Design Considerations for Dimensional Inference and Unit Consistency Checking in Modelica," i Proceedings of the 6th International Modelica Conference, 2008, s. 3-12.

[62]

D. Broman och P. Fritzson, "Abstract Syntax Can Make the Definition of Modelica Less Abstract," i Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, Berlin, Germany, 2007, s. 111-126.

[63]

K. Norling et al., "Secure Distributed Co-Simulation over Wide Area Networks," i Proceedings of the 48th Conference on Simulation and Modelling (SIMS'07), 2007, s. 14-23.

[64]

D. Broman, K. Nyström och P. Fritzson, "Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta," i Proceedings of the 5th International Conference on Generative Programming and Component Engineering, 2006, s. 151-160.

[65]

D. Broman, P. Fritzson och S. Furic, "Types in the Modelica Language," i Proceedings of the Fifth International Modelica Conference, 2006, s. 303-315.

[66]

D. Broman och P. Fritzson, "Ideas for Security Assurance in Security Critical Software using Modelica," i Conference on Modeling and Simulation for Public Safety,2005, 2005, s. 45-54.

Kapitel i böcker

[67]

D. Broman, "Hybrid Simulation Safety : Limbos and Zero Crossings," i Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, : Springer, 2018, s. 106-121.

Icke refereegranskade

Konferensbidrag

[68]

D. Broman, "Growing an Equation-Based Object-Oriented Modeling Language," i Proceedings of the 6th Vienna International Conference on Mathematical Modelling (MATHMOD 2009 ), 2009, s. 1316-1324.

Kapitel i böcker

[69]

P. Fritzson et al., "Equation-based object-oriented modeling languages and tools : Report on the workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010," i Models in Software Engineering, Juergen Dingel, Arnor Solberg red., : Springer, 2011, s. 140-144.

[70]

P. Fritzson, D. Broman och F. Cellier, "Equation-based object-oriented languages and tools : Report on the 2nd workshop EOOLT at ECOOP 2008," i Object-Oriented Technology, Patrick Eugster red., 1. uppl. : Springer Berlin/Heidelberg, 2009, s. 18-29.

[71]

P. Fritzson et al., "Equation-based object-oriented languages and tool : Report on the Workshop EOOLT 2007 at ECOOP 2007," i Object-Oriented Technology, Cebulla, M red., : Springer, 2007, s. 27-39.

Avhandlingar

[72]

D. Broman, "Meta-Languages and Semantics for Equation-Based Modeling and Simulation," Doktorsavhandling Linköping : Linköping University Electronic Press, Linköping Studies in Science and Technology. Dissertations, 1333, 2010.

[73]

D. Broman, "Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments," Licentiatavhandling : Institutionen för datavetenskap, Linköping Studies in Science and Technology. Thesis, 1337, 2007.

Rapporter

[74]

N. Harrand et al., "Automatic Diversity in the Software Supply Chain," , 2021.

[75]

M. Weiss et al., "Time-Aware Applications, Computers, and Communication Systems (TAACCS)," NIST, NIST Technical Note, 1867, 2015.

[76]

I. Fuhrmann et al., "Towards Interactive Timing Analysis for Designing Reactive Systems," , UC Berkeley EECS Technical Report, UCB/EECS-2014-26, 2014.

[77]

D. Broman och J. G. Siek, "Modelyze : a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages," , Technical report UCB/EECS, 2012-173, 2012.

[78]

D. Broman, "Flow Lambda Calculus for Declarative Physical Connection Semantics," Linköping : Linköping University Electronic Press, Technical reports in Computer and Information Science, 1, 2007.