Jason Biatek

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 2

Top Topics

Search Algorithm

Multiresolution

Computer Scientists

Hough Transform

Top Venues

Publications

Devesh Bhatt, Hao Ren, Anitha Murugesan, Jason Biatek, Srivatsan Varadarajan, Natarajan Shankar
Requirements-Driven Model Checking and Test Generation for Comprehensive Verification. NFM (2022)
Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
DesCert: Design for Certification. CoRR (2022)
Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry
Analysis and testing of PLEXIL plans. FormaliSE (2014)
Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet
Helping system engineers bridge the peaks. TwinPeaks (2014)
Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen
Integrating Statechart Components in Polyglot. NASA Formal Methods (2012)
K. K. Lamberty, Stephen Adams, Jason Biatek, Katherine Froiland, Jay Lapham
Using a large display in the periphery to support children learning through design. IDC (2011)
K. K. Lamberty, Katherine Froiland, Jason Biatek, Stephen Adams
Encouraging awareness of peers' learning activities using large displays in the periphery. CHI Extended Abstracts (2010)