Carnegie Mellon University cmu-wordmark

Bjorn Andersson

Software Engineering Institute

Explainable Verification for Rapid Certification
• Presentation

By Bjorn Andersson

Assurance Evidence of Continuously Evolving Real-Time Systems (ASERT) Workshop 2024
• Special Report

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

Explainable Verification: Survey, Situations, and New Ideas
• White Paper

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

Encoding Verification Arguments to Analyze High-Level Design Certification Claims: Experiment Zero (E0)
• 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 (William & Mary) , David Tate (Institute of Defense Analysis) , Gordon Putsche (The Boeing Company) , Ronald Koontz (Boeing Company)

Mixed-Trust Computing for Real-Time Systems
• Conference Paper

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

More from Bjorn Andersson

Assurance Evidence of Continuously Evolving Real-Time Systems (ASERT) Workshop 2024
• Special Report

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

Explainable Verification: Survey, Situations, and New Ideas
• White Paper

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

Encoding Verification Arguments to Analyze High-Level Design Certification Claims: Experiment Zero (E0)
• 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 (William & Mary) , 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
• Poster

By Bjorn Andersson

Using All Processor Cores While Being Confident about Timing
• Poster

By Bjorn Andersson

More from Bjorn Andersson
Headshot of Bjorn Andersson. Send a Message