( en | de | ru )

 

Disambiguation of "Avrunin, George S."

Author of the publication

copydeleteadd this publication to your clipboard
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.

George S Levit

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

S Danischewski

S Hüttelmaier

S Leopold

 

Other publications of authors with the same name

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)Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles., and . IEEE Trans. Software Eng., 28 (2): 115-128 (2002)Analyzing Partially-Implemented Real-Time Systems., , and . ICSE, page 228-238. ACM, (1997)Managing space for finite-state verification., , and . ICSE, page 152-161. ACM, (2006)Verification support for plug-and-play architectural design., , and . ROSATEA, page 49-50. ACM, (2006)Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview., , , , , , , , and . IHI, page 316-325. ACM, (2010)Heuristic-Based Model Refinement for FLAVERS., , and . ICSE, page 635-644. IEEE Computer Society, (2004)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)Improving the precision of INCA by preventing spurious cycles., and . ISSTA, page 191-200. ACM, (2000)Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning., , and . ACM Trans. Softw. Eng. Methodol., 17 (2): 7:1-7:52 (2008)