Jason Kirschenbaum

According to our database, Jason Kirschenbaum authored at least 8 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Syrus: providing practice problems in discrete mathematics with instant feedback.

Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2011

Building a push-button RESOLVE verifier: Progress and challenges.

Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide

Formal Aspects Comput., 2011

2010

Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies.

Tunc Aldemir, Sergio B. Guarro, Diego Mandelli, Jason Kirschenbaum, L. Anthony Mangan, Paolo Bucci, Michael K. Yau, Eylem Ekici, D. W. Miller, Xiaodong Sun, S. A. Arndt

Reliab. Eng. Syst. Saf., 2010

A benchmark- and competition-based approach to software engineering research.

Derek Bronish, Jason Kirschenbaum, Aditi Tagore

Proceedings of the Workshop on Future of Software Engineering Research, 2010

2009

Traditional assignment considered harmful.

Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?

Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008

Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability.

Paolo Bucci, Jason Kirschenbaum, L. Anthony Mangan, Tunc Aldemir, Curtis L. Smith, Ted Wood

Reliab. Eng. Syst. Saf., 2008

Incremental Benchmarks for Software Verification Tools and Techniques.

Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier

Proceedings of the Verified Software: Theories, 2008