( en | de | ru )

 

Disambiguation of "Avrunin, George S."

Author of the publication

copydeleteadd this publication to your clipboard
Benchmarking Finite-State Verifiers.

, , and . Int. J. Softw. Tools Technol. Transf., 2 (4): 317-320 (2000)

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)Managing space for finite-state verification., , and . ICSE, page 152-161. ACM, (2006)Analyzing Partially-Implemented Real-Time Systems., , and . ICSE, page 228-238. ACM, (1997)Verification support for plug-and-play architectural design., , and . ROSATEA, page 49-50. ACM, (2006)Improving the precision of INCA by preventing spurious cycles., and . ISSTA, page 191-200. ACM, (2000)Heuristic-Based Model Refinement for FLAVERS., , and . ICSE, page 635-644. IEEE Computer Society, (2004)Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview., , , , , , , , and . IHI, page 316-325. ACM, (2010)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)Rigorously Defining and Analyzing Medical Processes: An Experience Report., , , , , , , and . MoDELS (Workshops), volume 5002 of Lecture Notes in Computer Science, page 118-131. Springer, (2007)Process Programming to Support Medical Safety: A Case Study on Blood Transfusion., , , , , , , and . ISPW, volume 3840 of Lecture Notes in Computer Science, page 347-359. Springer, (2005)