PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kirschenbaum, Jason"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?

, , , , , , and . ICSR, volume 5791 of Lecture Notes in Computer Science, page 31-40. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jason Kennedy Appelbaum University of Stuttgart

 

Other publications of authors with the same name

Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability., , , , , and . Rel. Eng. & Sys. Safety, 93 (11): 1616-1627 (2008)Incremental Benchmarks for Software Verification Tools and Techniques., , , , , , , , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 84-98. Springer, (2008)Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies., , , , , , , , , and 1 other author(s). Rel. Eng. & Sys. Safety, 95 (10): 1011-1039 (2010)Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?, , , , , , and . ICSR, volume 5791 of Lecture Notes in Computer Science, page 31-40. Springer, (2009)A benchmark- and competition-based approach to software engineering research., , and . FoSER, page 43-46. ACM, (2010)Building a push-button RESOLVE verifier: Progress and challenges., , , , , , , , , and 3 other author(s). Formal Asp. Comput., 23 (5): 607-626 (2011)Syrus: providing practice problems in discrete mathematics with instant feedback., , , , , , , and . SIGCSE, page 61-66. ACM, (2014)Traditional assignment considered harmful., , , , , and . OOPSLA Companion, page 909-916. ACM, (2009)