Bjorn Andersson

Software Engineering Institute

All

Tech Publications

Blog Posts

Videos

Explainable Verification: Survey, Situations, and New Ideas

April 16, 2024 • White Paper

By Bjorn Andersson, Dionisio de Niz, Mark H. Klein

Encoding Verification Arguments to Analyze High-Level Design Certification Claims: Experiment Zero (E0)

January 18, 2024 • White Paper

By Dionisio de Niz, Bjorn Andersson, Mark H. Klein, John Lehoczky (Carnegie Mellon University), Hyoseung Kim (University of California, Riverside), George Romanski (Federal Aviation Administration), Jonathan Preston (Lockheed Martin Corporation), Daniel Shapiro (Institute of Defense Analysis), Floyd Fazi (Lockheed Martin Corporation), Douglas Schmidt (Vanderbilt University), David Tate (Institute of Defense Analysis), Gordon Putsche (The Boeing Company), Ronald Koontz (Boeing Company)

Mixed-Trust Computing for Real-Time Systems

October 16, 2023 • Conference Paper

By Dionisio de Niz, Bjorn Andersson, John Lehoczky (Carnegie Mellon University), Amit Vasudevan, Hyoseung Kim (University of California, Riverside), Gabriel Moreno

Predictable Use of Multicore in the Army and Beyond

May 4, 2022 • Webcast

By Bjorn Andersson, Dionisio de Niz

Multicore Confidence

November 7, 2021 • Presentation

By Bjorn Andersson

More from Bjorn Andersson

Explainable Verification: Survey, Situations, and New Ideas

April 16, 2024 • White Paper

By Bjorn Andersson, Dionisio de Niz, Mark H. Klein

Encoding Verification Arguments to Analyze High-Level Design Certification Claims: Experiment Zero (E0)

January 18, 2024 • White Paper

By Dionisio de Niz, Bjorn Andersson, Mark H. Klein, John Lehoczky (Carnegie Mellon University), Hyoseung Kim (University of California, Riverside), George Romanski (Federal Aviation Administration), Jonathan Preston (Lockheed Martin Corporation), Daniel Shapiro (Institute of Defense Analysis), Floyd Fazi (Lockheed Martin Corporation), Douglas Schmidt (Vanderbilt University), David Tate (Institute of Defense Analysis), Gordon Putsche (The Boeing Company), Ronald Koontz (Boeing Company)

Poster - Using All Processor Cores While Being Confident about Timing

November 4, 2020 • Poster

By Bjorn Andersson

Using All Processor Cores While Being Confident about Timing

October 28, 2019 • Poster

By Bjorn Andersson

Timing Verification of Undocumented Multicore

October 23, 2018 • Poster

By Bjorn Andersson

More from Bjorn Andersson

Verifying Timing in Undocumented Multicore Processors

August 3, 2020 • Blog Post

By Bjorn Andersson

Real-Time Scheduling on Heterogenous Multicore Processors

March 12, 2012 • Blog Post

By Bjorn Andersson

More from Bjorn Andersson

Predictable Use of Multicore in the Army and Beyond

May 4, 2022 • Webcast

By Bjorn Andersson, Dionisio de Niz

Multicore Confidence

November 4, 2021 • Video

By Bjorn Andersson

Using All Processor Cores While Being Confident about Timing

November 11, 2019 • Video

By Bjorn Andersson

More from Bjorn Andersson

Send a Message