|
Dr. Joan Krone
Ph.D. in Computer Science from Ohio State University, 1988
M.S. in Computer Science from Ohio State University, 1983
M.S. in Mathematics from Ohio State University, 1967
B.S. in Mathematics from West Liberty State College, 1963
View Joan's personal page.
|
Teaching
Past Courses
FYS 102: History of Computing Technology, Fall 2007
CS 349: Software Engineering, Fall 2007
CS 334: Theory of Computation, Fall 2004
CS 349: Software Engineering, Fall 2004
CS 349: Applications of Theory and Research to Software Engineering
CS 402: Graphics, Fall 2005
Research
Books
Feil, Todd, and Joan Krone. Essetial Discrete Mathematics for Computer Science. Prentice-Hall, 2003.
Publications
Krone, Joan, Jason Hallstrom, and Murali Sitrarman. "Mathematics Throughout the CS Curriculum." CCSC 2011 Proceedings, 2011.
Hallstrom, Jason, Murali Sitaraman, and Joan Krone. "Making Mathematical Reasoning Fun: Tool-Assisted, Collaborative Techniques." ACMSE Proceedings, 2011.
Drachova, S.V., J.E. Hollingsworth, D.P. Jacobs, J. Krone, and M. Sitaraman. "A Systematic Approach to Teaching Abstraction and Mathematical Modeling." Technical Report RSRG-11-02. School of Computing, Clemson University, Clemson, SC. September 6, 2011: 6 pages.
Drachova, S.V., J.O. Hallstrom, J.E. Hollingsworth, J. Krone, R. Pak, and M. Sitaraman. "Assessment of Learning outcomes Using a Mathematical Reasoning Concept Inventory." Technical Report RSRG-11-01. School of Computing, Clemson University, Clemson, SC. September 6, 2011: 6 pages.
Sitaraman, Murali, Bruce Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Feiedman, Heather Harton, Wayne Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, and Bruce W. Weide. "Building a Push-Button RESOLVE Verifier: Progress and Challenges." Formal Aspects of Computing. 2010: 34 pages.
Krone, Joan, J.E. Hollingsworth, M. Sitaraman, and J.O. Hallstrom. "A Reasoning Concept Inventory for Computer Science." Technical Report RSRG-10-01. School of Computing, Clemson University, Clemson, SC. September 6, 2011: 6 pages.
Sitaraman, M., J. Hallstrom, J. White, S. Drachova-Strang, H. Harton, D. Leonard, J. Krone, and R. Pak. "Engaging Students in Specification and Reasoning Hands-on Experimentation and Evaluation." Proceedings of the 14th Annual ACM/SIGSCE Conference on Innovation and Technology in Computer Science Education, 2009.
Sitaraman, M., J. Hallstrom, J. White, S. Drachova-Strang, H. Harton, D. Leonard, J. Krone, and R. Pak. "Engaging Students in Specification and Reasoning: Hands-on Experiementation and Evaluation." Proceedings of ITiCSE, 2009.
Smith, H., K. Roche, M. Sitaraman, J. Krone, and W.F. Ogden. "Integrating Math Units and Proof Checking for Specification and Verification." Proceedings of Specification and Verification of Component Based Software Workshop. Atlanta: November 9-10, 2008.
Keown, H., J. Krone, and M. Sitaraman. "Formal Program Verification." The Encyclopedia of Computer Science and Engineering. 2008.
Krone, J., W.F. Ogden, M. Sitaraman, and B.W. Weide. "Refocusing the Verifying Compiler Grand Challenge." Technical Report RSRG-08-01. School of Computing, Clemson University, Clemson, SC. June, 2008: 10 pages.
Behrend, Sam, Joan Krone, and William F. Ogden. "Program Justification: Verifying Code Semantics with Mathematics." Proceedings of MCURCSM, 2007.
Hallstrom, J.O., J. Krone, R. Pak, and M. Sitaraman. "The Collaborative Reasoning Paradigm." Proceedings of the RESOLVE 2007 Workshop. Clemson, June 11-13, 2007.
Krone, Joan, and William F. Ogden. "RESOLVE 2007: Current State of Verification." Proceedings of the RESOLVE 2007 Workshop. Clemson, June 11-13, 2007.
Hollingsworth, J.E., J. Krone, W.F. Ogden, N. Sitaraman, B.W. Weide. "The RESOLVE Software Verification Vision." Proceedings of the RESOLVE 2007 Workshop. Clemson, June 11-13, 2007.
Krone, Joan. "Meeting the Challenge for Discrete Mathematics for Computer Science: the Power of Symbols." CCSC 2007 Proceedings, 2007.
Krone, Joan, William F. Ogden, and Murali Sitaraman. "Performance Analysis Based upon Complete Profiles." SAVCBS Workshop, November 10-11, 2006.
Krone, Joan. "A Project Approach to the Theory of Programming Languages." CCSC 2006 Proceedings, 2006.
Fressola, Anthony, Joan Krone, Stoyan Paunov, and Michael Westmoreland. "Characterization of Boolean Topological Logics." The Journal of Multiple Valued Logics. 2006: 409-415.
Krone, Joan and William F. Ogden. "Software Verification is not dead, but it needs a new way to Express Mathematics." Proceedings of RESOLVE 2006 Workshop. Virginia Tech, March 22-23, 2006.
Krone, Joan, and Nathan Schmidt. "Constructing and Effocient and Easily Distributable Virtual Tour." Proceedings of MCURCSM 2005.
Krone, Joan. "Keeping Pointers or Referemces Under Control." The Journal of Computing Sciences in Colleges. 20, No. 1. (2004): 42-53.
Krone, Joan, William F. Ogden, and Murali Sitaraman. "Profiles: A Compositional Mechanism for Performance Specifications." Technical Report RSRG-04-03. Department of Computer Science, Clemson University, Clemson, SC. June, 2004.
Fressola, Anthony, and Joan Krone. "Induction by Construction." Proceedings of the MCURCSM 2003.
Krone, Joan. "Multiple Implementations for Component Based Software Using Java Interfaces." The Journal of Computing Sciences in Colleges. 19, No. 1 (2003).
Krone, Joan, William F. Ogden, and Murali Sitaraman. "OO Big O: A Sensitive Notation for Software Engineering." Technical Report RSRG-03-06. Department of Computer Science, Clemson University, Clemson, SC., 2003.
Krone, Joan, and William F. Ogden. "Abstract OO big O." Proceedings of the Workshop on Specification and Verification of Component-Based Systems. 2003.
Krone, Joan, William F. Ogden, and Mirali Sitaraman. "Modular Verification of Performance Constraints through Industrial Case Studies." Technical Report RSRG-03-04. School of Computing, Clemson University, Clemson, SC. September, 2003: 25 pages.
Krone, Joan. "When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies." Proceedings of the 15th Conference on Software Engineering Education and Training, 2002.
Krone, Joan, and Michael Westmoreland. "Derivation Schemes in Twin Open Set Logic." Collision-Based Computing. Andrew Adamatzky, Editor, Springer-Verlag, 2002. 201-229.
Krone, Joan, William F. Ogden, and Murali Sitaraman. "Modular Verification of Performance Correctness." Proceedings of Specification and Verification Workshop at OPPSLA. 2001.
Feil, Todd, and Joan Krone. "Incorporating Mathematics into the First Year CS Program: A New Approach to CS2." Proceedings of the Midwest Computing Conference. 2001.
Krone, Joan and Murali Sitaraman. "Performance Specification of Reusable Software Components." Proceedings of ACM Symposium on Software Reusability. May, 2001.Krone, Joan, and William F. Ogden, and Murali Sitaraman. "Modular Verification of Performance Correctness." Proceedings of Specification and Verification Workshop at OOPSLA. October, 2001.
Krone, Joan and Michael Westmoreland. "Collision models for multiple-value logic gates." Multiple-Valued Logic Journal, June, 2000.
Krone, Joan. "Teaching and Learning through Industrial Partnerships." accepted by the Conference on College Teaching and Learning, April, 1999. (an invited paper).
Krone, Joan with Michael Westmoreland. "Phase Space Logics for analysis of physical models of computation." PhysicaD, Fall 1998.
Krone, Joan and William F. Ogden. "There's a Better Way to Define the Correct Realization Notion." Proceedings of the Workshop on Reusable Software, March 1997.
Krone, Joan. "Using Symbolic Computation for Teaching Data Structures and Algorithm Analysis." SIGSCE Bulletin. 1996.
Krone, Joan, and Michael Westmoreland. "Applications of Non-Standard Logic to the Billiard Ball Model of Computation." Proceedings of PhysComp. 1996.
Krone, Joan and others. "Use of Laboratories in Computer Science Education: Guidelines for Good Practice." Journal for SIGCSE, October 1996.
Krone, Joan. "Symbolic Computation in CS2." Proceedings of International Conference on Computers in Education. 1996.
Bucci, P., J. Hollingsworth, J. Krone, and B. Weide. "Implementing Components in RESOLVE." ACM Software Engineering Notes, October 1994.
Krone,Joan. "Trees as Inductive Structures." Computer Science Education Journal. 1994.
Krone, Joan, and Murali Sitaraman. "On Modularity and Tightness of Real-Time Verification." Tenth IEEE Workshop on Real-Time Operating Systems and Software. May, 1993: pages 109-115.
Krone, Joan. "A Modular System for Verification of Functionality and Performance Correctness." West Virginia University TR 93-5, May 1993.
Krone, Joan. "Student Designed Machines for A Theory of Computation Course." SIGCSE Bulletin, September 1992.
Krone, Joan. "Proof Rules for Modules." OSU-CISRC-3/90TR7, March 1990.
Krone, Joan. "Termination Rules for While Loops and Recursive Procedures." OSU-CISRC-10/89 TR 48, October 1989.
Thesis: The Role of Verification in Software Reusability
1988.