Joseph E. Hollingsworth

36 papers A* 1A 11B 5C 1Journal 7Unranked 11

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Network Visualization and Assessment of Student Reasoning About Conditionals. ITiCSE (1) Nathan Hurtig, Joseph E. Hollingsworth, Sarah Blankenship, Eileen T. Kraemer, Murali Sitaraman, Jason O. Hallstrom
2022	C	`conf`	Visualization of Students' Solutions as a Sequential Network. EDUCON Nathan Hurtig, Joseph E. Hollingsworth, Olga Scrivner
2021	—	`conf`	Automated Analysis of Student Verbalizations in Online Learning Environments. SETE Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Gloria J. Washington
2021	A	`conf`	Automated Analysis of Student Verbalizations in Online Learning Environments. SIGCSE Nazik A. Almazova, Jason O. Hallstrom, Megan Fowler, Joseph E. Hollingsworth, Murali Sitaraman, Eileen T. Kraemer, Gloria J. Washington
2021	J	`jnl`	Tool-Aided Learning of Code Reasoning with Abstraction in the CS Curriculum. Informatics Educ. Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman, Yu-Shan Sun, Jiadi Wang, Gloria J. Washington
2021	—	`conf`	Tool-Aided Loop Invariant Development: Insights into Student Conceptions and Difficulties. ITiCSE (1) Megan Fowler, Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth
2020	—	`conf`	Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions. ECSEE Megan Fowler, Eileen T. Kraemer, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth
2019	A	`conf`	Engaging in Logical Code Reasoning with an Activity-Based Online Tool. SIGCSE Joseph E. Hollingsworth, Eileen T. Kraemer, Murali Sitaraman
2019	A	`conf`	Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool. SIGCSE Megan Fowler, Michelle Cook, Kevin Plis, Tim Schwab, Yu-Shan Sun, Murali Sitaraman, Jason O. Hallstrom, Joseph E. Hollingsworth
2018	—	`conf`	An Activity-Based Undergraduate Software Engineering Course to Engage Students and Encourage Learning. ECSEE Eileen T. Kraemer, Murali Sitaraman, Joseph E. Hollingsworth
2018	B	`conf`	Where exactly are the difficulties in reasoning logically about code? experimentation with an online system. ITiCSE Michelle Cook, Megan Fowler, Jason O. Hallstrom, Joseph E. Hollingsworth, Tim Schwab, Yu-Shan Sun, Murali Sitaraman
2017	—	`conf`	Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. CSEE&T Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar
2016	A	`conf`	Mathematical Reasoning in Computing Education: Connecting Math We Teach with Writing Correct Programs (Abstract Only). SIGCSE John P. Dougherty, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman
2015	—	`conf`	Evaluation of Formal Reasoning Abilities Using a Concept Inventory. FMSEE&T@FM Joseph E. Hollingsworth, Murali Sitaraman
2015	J	`jnl`	Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. ACM Trans. Comput. Educ. Svetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Richard Pak, Murali Sitaraman
2014	A	`conf`	Special session: engaging mathematical reasoning exercises. SIGCSE Joseph E. Hollingsworth, Murali Sitaraman
2013	B	`conf`	A Language for Building Verified Software Components. ICSR Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai
2013	A	`conf`	Engaging mathematical reasoning exercises. SIGCSE Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide
2013	A	`conf`	Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). SIGCSE Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman
2013	—	`conf`	Specification and reasoning in SE projects using a Web IDE. CSEE&T Charles T. Cook, Svetlana Drachova-Strang, Yu-Shan Sun, Murali Sitaraman, Jeffrey C. Carver, Joseph E. Hollingsworth
2012	B	`conf`	A systematic approach to teaching abstraction and mathematical modeling. ITiCSE Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David Pokrass Jacobs, Joan Krone, Murali Sitaraman
2012	A	`conf`	Teaching mathematical reasoning across the curriculum. SIGCSE Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman
2012	—	`conf`	The Location Linking Concept: A Basis for Verification of Code Using Pointers. VSTTE Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth
2008	J	`jnl`	Developing a common format for sharing programming assignments. ACM SIGCSE Bull. Stephen H. Edwards, Jürgen Börstler, Lillian N. Cassel, Mark S. Hall, Joseph E. Hollingsworth
2008	B	`conf`	Teaching query writing: an informed instruction approach. ITiCSE Joseph E. Hollingsworth
2007	A	`conf`	Which pointer errors do students make? SIGCSE Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide
2004	J	`jnl`	Contract-Checking Wrappers for C++ Classes. IEEE Trans. Software Eng. Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth
2000	A	`conf`	Checkmate: cornering C++ dynamic memory errors with checked pointers. SIGCSE Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth
2000	—	`conf`	Experience report: using RESOLVE/C++ for commercial software. SIGSOFT FSE Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide
2000	B	`conf`	Reasoning about Software-Component Behavior. ICSR Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth
1998	A	`conf`	Providing intellectual focus to CS1/CS2. SIGCSE Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards
1995	A*	`conf`	Reverse Engineering of Legacy Code Exposed. ICSE Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth
1995	J	`jnl`	The Effects of Layering and Encapsulation on Software Development Cost and Quality. IEEE Trans. Software Eng. Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth
1994	J	`jnl`	Part III: implementing components in RESOLVE. ACM SIGSOFT Softw. Eng. Notes Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide
1994	J	`jnl`	Part IV: RESOLVE components in Ada and C++. ACM SIGSOFT Softw. Eng. Notes Joseph E. Hollingsworth, Sethu Sreerama, Bruce W. Weide, Sergey Zhupanov
1994	—	`conf`	What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"? TRI-Ada Murali Sitaraman, Michael B. Feldman, Gary Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide