Jason Kirschenbaum

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Syrus: providing practice problems in discrete mathematics with instant feedback.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2011
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Aspects Comput., 2011

2010
Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies.
Reliab. Eng. Syst. Saf., 2010

A benchmark- and competition-based approach to software engineering research.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

2009
Traditional assignment considered harmful.
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?
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.
Reliab. Eng. Syst. Saf., 2008

Incremental Benchmarks for Software Verification Tools and Techniques.
Proceedings of the Verified Software: Theories, 2008


  Loading...