Encouraging awareness of peers' learning activities using large displays in the periphery. - K. K. Lamberty; Katherine Froiland; Jason Biatek; Stephen Adams (CHI Extended Abstracts, 2010)

Using a large display in the periphery to support children learning through design. - K. K. Lamberty; Stephen Adams; Jason Biatek; Katherine Froiland; Jay Lapham (IDC, 2011)

Integrating Statechart Components in Polyglot. - Daniel Balasubramanian; Corina S. Pasareanu; Jason Biatek; Thomas Pressburger; Gabor Karsai; Michael R. Lowry; Michael W. Whalen (NASA Formal Methods, 2012)

Analysis and testing of PLEXIL plans. - Jason Biatek; Michael W. Whalen; Mats Per Erik Heimdahl; Sanjai Rayadurgam; Michael R. Lowry (FormaliSE, 2014)

Helping system engineers bridge the peaks. - Neha Rungta; Oksana Tkachuk; Suzette Person; Jason Biatek; Michael W. Whalen; Joseph Castle; Karen Gundy-Burlet (TwinPeaks, 2014)

Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. - Devesh Bhatt; Hao Ren 004; Anitha Murugesan; Jason Biatek; Srivatsan Varadarajan; Natarajan Shankar (NFM, 2022)

DesCert: Design for Certification. - Natarajan Shankar; Devesh Bhatt; Michael D. Ernst; Minyoung Kim; Srivatsan Varadarajan; Suzanne Millstein; Jorge Navas 003; Jason Biatek; Huascar Sanchez; Anitha Murugesan; Hao Ren 004 (CoRR, 2022)