Author of the publication

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.

, , , , , , , and . ACM Trans. Priv. Secur., 20 (2): 5:1-5:31 (2017)

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.

 

Other publications of authors with the same name

Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles., and . IEEE Trans. Software Eng., 28 (2): 115-128 (2002)An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report., , and . Business Process Management Workshops, volume 43 of Lecture Notes in Business Information Processing, page 647-653. Springer, (2009)An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language., , , , and . SEKE, page 765-770. Knowledge Systems Institute Graduate School, (2010)Heuristic-Based Model Refinement for FLAVERS., , and . ICSE, page 635-644. IEEE Computer Society, (2004)Improving the precision of INCA by preventing spurious cycles., and . ISSTA, page 191-200. ACM, (2000)Managing space for finite-state verification., , and . ICSE, page 152-161. ACM, (2006)Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview., , , , , , , , and . IHI, page 316-325. ACM, (2010)Verification support for plug-and-play architectural design., , and . ROSATEA, page 49-50. ACM, (2006)Analyzing Partially-Implemented Real-Time Systems., , and . ICSE, page 228-238. ACM, (1997)Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance., , , , , , , and . SEHS@ICSE, page 2-9. ACM, (2018)