Jason Biatek

According to our database, Jason Biatek authored at least 7 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

DesCert: Design for Certification.

Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren

CoRR, 2022

Requirements-Driven Model Checking and Test Generation for Comprehensive Verification.

Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2014

Helping system engineers bridge the peaks.

Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

Analysis and testing of PLEXIL plans.

Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

2012

Integrating Statechart Components in Polyglot.

Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen

Proceedings of the NASA Formal Methods, 2012

2011

Using a large display in the periphery to support children learning through design.

K. K. Lamberty, Stephen Adams, Jason Biatek, Katherine Froiland, Jay Lapham

Proceedings of the Interaction Design and Children, 2011

2010

Encouraging awareness of peers' learning activities using large displays in the periphery.

K. K. Lamberty, Katherine Froiland, Jason Biatek, Stephen Adams

Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010