Author: "Michael W. Whalen" / Journal: ase - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Michael W. Whalen"' showing total 4 results

Start Over Author "Michael W. Whalen" Journal ase

4 results on '"Michael W. Whalen"'

1. Synthesis of Infinite-State Systems with Random Behavior.

Author: Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, and Michael W. Whalen
Published: 2020
Full Text: View/download PDF

2. Proof-based coverage metrics for formal verification.

Author: Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, and Lucas G. Wagner
Published: 2017
Full Text: View/download PDF

3. Deviation Analysis Through Model Checking.

Author: Mats Per Erik Heimdahl, Yunja Choi, and Michael W. Whalen
Published: 2002
Full Text: View/download PDF

4. An Approach to Automatic Code Generation for Safety-Critical Systems.

Author: Michael W. Whalen and Mats Per Erik Heimdahl
Published: 1999
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results