| Automated Analysis of Student Verbalizations in Online Learning Environments | 0 | 0.34 | 2021 |
| F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails. | 0 | 0.34 | 2021 |
| Automated Analysis of Student Verbalizations in Online Learning Environments | 0 | 0.34 | 2021 |
| Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool | 1 | 0.48 | 2020 |
| Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions. | 0 | 0.34 | 2020 |
| How Can We Engage in Inclusive, Culturally Responsive Computer Science? | 0 | 0.34 | 2020 |
| Engaging in Logical Code Reasoning with an Activity-Based Online Tool | 0 | 0.34 | 2020 |
| Narratives and Evaluation: How to Write Competitive NSF CS Education Proposals | 0 | 0.34 | 2020 |
| Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. | 3 | 0.51 | 2018 |
| Understanding the Essence of Successful Computing Education Projects through Analyzing NSF Proposals: (Abstract Only). | 0 | 0.34 | 2018 |
| A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques. | 0 | 0.34 | 2018 |
| An Activity-Based Undergraduate Software Engineering Course To Engage Students And Encourage Learning | 0 | 0.34 | 2018 |
| Special Session: ICER UP CS Ed Research Workshop Summary-Essence of Illustrative Projects. | 0 | 0.34 | 2017 |
| Engineering and Employing Reusable Software Components for Modular Verification. | 1 | 0.37 | 2017 |
| Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions | 1 | 0.36 | 2017 |
| Formalization IDEs Integrated with a Verifying Compiler | 0 | 0.34 | 2017 |
| Panel: Engage in Reasoning with Tools. | 0 | 0.34 | 2016 |
| Tool-Assisted Loop Invariant Development and Analysis | 2 | 0.38 | 2016 |
| Experience report: evolution of a web-integrated software development and verification environment. | 1 | 0.35 | 2015 |
| Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment | 8 | 0.61 | 2015 |
| Formal Reasoning Using An Iterative Approach With An Integrated Web Ide | 1 | 0.36 | 2015 |
| Evaluation of Formal Reasoning Abilities Using a Concept Inventory. | 0 | 0.34 | 2015 |
| An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering | 4 | 0.45 | 2014 |
| Special session: engaging mathematical reasoning exercises | 0 | 0.34 | 2014 |
| Special session: \"hands-on\" tutorial: teaching software correctness with RESOLVE | 2 | 0.54 | 2014 |
| A web-integrated verifying compiler for RESOLVE: a research perspective | 3 | 0.43 | 2014 |
| Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only) | 0 | 0.34 | 2013 |
| Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques | 0 | 0.34 | 2013 |
| Engaging mathematical reasoning exercises | 1 | 0.40 | 2013 |
| A Language for Building Verified Software Components. | 0 | 0.34 | 2013 |
| A case study in verification of embedded network software | 0 | 0.34 | 2012 |
| Mathematical reasoning at the crossroads | 0 | 0.34 | 2012 |
| The location linking concept: a basis for verification of code using pointers | 3 | 0.42 | 2012 |
| Teaching mathematical reasoning across the curriculum | 6 | 0.82 | 2012 |
| A systematic approach to teaching abstraction and mathematical modeling | 4 | 0.48 | 2012 |
| Specification engineering and modular verification using a web-integrated verifying compiler | 12 | 0.80 | 2012 |
| Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only) | 0 | 0.34 | 2012 |
| Making mathematical reasoning fun: tool-assisted, collaborative techniques | 0 | 0.34 | 2011 |
| Building a push-button RESOLVE verifier: Progress and challenges | 28 | 1.72 | 2011 |
| Some developments in mathematical thinking for computer science education since computing curricula 2001 | 3 | 0.53 | 2010 |
| Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? | 7 | 0.55 | 2009 |
| Engaging students in specification and reasoning: "hands-on" experimentation and evaluation | 5 | 0.79 | 2009 |
| Compositional performance prediction exemplified using generic object finalization analysis | 0 | 0.34 | 2009 |
| Generating Verified Java Components through RESOLVE | 6 | 0.51 | 2009 |
| Detecting overflow vulnerabilities using automated verification | 0 | 0.34 | 2009 |
| Injecting rapid feedback and collaborative reasoning in teaching specifications | 5 | 0.54 | 2009 |
| Courseware for teaching analytical reasoning principles: a hands-on laboratory | 0 | 0.34 | 2009 |
| Incremental Benchmarks for Software Verification Tools and Techniques | 19 | 1.10 | 2008 |
| Abstracting Pointers for a Verifying Compiler | 1 | 0.34 | 2007 |
| Roadmap for enhanced languages and methods to aid verification | 35 | 1.54 | 2006 |
