AADL-Based safety analysis using formal methods applied to aircraft digital systems von Stewart, Danielle, Liu, Jing (Janet), Cofer, Darren, Heimdahl, Mats, Whalen, Michael W., Peterson, Michael

Volltext

A Formal Approach to Constructing Secure Air Vehicle Software von Cofer, Darren, Gacek, Andrew, Backes, John, Whalen, Michael W., Pike, Lee, Foltzer, Adam, Podhradsky, Michal, Klein, Gerwin, Kuz, Ihor, Andronick, June, Heiser, Gernot, Stuart, Douglas

Volltext

Requirements and Architectures for Secure Vehicles von Whalen, Michael W., Cofer, Darren, Gacek, Andrew

Volltext

Reasoning About Algebraic Data Types with Abstractions von Pham, Tuan-Hung, Gacek, Andrew, Whalen, Michael W.

Volltext

Your "What" Is My "How": Iteration and Hierarchy in System Design von Whalen, M. W., Gacek, A., Cofer, D., Murugesan, A., Heimdahl, M. P. E., Rayadurgam, S.

Volltext

The effect of program and model structure on mc/dc test adequacy coverage von Rajan, A., Whalen, M.W., Heimdahl, M.P.E.

Volltext

From Requirements to Code: Model Based Development of a Medical Cyber Physical System von Murugesan, Anitha, Heimdahl, Mats P. E., Whalen, Michael W., Rayadurgam, Sanjai, Komp, John, Duan, Lian, Kim, Baek-Gyu, Sokolsky, Oleg, Lee, Insup

Volltext

Proofs for Incremental SAT with Inprocessing von Kiesl-Reiter, Benjamin, Whalen, Michael W.

Volltext

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

Volltext

Proving the shalls: Early validation of requirements through formal methods von Miller, Steven P., Tribble, Alan C., Whalen, Michael W., Heimdahl, Mats P. E.

Volltext

Deviation Analysis: A New Use of Model Checking von Heimdahl, Mats P. E., Choi, Yunja, Whalen, Michael W.

Volltext

High-integrity code generation for state-based formalisms von Whalen, Michael W.

Volltext

Up and out: scaling formal analysis using model-based development and architecture modeling von Whalen, Michael W.

Volltext

Requirements Analysis of a Quad-Redundant Flight Control System von Backes, John, Cofer, Darren, Miller, Steven, Whalen, Michael W.

Volltext

Programs, tests, and oracles: the foundations of testing revisited von Staats, Matt, Whalen, Michael W., Heimdahl, Mats P.E.

Volltext

Towards Realizability Checking of Contracts Using Theories von Gacek, Andrew, Katis, Andreas, Whalen, Michael W., Backes, John, Cofer, Darren

Volltext

Reduction and slicing of hierarchical state machines von Heimdahl, Mats P. E., Whalen, Michael W.

Volltext

On Implementing Real-Time Specification Patterns Using Observers von Backes, John D., Whalen, Michael W., Gacek, Andrew, Komp, John

Volltext

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET von Mavridou, Anastasia, Katis, Andreas, Giannakopoulou, Dimitra, Kooi, David, Pressburger, Thomas, Whalen, Michael W.

Volltext

Compositional Verification of Architectural Models von Cofer, Darren, Gacek, Andrew, Miller, Steven, Whalen, Michael W., LaValley, Brian, Sha, Lui

Volltext