Quick Links
Resolve
- Challenge
- ReSoLVe Verification - Powerpoint
- Verification Keynote
Joan's primary research interest is the application of formal methods to the design of reusable, component based software systems. In particular she works toward the design of mathematical specifications for modular software, including the specification of performance as well as functionality. Her work includes the development of automatable proof rules for checking correctness of software.
Recent work includes the proof that auxiliary variables are not only a convenience, but a necessity in defining correspondences (abstraction functions), a new definition for big O, called OO Big_O for analysis of objected oriented software, a definition of what it means for software to be correct, independent of proof rules.
Joan is also interested in bringing research into the classroom, as well as searching for both the right content and the right pedagogy for presenting CS ideas in a variety of courses.
Joan collaborates with William Ogden at Ohio State University and Murali
Sitaraman at Clemson University. She and Ogden are currently working on
relational denotational semantics for generic software.
Modular Verification of Performance Constraints (pdf format) - by J. Krone, W. F. Ogden, and M. Sitaraman
OO Big O (pdf format) - by J. Krone and W.F. Ogden
Algorithms for Constructing Zero-Divisor Graphs of Commutative Rings (pdf format) - by J. Krone
Krone Research Summary (pdf format)
Selected Student Research Projects
Welch, D. 2011, 2012 "Modular Design and Verification in RESOLVE," NSF student. Presentation at MCURCSM, November 2012.
Behrend, S. 2007. "Logic for Program Verification." DURF student. Presentation at SIGCSE, March, 2007. Presentation at MCURCSM, November, 2007.
Fressola, A. 2004. "Integers by Induction." Anderson student. Presentation at the National American Mathematical Society Conference, Phoenix, Arizona.
Tawney, M. 2003 Anderson student. "Algorithm Analysis for the Object Oriented Paradigm." 2002. Invited talk at The Ohio State University, March 13, 2003. Posters on the Hill, April 1, 2003.
Dimitrov, V. summer 2001. "Zero-Divisor Graphs." Presented at the ACM-SIGCSE Conference, February, 2002.