Jason Kirschenbaum

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Solving Problems

Computational Geometry

Application Domains

Top Venues

Publications

Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide
Syrus: providing practice problems in discrete mathematics with instant feedback. SIGCSE (2014)
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
Building a push-button RESOLVE verifier: Progress and challenges. Formal Aspects Comput. 23 (5) (2011)
Tunc Aldemir, Sergio Guarro, Diego Mandelli, Jason Kirschenbaum, L. Anthony Mangan, Paolo Bucci, Michael Yau, Eylem Ekici, D. W. Miller, Xiaodong Sun, S. A. Arndt
Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies. Reliab. Eng. Syst. Saf. 95 (10) (2010)
Derek Bronish, Jason Kirschenbaum, Aditi Tagore
A benchmark- and competition-based approach to software engineering research. FoSER (2010)
Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide
Traditional assignment considered harmful. OOPSLA Companion (2009)
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? ICSR (2009)
Paolo Bucci, Jason Kirschenbaum, L. Anthony Mangan, Tunc Aldemir, Curtis Smith, Ted Wood
Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability. Reliab. Eng. Syst. Saf. 93 (11) (2008)
Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier
Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE (2008)